All Questions
Tagged with colimits or limits-and-colimits
347 questions
9
votes
1
answer
734
views
Does the category of locally compact Hausdorff spaces with proper maps have products?
nlab presents a proof that the category of locally compact Hausdorff spaces does not admit infinite products in general. In particular it shows that there is no infinite product of $\mathbb{R}$, since ...
- 295
0
votes
2
answers
156
views
Essentially zero inverse system of abelian groups
I am learning local cohomology from Hartshorne’s Local Cohomology book.
My question is about the notion of essentially zero inverse system of abelian groups, which is defined to be an inverse system ...
- 639
9
votes
0
answers
103
views
Cocompleteness of enriched categories of algebras
A useful result due to Linton is that for a cocomplete category $C$ and monad $T$ on $C$, if the category of algebras $C^T$ admits reflexive coequalisers, then it is cocomplete (see here for a sketch ...
- 10.6k
8
votes
2
answers
306
views
Reference for certain categorical limits
I would like to know if there is a special name for the following concept, papers that feature something similar or a general reference. Let $\mathcal{C}$ be a category and $\mathcal{D}$ a subcategory ...
- 167
9
votes
1
answer
389
views
Is the coproduct $N=1+N$ universal?
Let $\mathcal{C}$ be a category with finite limits and a (parameterized) natural numbers object $(N,0,s)$. Let $1$ denote the terminal object of the category. It's easy to show that the following is a ...
- 285
10
votes
1
answer
1k
views
What's the intuition for weighted limits?
I am reading Fosco's Coend Calculus and Emily Riehl's Categorical Homotopy Theory, Riehl's book motivates it in the following way,
Abstraction 1: Classical limits in terms of cones: Cones from an ...
- 433
10
votes
0
answers
228
views
Natural cotransformations and "dual" co/limits
$\DeclareMathOperator{\id}{\mathrm{id}}\DeclareMathOperator{\Hom}{\mathrm{Hom}}\DeclareMathOperator{\UnCoNat}{\mathrm{UnCoNat}}\DeclareMathOperator{\UnNat}{\mathrm{UnNat}}\DeclareMathOperator{\CoNat}{\...
- 11.8k
6
votes
1
answer
267
views
Do the representations of a 2-functor naturally form a contractible 2-category?
In 1-category theory a representation of a 1-functor $F:C\to Set$ is a 0-cell $X$ in $C$ together with a universal element $u\in FX$ such that the transformation $C(X,-)\to F$ is an isomorphism (=a 1-...
- 775
5
votes
1
answer
244
views
limits and products stable $\infty$-category
In an abelian category $\mathcal{A}$, for a system $\{F_i,\phi_{ij}\}$ we have an exact sequence
$0\to \lim F_i\to \prod F_i \to \prod F_i$
where the second map is given by $id-\prod\phi_{ij}$. Is ...
- 309
3
votes
2
answers
987
views
Which functors preserve the number of connected components?
The categories $\mathbf{Top}$ of topological spaces, $\mathbf{sSet}$ of simplicial sets and $\mathbf{Cat}$ of small categories are all equipped with a functor $\pi_0$ into the category $\mathbf{Set}$ ...
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 \...
- 473
6
votes
1
answer
397
views
Vanishing of higher limits
Let $I$ be a directed set and let $X_I$ be a corresponding inverse system of, say, (complex) vector spaces or abelian groups (in my case in general not finite-dimensional, resp. not finitely generated)...
- 2,998
3
votes
1
answer
512
views
Proof without sieves: Equivalent grothendieck topologies have the same sheaves
I'm currently learning about sheaf theory with Angelo Vistoli’s 2007 Notes on Grothendieck topologies,
fibered categories and descent theory. And in page 35, there is the following definition of a ...
- 119
4
votes
0
answers
88
views
Homotopy colimits in subcategories of combinatorial model categories
We know that, in a combinatorial simplicial model category $\mathbf{M}$, we can find a regular cardinal $\lambda$ large enough that all $\lambda$-filtered homotopy colimits can be computed as strict ...
- 1,071
10
votes
0
answers
145
views
Do pseudo 2-limits commute?
It is a well-known fact that if $F:\mathcal{C}_1\times\mathcal{C}_2\rightarrow \mathcal{D}$ is a functor (between 1-categories), then $F$ has a limit if and only if $F:\mathcal{C}_1\rightarrow Fun(\...
- 1,001
11
votes
0
answers
442
views
A right adjoint preserves Phi-colimits if and only if the left adjoint does what?
Let $\Phi$ be a class of categories (e.g. filtered categories), and consider an adjunction $L : \mathbf C \rightleftarrows \mathbf D : R$. A $\Phi$-colimit is a colimit whose diagram is in $\Phi$. We ...
- 10.6k
4
votes
2
answers
280
views
Change of coordinates for coends
I recall that there was a theorem mimicking the change of variables' integral formula. Surprisingly, I can't find it on the Fosco Loregian book. The change of variables formula states that, if $f: E \...
- 2,152
3
votes
1
answer
276
views
Question about the proof of Kerodon tag 030V (Proposition 7.3.7.1)
$\require{AMScd}$
Related to this, I have a question about the proof given in Kerodon of the following result:
Proposition 7.3.7.1: Let $C$ be an $\infty$-category, let $\bar{F} : C^\rhd \to D$ be a ...
- 1,302
2
votes
0
answers
187
views
Is the homotopy limit of derived schemes along affine maps a derived scheme?
The title question is true in the setting of ordinary limits and ordinary schemes; that is, given an inverse limit of schemes along affine maps, the limit still lives in the category of schemes.
I'd ...
- 301
2
votes
1
answer
706
views
Formula for the left adjoint of the nerve functor?
I recently stumbled upon a formula for the left adjoint of the nerve functor. Let $X$ and $Y$ be simplicial sets, then:
\begin{equation}
\mathbf{sSet}(X,Y)
\cong\mathbf{sSet}(\varinjlim_{\Delta^n\...
5
votes
1
answer
532
views
Derived functors of inverse limit in abelian categories?
I have a finite poset $I$ and an inverse system $A: I^{op}\longrightarrow \mathscr C$ taking values in an abelian category $\mathscr C$.
I suppose that $\mathscr C$ has direct sums. Given that my ...
- 51
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 $\...
- 10.6k
3
votes
0
answers
156
views
Weighted limit calculus
In coend calculus by Fosco Loregian, it is mentioned that Lawvere conjectured that co/ends constitute a categorification of logical calculus. In his own words:
The somewhat far-fetched conjecture ...
- 10.1k
5
votes
0
answers
343
views
$V$-cat and $V$-graph: coequalizers in the category of enriched functors
This question is regarding the 1974 JPAA paper $V$-cat and $V$-graph by Harvey Wolff.
To be precise, I don't understand a certain step in the proof of Corollary 2.9, which (the corollary) is crucial ...
- 1,115
7
votes
1
answer
418
views
A fibration equivalent to having a terminal object
It is well known that the codomain functor $$cod:\mathcal{C}^\to\to\mathcal{C}$$ from the arrow category of a category $\mathcal{C}$ to itself is a fibration iff $\mathcal{C}$ has binary pullbacks.
...
- 10.1k
3
votes
0
answers
85
views
When is Tw(C) {ω}-filtered?
I am interested in categories $\mathsf{C}$ for which coends commute with $\omega$-chain limits. That is, given a chain of profunctors $P_n \colon \mathsf{C}^{op} \times \mathsf{C} \to \mathsf{Set}$ ...
- 326
5
votes
1
answer
311
views
Are locally fully faithful 2-functors closed under 2-pushout in 2-Cat?
It is known that fully faithful functors are closed under pushouts in Cat (e.g. Lemma 4.9 of this paper). Are locally fully faithful 2-functors closed under (strict) 2-pushouts in the 2-category 2-Cat ...
- 10.6k
5
votes
0
answers
157
views
Are weighted limits terminal in a category of cones?
Consider a Benabou-cosmos $(\mathcal{V},\otimes,J)$, $\mathcal{V}$-categories $\mathcal{I},\mathcal{C}$ and $\mathcal{V}$-functors $\mathcal{W}:\mathcal{I} \rightarrow \mathcal{V}$ and $\mathcal{D}:\...
- 225
2
votes
0
answers
108
views
Characterization of inverse limits of finite-dimensional convex cones
Consider a countable inverse system $C_1\substack{f_1 \\ \leftarrow} C_2 \substack{f_2 \\ \leftarrow} C_3 \substack{f_3 \\ \leftarrow} \ldots$ where the $C_i$ are finite-dimensional convex cones of ...
- 21
2
votes
0
answers
93
views
Is there a category of "chains of modules" that behaves well with taking direct limits?
I came up with the following definition of a category of certain "chains of modules" and want to know if this concept is already known and studied.
Let $R$ be ring. An object in our category ...
- 696
6
votes
1
answer
243
views
Stability properties of essential geometric morphisms
Notation.
$\mathsf{Topoi}$ is the bicategory of topoi, geometric morphisms and natural transformations between left adjoints.
$\mathsf{Topoi}_{\text{ess}}$ is the bicategory of topoi, essential ...
- 9,111
11
votes
1
answer
352
views
Weak descent and effective equivalence relations
I want to prove that weak descent of a $1$-category implies the classical Giraud axioms.
More precisely, let $\mathsf{C}$ be a cocomplete, finitely complete $1$-category. We say that $\mathsf{C}$ ...
0
votes
1
answer
176
views
The direct limit of invertible functions on a variety
(I asked this question a couple of days back on Stackexchange but with no success, it seems elementary, but I am struggling to go about attempting it.)
Let $X$ be a smooth geometrically integral ...
- 895
7
votes
1
answer
697
views
Finite coproducts commute with which limits in Set?
It is well known that (small) coproducts commute with connected limits in $\mathbf{Set}$. With which class of limits do finite coproducts commute?
Ideally, we should furthermore like to know whether ...
- 10.6k
5
votes
0
answers
146
views
Applications of $FP_\infty$ groups preserving direct systems
In [1], the author proves that given a group $G$ and a directed system $(M_\lambda)_\lambda$ of $G$-modules, the induced maps $$\varinjlim H^k(G,M_\lambda) \to H^k(G,\varinjlim M_\lambda)$$ are ...
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
10
votes
2
answers
690
views
Do colimits of manifolds coincide with underlying colimits as topological spaces?
Categories of manifolds (possibly with extra structure) tend not to have all colimits.
Other questions have addressed when colimits of manifolds exist.
I'd like to know what we can say in general ...
3
votes
0
answers
180
views
For which categories $D$ is a $D^{\vartriangleleft\vartriangleright}$-shaped diagram in a stable $\infty$-category a limit iff it is a colimit?
Throughout, I'll omit the "$\infty$" from the term "$\infty$-category".
It is well-known (and sometimes even included in the definition, although not by Lurie) that pushouts and ...
- 728
3
votes
0
answers
109
views
Density with respect to a family of diagrams, versus a class of weights
In Theorem 5.19 of Kelly's Basic Concepts of Enriched Category Theory, it is proven that a fully faithful functor $K \colon \mathcal A \to \mathcal C$ is dense if and only if $\mathcal C$ is the ...
- 10.6k
1
vote
0
answers
90
views
Dual of essentially compactly supported functions on a hemi-compact Radon space
Let $X$ be a hemicompact Radon space and fix a $\sigma$-finite Radon measure $\mu$ on $X$. Let $L(X_n)$ denote the subspace of $L_{\mu}^1(X)$ of "functions" which are $\mu$-essentially ...
5
votes
1
answer
217
views
Dense subcategory of measurable spaces
Recall the notion of a dense subcategory $\mathcal{D}$ of a category $\mathcal{C}$. It means that the restricted Yoneda functor $\mathcal{C} \to \mathrm{Hom}(\mathcal{D}^{op},\mathbf{Set})$, $A \...
- 63.1k
8
votes
2
answers
339
views
Strongly compact categories (reference request)
The notion of a "compact category" was introduced by Isbell$\color{red}{^{1,2}}$. A locally small category $\mathcal{C}$ is called compact when every functor $\mathcal{C} \to \mathcal{D}$ ...
- 63.1k
3
votes
1
answer
145
views
Examples of (co)lax idempotent pseudocomonads on Cat
A lax idempotent pseudomonad, also called a KZ doctrine or KZ monad, is a pseudomonad $(T, \mu, \eta)$ with the property that $T \eta \dashv \mu \dashv \eta T$. Lax idempotent pseudomonads were ...
- 10.6k
2
votes
1
answer
240
views
Limit along the category of all algebraic curves over a field
Let $k$ be algebraically closed field of charactersistic zero and $\mathcal C$ be the category of irreducible smooth projective curves over $k$ and non-constant maps between them. I have a functor $F\...
user21167
8
votes
0
answers
165
views
Original reference for the Fam construction
For a category $\mathbf C$, the category of families of $\mathbf C$, denoted $\mathrm{Fam}(\mathbf C)$ is the free coproduct completion of $\mathbf C$. Explicitly, the objects of $\mathbf C$ are given ...
- 10.6k
2
votes
3
answers
224
views
Conditions for exact projective limits for some Mittag-Leffler systems?
Let $(M_i)_{i\in I}$ and $(N_i)_{i\in I}$ be Mittag-Leffler systems of $R$-modules. I have a map $(h_i)$ of projective systems such that every $h_i$ is surjective. I search for conditions for $\lim \...
4
votes
0
answers
244
views
Free vector space on a filtered limit
$\DeclareMathOperator\Set{Set}\DeclareMathOperator\Vect{Vect}\DeclareMathOperator\Coalg{Coalg}\DeclareMathOperator\ProVect{ProVect}\DeclareMathOperator\prolim{prolim}
$Let $K$ be a field and $F: \Set \...
- 1,361
3
votes
1
answer
285
views
Semi-norms on LCS inductive limit of Banach Spaces
Let $(E_n,i_n)_{n\in\mathbb{N}}$ be an direct system of Banach spaces in the category of locally convex spaces (LCSs) with continuous linear maps and let $E_{\infty}$ by their inductive limit. What ...
- 5,405
5
votes
1
answer
256
views
Example of a non-cocomplete model category of a realized limit sketch
Let $(\mathcal{E},\mathcal{S})$ be a realized limit sketch, i.e. a locally small category $\mathcal{E}$ with a class $\mathcal{S}$ of limit cones in it. It is not assumed that $\mathcal{E}$ is small, ...
- 63.1k
33
votes
5
answers
3k
views
Shapes for category theory
Most texts on category theory define a (small) diagram in a category $\mathcal{A}$ as a functor $D : \mathcal{I} \to \mathcal{A}$ on a (small) category $\mathcal{I}$, called the shape of the diagram. ...