All Questions
Tagged with colimits or limits-and-colimits
347 questions
1
vote
1
answer
379
views
Creating an inverse system which "stratifies density"
Setting:
Let $X'$ be a dense subset of an infinite-dimensional Fréchet space $X$ and suppose that $(X_n')_{n \in \mathbb{N}}$ is a nested sequence of non-empty subsets of $X'$ satisfying
$$
\bigcup_{n ...
CommunityBot
- 1
8
votes
1
answer
258
views
Sequential colimit of iterated quotients of Cauchy sequences
We work in constructive mathematics.
The sets and functions in the foundations form a Grothendieck topos, which means that all colimits exist, and in particular, that all sequential colimits exist. ...
CommunityBot
- 1
6
votes
0
answers
152
views
Covering categories with posets
Let $C$ be a small (1-)category.
There is always a poset $D$ and a functor $p : D \to C$ such that:
$p$ is surjective on objects, i.e. for every $c$ in $C$ there is a $d$ in $D$ such that $p (d) = c$,...
- 15.9k
5
votes
1
answer
156
views
The inverse limit of a sequence of ring surjections commutes with taking difference subsets of the respective units & gluing in some primes?
Define $R_n := \Bbb{Z}/p_n\#$ the ring of integers modulo primorial $p_n\# = p_n p_{n-1} \cdots p_1$. Let $U_n$ denote the group of units modulo $p_n\#$ in these rings.
Then if $f_{n,n+1}: \Bbb{Z}/p_{...
CommunityBot
- 1
5
votes
1
answer
198
views
Density formula in small presheaves
I've been trying to write down a proof of Di Liberti's Kan lemma fortissimo on the existence of left Kan extensions, given as Lemma 3.3 in the nLab entry on Kan extensions. Let $F : \mathcal{A} \to \...
- 9,111
16
votes
4
answers
4k
views
When do Kan extensions preserve limits/colimits?
I'm guessing the answer to this question is well-known:
Suppose that $Y:C \to P$ and $F:C \to D$ are functors with $D$ cocomplete. Then one can define the point-wise Kan extension $\mathbf{Lan}_Y\...
- 3,065
2
votes
1
answer
74
views
Conditions for partially applied induced product functor to preserve colimits
Let $\mathcal{C}$ have products, $A, B \in \mathcal{C}_0$, ${\times}\colon \mathcal{C}^2\to \mathcal{C}$ be the functor that sends objects to their product.
Then the induced product ${\boxtimes}\colon ...
- 12.9k
1
vote
2
answers
214
views
Presentable categories as colimits of finitely presentable categories
I am trying to understand the relationship betweeen compactly generated presentable categories, also called finitely presentable categories, and general presentable categories (which I have less ...
- 15.8k
5
votes
0
answers
361
views
On a simple alternative correction to Roos' theorem on $\varprojlim^1$
Here is a discussion about an incorrect theorem of Roos, later corrected, some counterexamples and so on. Reading over this, I was a bit shocked because it contradicted something from Weibel's ...
- 1,021
11
votes
1
answer
451
views
Is every petite category essentially small?
A locally small category $\mathscr C$ is called petite if, for every functor $F : \mathscr C \to \mathscr D$ with locally small codomain, and for every object $D \in \mathscr D$, the presheaf $\...
- 383
1
vote
1
answer
234
views
Notion of $\kappa$-sifted categories?
Let $\kappa$ be a regular cardinal. It seems reasonable to introduce the following definition:
Definition. A simplicial set $K$ is $\kappa$-sifted if, for every set $E$ with $\lvert E\rvert<\kappa$...
- 2,806
8
votes
1
answer
390
views
Pushouts vs contractible colimits
Suppose that $C$ has all weakly contractible colimits, i.e. colimits of functors $F: I \rightarrow C$ where the geometric realization $|I|$ is weakly contractible. Then $C$ has pushouts and filtered ...
- 63.9k
5
votes
0
answers
89
views
Free cocompletion of a 2-category under pseudo colimits, lax colimits, and colax colimits
Let $\mathscr K$ be a small 2-category. It follows from $\mathrm{Cat}$-enriched category theory that the free cocompletion of $\mathscr K$ under strict 2-colimits of 2-functors is given by the 2-...
- 10.6k
3
votes
0
answers
55
views
Universal property of 2-presheaves and pseudo/lax/colax natural transformations
For each small 2-category $\mathscr K$, the 2-category $[\mathscr K^\circ, \mathrm{Cat}]$ of 2-functors and 2-natural transformations has a universal property: it is the free cocompletion of $\mathscr ...
- 10.6k
16
votes
2
answers
736
views
Original reference for categories of presheaves as free cocompletions of small categories
It is well known that, for a small category $\mathbf A$, the category $\widehat{\mathbf A} = [\mathbf A^\circ, \mathbf{Set}]$ of presheaves on $\mathbf A$ together with the Yoneda embedding $\mathbf A ...
- 10.6k
6
votes
1
answer
281
views
Are adjoints closed under pushouts?
The category $PrL$ of locally presentable categories has all colimits. In particular, if
$A_1 \leftarrow A_0 \rightarrow A_2$ is a diagram of presentable categories, with left adjoint functors between ...
- 63.9k
3
votes
1
answer
337
views
Every spectrum is the homotopy colimit of shifted suspension spectra
Let $X$ be a spectrum. In various places, I have encountered the statement that
$$
X \simeq \text{hocolim}_n \Sigma^{\infty-n}X_n.
$$
I was wondering how this homotopy colimit is defined, and why we ...
- 291
1
vote
0
answers
54
views
contravariant finiteness and limit closure: is there dual to a result of Crawley-Boevey?
Let $\mathcal A$ be a locally finitely presented category. Theorem 4.2 of https://doi.org/10.1080/00927879408824927 says that given a full additive subcategory $\mathcal D$ of finitely presented ...
- 480
4
votes
1
answer
140
views
Cocompletion without cocontinuous functors
The forgetful functor from the 2-category $\mathsf{Cats}^{\mathrm{loc.small}}_{\mathrm{cocomp}}$ of locally small cocomplete categories and cocontinuous functors to the 2-category $\mathsf{Cats}^{\...
- 15.8k
5
votes
0
answers
154
views
Compact objects in categories of categories
I am interested in the compact objects of various categories of categories.
For example, $Cat^{small}$ is presentable and has compact objects that are retracts of finite colimits of $\Delta^n$, the $n$...
- 521
13
votes
1
answer
224
views
Large V-categories admitting the construction of V-presheaves
By a result of Foltz, and Freyd and Street, a category $C$ is essentially small (i.e. equivalent to a small category) if and only if both $C$ and $[C^{\text{op}}, \mathrm{Set}]$ are locally small. I ...
CommunityBot
- 1
7
votes
3
answers
648
views
Unexpected interaction between limits and colimits
Let $D$ be a limit-complete category. My vague question is: given two diagrams in $D$, what comparisons between them induce a morphism of their limits? I'm especially interested in the case that the ...
- 10.6k
1
vote
0
answers
127
views
Extremally disconnected sets as building blocks for compact Hausdorff spaces
Is every compact Hausdorff space the filtered colimit of compact extremally disconnected spaces?
- 1,638
5
votes
1
answer
436
views
Does coproduct preserve cohomology in differential graded algebra category
Consider two cochain DGA (differential graded algebras) named $A$ and $B$. By "coproduct" of two DGA I mean the category theory coproduct, not the coalgebra coproduct. It is defined in "...
- 159
4
votes
2
answers
314
views
Directed colimit of fully faithful functors
Suppose that for every $n\in\mathbb{N}$ we have a category $\mathcal{C}_n$ and a fully faithful functor $F_n:\mathcal{C}_n\hookrightarrow \mathcal{C}_{n+1}$. My question is whether fully faithful ...
- 9,111
-1
votes
1
answer
178
views
Categories that admit all finite products but not all finite coproducts
What are examples for categories that admit all finite products but not all finite coproducts?
(See also this question: Categories that admit all products but not all coproducts .)
- 30.3k
38
votes
7
answers
12k
views
Limits in category theory and analysis
Is it possible to regard limits in analysis (say, of real sequences or more generally nets in topological spaces) as limits in category theory? Is there some formal connection?
Edit ('13): Perhaps it ...
5
votes
1
answer
158
views
Co/limits and 2-co/limits of categories in the $\infty$- and $(\infty,2)$-category of $\infty$-categories
Recently, in a conversation with Gabriel, the following question came up:
Question. Do co/limits of categories taken in the $\infty$-category of $\infty$-categories agree with the usual co/limits ...
- 15.8k
2
votes
0
answers
100
views
Weighted limits and co-Yoneda
Is there a good reference that discusses weighted limits through the lens of the co-Yoneda embedding?
Recall that the limit of a functor $F:\mathcal{C}\to{\bf Set}$ is canonically given by the set $${...
- 10.1k
1
vote
1
answer
232
views
Pointwise Kan extensions VS weighted limits
$\newcommand{\Dist}{\operatorname{Dist}} \newcommand{\Ran}{\operatorname{Ran}} \newcommand{\Lim}{\operatorname{Lim}}$
TLDR
Given a pointwise kan extension, how can we go from
$$ \Dist(B, C)(\phi_c \...
CommunityBot
- 1
1
vote
0
answers
88
views
Colimits from van Kampen cocones
Let $\mathcal{C}$ be a category with pullbacks, $\mathcal{J}$ a small category, $F : \mathcal{J} \to \mathcal{C}$ a diagram and $\kappa : F \Rightarrow \Delta X$ a cocone in $\mathcal{C}$. Let $\...
- 453
3
votes
1
answer
223
views
Kernels and cokernels in a quotient of an abelian category
I am trying to understand the construction of the quotient of an abelian category called the Serre quotient or Gabriel quotient. From the description here: https://en.wikipedia.org/wiki/...
- 30.3k
6
votes
1
answer
315
views
Commuting homotopy colimits and arbitrary products in spaces
Let $X : D \rightarrow Spc$ be a diagram with values in the $\infty$-category of spaces and $I$ some (discrete) set, not necessarily finite. ($D$ can be a 1-category if that makes statements easier, ...
- 30.3k
5
votes
1
answer
411
views
Day convolution and sheafification
$\DeclareMathOperator\Psh{Psh}\DeclareMathOperator\Sh{Sh}\newcommand\copower{\mathrm{copower}}$I was looking through Bodil Biering's thesis On the Logic of Bunched Implications - and its relation to ...
- 13.6k
9
votes
1
answer
351
views
Algebraically-free monadicity theorem
The monadicity theorem characterises when a functor $u : \mathbf B \to \mathbf E$ is the forgetful functor from the category of algebras for some monad on $\mathbf E$ (up to an equivalence over $\...
- 30.3k
8
votes
1
answer
253
views
Compact objects in slice categories of finitely presentable categories
Given a locally finitely presentable category $\mathscr C$ and an object $X \in \mathscr C$, it is not so hard to show that a morphism $(X \to Y)$ is compact in $\mathscr C_{X/}$ if it can be obtained ...
- 42.4k
7
votes
1
answer
253
views
Can every weighted colimit in a $\mathbf{Pos}$-enriched category be rephrased as a conical colimit?
For ordinary category theory, we have the following fact.
A weighted colimit of a functor can always be equivalently expressed as a colimit of a different functor.
Specifically, the weighted colimit ...
- 499
6
votes
1
answer
155
views
Does the 2-category of double categories and vertical transformations have flexible limits?
Consider the 2-category of pseudo-double categories (with the weak composition in the horizontal direction and the strict composition in the vertical direction), strong double functors, and vertical ...
- 66.7k
6
votes
1
answer
233
views
Comparing stabilization of stable category modulo injectives and a Verdier localization
Let $\mathcal A$ be an abelian category with enough injectives. Let $\mathcal I$ be the collection of injective objects. Let $\mathcal A/\mathcal I$ be the quotient category whose objects are same as ...
- 35.2k
3
votes
1
answer
123
views
Vanishing of self-hom in Spanier–Whitehead stabilization category
$\DeclareMathOperator\Hom{Hom}\DeclareMathOperator\SW{SW}$Let $R$ be a commutative Noetherian ring. For $R$-modules $M,N$, let $\mathcal I_R(M,N)$ be the collection of all $f\in \text{Hom}_R(M,N)$ ...
- 12.9k
3
votes
1
answer
619
views
Homotopy colimit commutes with homotopy groups
I'm interested in something built upon the construction laid out in nlab article on Snaith's theorem
Let $(E, \mu, \iota)$ be a ring spectrum.
For $\beta \in \pi_n(E)$ an element of the $n$th stable ...
- 213
9
votes
2
answers
421
views
How do these definitions of factorization algebra compare?
Question
Several sources define (homotopy) factorization algebras in a seemingly
different manner (I am looking at [CG], [Gi], and
[CFM].) I wish to know how they compare with each other.
I apologize ...
- 2,292
9
votes
2
answers
988
views
Reference for homotopy colimit = total complex
I'm looking for a reference for the following fact:
take a simplicial chain complex $ X:\Delta^{op}\to Ch_{\geq 0}(\mathcal A)$ for $\mathcal A$ a nice abelian category (say, cocomplete with enough ...
- 2,292
5
votes
0
answers
245
views
Duality and compactness for pro vector spaces
I have a somewhat basic question which I haven't been able to piece together from the literature.
Background. We work over a field $\bf{k}$. Consider the category, $\bf{Pro}_{k}$, of pro- vector ...
- 51
12
votes
2
answers
564
views
Does forgetting colimits preserve colimits?
For each regular cardinal $\kappa$ let $\operatorname{Cat}_{\kappa}$ be the $(2,1)$-category of small categories with $\kappa$-small colimits, and functors that preserve those colimits. For each pair ...
- 898
4
votes
0
answers
131
views
Weakening of terminal object in a category
I’ve come across a category $\mathcal{C}$ recently with an object $T$ such that any other object $X$ has a map $f:X\rightarrow T$, and for any two maps $f,g:X\rightarrow T$, there exists a (not ...
- 1,949
9
votes
0
answers
103
views
Adjoining a morphism to a finitely complete category
Let $\mathscr C$ be a finitely complete category. Let $x, y$ be objects of $\mathscr C$. We can describe the universal property of freely adjoining a morphism $x \to y$ to $\mathscr C$: it comprises a ...
- 10.6k
2
votes
1
answer
215
views
Surjection of a short exact sequence induced by spectral sequence (from paper of Schneider/Stuhler)
Let $K=\mathbb{Q}_p$ and $X$ a smooth separated rigid analytic variety over $K$ with coherent sheaf $\mathcal{F}$. Furthermore, $U \subset X$ is an open subvariety with admissible covering
$$ \dotsb \...
CommunityBot
- 1
2
votes
1
answer
168
views
Inclusion of $1$-presheaves into $\infty$-presheaves preserves pushouts?
Let $\mathcal{R}$ be a $1$-category. Assume that one has a pushout of representable $1$-presheaves $\mathrm{y} A \cup_{\mathrm{y} B} \mathrm{y} C$ in $\mathsf{PSh}(\mathcal{R})$. Under which ...
- 63.9k
6
votes
1
answer
480
views
Why isn't pullback-stability defined for individual colimits but for colimits with the same shape?
Circumstances: I'm studying Grothendieck's Galois Theory and recently encountered a proposition that discussed the stability of coproducts under pullback. And I found the page pullback-stable colimit ...
- 21.3k