Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 139854

This tag is used if a reference is needed in a paper or textbook on a specific result.

4 votes
1 answer
280 views

When are filtered colimits of (trivial) cofibrations still (trivial) cofibrations?

Let $\mathcal{M}$ be a locally finitely presentable model category, cofibrantly generated by two sets $\mathcal{I}$ and $\mathcal{J}$ of cofibrations and trivial cofibrations with presentable domain …
6 votes
0 answers
479 views

“Cohomological equation” in dynamical systems

Let $$\dot{x}=Ax+v_r(x)+v_{r+1}(x)+ \dots$$ with $x \in \mathbb{C}^n$ and $v_r: \mathbb{C}^n \to \mathbb{C}^n$ a homogenous, polynomial function of order $r.$ Then, being able to find a suitable $h$ i …
4 votes
0 answers
173 views

Is the Reedy model structure cofibrantly generated?

I am reading about the Reedy model structure from Hovey's book and I was wondering if the Reedy model structure on $\mathcal{M}^{\Delta}$ is cofibrantly generated by a small set of arrows and permits …
6 votes
1 answer
248 views

Universal model category as a $\text{sSet}$-enriched co-completion

It's a standard fact that given a small category $\mathcal{C},$ the category of pre-sheaves $\text{Psh}(\mathcal{C})$ is the free co-completion of it. I'm sure this can be done not only for $\text{Se …
3 votes
1 answer
370 views

Universal property of the category of $\mathcal{S}$-sheaves and the definition of Topos

Let $\mathcal{C}$ be a small category; let $\mathcal{S}$ be any family of maps in $\text{Psh}\left(\mathcal{C}\right)$. Call $X\in \text{Psh}\left(\mathcal{C}\right) $ an $\mathcal{S}$-sheaf when $\ …
14 votes
0 answers
1k views

Is there a slick proof of the fundamental theorem of dimension theory?

The fundamental theorem of dimension theory in commutative algebra states that given a module $M$ over a noetherian local ring $A$, we have $s(M)=\text{dim}(M)=d(M)$ (where $s(M)$ is the infimum of in …