# Questions tagged [limits-and-colimits]

For questions on limits and colimts in the sense of category theory, and related notions.

313 questions
Filter by
Sorted by
Tagged with
272 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 ...
• 1,440
120 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,769
88 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 ...
• 7,682
138 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, ...
• 1,823
148 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 ...
• 355
390 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 ...
338 views

### Has the "Lambek embedding" into the category of (co)product-preserving presheaves been studied very much?

The Lambek embedding is a particular embedding which is similar to the Yoneda embedding. Suppose we have any category $C$. Recall that a presheaf on $C$ is defined as a contravariant functor from $C$ ...
• 1,113
266 views

### What does it mean for a category to be generated under (some) colimits?

This is going to be a long post, so let me state my question first and then explain what I am interested in by way of examples. Question. Is there any literature studying notions of generation under ...
• 14.7k
160 views

• 38.7k
190 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 ...
• 301
505 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 ...
134 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 ...
• 411
96 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 ...
• 7,682
242 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
318 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 ...
• 243
912 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 ...
• 393
191 views

86 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
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 ...
• 911
225 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 ...
• 7,947
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}$ ...
(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 ...