The colimits tag has no usage guidance.

**14**

votes

**9**answers

2k views

### References for homotopy colimit

(1) What are some good references for homotopy colimits?
(2) Where can I find a reference for the following concrete construction of a homotopy colimit? Start with a partial ordering, which I will ...

**-1**

votes

**0**answers

119 views

### When is the $I$- adic completion a faithfully flat ring extension?

Let $I$ be an ideal of a commutative ring with identity. It is well-known that the $I$-adic completion of $R$ when it is a Noetherian ring is a faithfully flat ring extension. Does this remain true if ...

**4**

votes

**1**answer

117 views

### Relation between dual of nuclear space $(\substack{\text{lim} \\ \leftarrow i} H_i)'$ and $\substack{\text{colim} \\ i \rightarrow } H_i$

Let $\substack{\text{lim} \\ \leftarrow i} H_i$ be a nuclear space, considered as the limit of the codirected diagram $$... \to H_2 \to H_1 \to H_0,$$
with $f_{ji}:H_i \to H_j$ being the trace class ...

**1**

vote

**0**answers

102 views

### How does one compute a colimit of monoidal categories?

The question is in the title. I'm also happy to get answers about (your favorite adjective) monoidal categories.
Here's a guess:
In order to compute a colimit of monoids we can push everything down ...

**4**

votes

**0**answers

196 views

### Is it possible to assume that an étale neighborhood is connected?

I am new to étale topology (though I've seen Grothendieck's sites before).
Let $S:=\mathcal{O}^\textrm{sh}_{X,x}$ be the strict local ring of a point $x$ of a scheme $X=\operatorname{Spec}R$ (over a ...

**1**

vote

**1**answer

89 views

### Groups arising as direct limits of a stationary system of primitive matrices over the integers

I am interested in the kinds of groups of the form $\displaystyle\lim_{\longrightarrow}(\mathbf{Z}^k,M)$ where $M$ is a primitive (some power of $M$ has strictly positive components) $k\times k$ ...

**5**

votes

**0**answers

96 views

### Contractibility of a poset-indexed colimit

Let $(X,\leq)$ be a poset with distinguished element $p$, and let $P'$ be the poset of "finite chains which weakly descend to $p$" given by all $\sigma = (x_0 \geq x_1 \geq \cdots \geq x_k \geq p)$ ...

**1**

vote

**0**answers

90 views

### Pre-Order induced by continuous functions

I'm an newbie in category theory, but I want use it to solve a pre-order question I encountered in my research:
Let $X$ be a convex&compact subset of $\mathbb{R}^n$. $f,g: X \rightarrow [0,1]$ ...

**7**

votes

**5**answers

2k views

### motivation of filtered colimits

I am trying to move in categorical algebra beyond the basics. A Lawvere theory L is a small category with finite products. (I know that there also is a functor $(skeleton(FinSet))^{op}\to L$, which ...

**37**

votes

**2**answers

2k views

### Why do filtered colimits commute with finite limits?

It's not hard to show that this is true in the category Set, and proofs have been written down in many places. But all the ones I know are a bit fiddly.
Question 1: is there a soft proof of this ...

**3**

votes

**0**answers

135 views

### Which reflexive coequalizer diagrams are projectively cofibrant?

Consider the walking reflexive pair category W,
which consists of two objects 0 and 1 and three generating
morphisms f: 0→1, g: 0→1, and h: 1→0
satisfying the relation fh=gh=id₁.
Consider the ...

**0**

votes

**1**answer

155 views

### Direct limit of primitive integral matrices

I'm interested in computing the direct limit of an arbitrary $2\times 2$ primitive matrix over $\mathbf{Z}$. That is for a fixed primitive matrix $M$, the colimit ...

**6**

votes

**2**answers

311 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 ...

**1**

vote

**0**answers

130 views

### Continuity of Kan extension along the Yoneda embedding

Let $\mathcal{C}$ be a category and $h_-: \mathcal{C} \to \mathrm{Set}^{\mathcal{C}^{op}}$ be the Yoneda embedding. Let $\mathcal{A}$ be a cocomplete category and $F: \mathcal{C} \to \mathcal{A}$ a ...

**2**

votes

**1**answer

471 views

### What are the uses of Limits and Colimits of Category Theory in every day problems? [closed]

I am interested in knowing how we can use the concepts of Limits and Colimits in modeling problems in every day life? Could anyone provide (Software) engineering examples, perhaps? Or describe ...

**4**

votes

**0**answers

170 views

### Reference request: colimits of locally presentable categories

Consider the 2-category of locally presentable categories, cocontinuous functors, and natural transformations. I believe that this 2-category is 2-cocomplete in the sense of containing all small ...

**4**

votes

**2**answers

325 views

### grothendieck construction for profunctors

Given categories $X$ and $Y$ and a strong functor
$$D:X^{op}\times Y\to Cat$$
we can of course build the oplax colimit
$$\mathrm{colim}^{oplax}_{X^{op}\times Y}D$$
via the usual (covariant) ...

**7**

votes

**1**answer

205 views

### Explicit description of the oplax limit of a functor to Cat?

The nCatLab Grothendieck construction page gives an explicit description of the oplax colimit of any functor to Cat. Can someone give me a similarly explicit description (the objects and morphisms) ...

**3**

votes

**1**answer

220 views

### Does Ind-completion commute with finite limits?

The broad and vague question is in the title. The more precise question is:
Say $\{\mathcal{C}_i\}$ is a finite diagram of (essentially small) stable $\infty$-categories and exact functors with ...

**3**

votes

**1**answer

109 views

### Co-completeness of differential stacks?

I once heard a rumour that various nice categories of stacks were co-complete. Gepner and Henriques, working from the groupoids point of view, give a construction [link] of 2-colimits of topological ...

**1**

vote

**0**answers

131 views

### Composition of Cat-valued distributors - compatible with grothendieck construction?

Let $C$ be a category and $F\in[C^{op}, Cat]$ be a strong functor.
(1) There are functors
$$hom_C(c',c)\times F(c)\to F(c').$$
(2) The grothendieck construction gives a 2-equvalence
$$\int_C: ...

**4**

votes

**1**answer

476 views

### Which E_∞-spaces are homotopy colimits of k-truncated E_∞-spaces?

This question is closely related to my previous question about modules over truncated sphere spectra, in particular, it has the same motivation.
Recall that every space (or ∞-groupoid) can be ...

**5**

votes

**0**answers

362 views

### Constructing pointwise Kan extensions as adjoints to some functor

Background
I'm working on formalizing some category theory in Coq at https://bitbucket.org/JasonGross/catdb. Currently, I'm in the process of formalizing pointwise Kan extensions. Partly because ...

**4**

votes

**1**answer

370 views

### When do reflexive coequalizers preserve weak equivalences?

In my work I've run into the following situation. In a model category, I have two reflexive coequalizers $A_i \stackrel{\to}{\to} B_i \to C_i$ and a map of diagrams which is levelwise a weak ...

**1**

vote

**2**answers

320 views

### Cech cohomology as a colimit over maps to a CW complex

Given a topological space $X$, we consider the following category $\mathsf{CW}_{X\to}$. The objects are finite CW complexes $Y$ equipped with a continuous map $X\to Y$. The morphisms are continuous ...

**5**

votes

**2**answers

179 views

### Local finality condition (for re-indexing parameterized colimits)

I'm in need of a condition that is analogous to the "finality" condition in the following lemma:
Lemma: A functor $F\colon A\to B$ is final if and only if for any functor $x\colon B\to Set$, the ...

**13**

votes

**3**answers

590 views

### Is there a tricategory of bicategories and biprofunctors?

Background
There is a bicategory where the objects are categories, the 1-morphisms are profunctors, and the 2-morphisms are morphisms of profunctors. The non-obvious part of this assertion is that ...

**1**

vote

**1**answer

258 views

### Colimit notation

In Wikipedia's article on Kan extensions 1, in the view of Kan extensions as colimits, I am confused about the notation: $(Lan_F X)(b) = \varinjlim_{f:Fa \to b} X(a)$.
Wikipedia says that the colimit ...

**5**

votes

**1**answer

386 views

### The crude monadicity theorem

In order to test the monadicity of a functor, there is a precise monadicity theorem (PM) as well as a crude monadicity theorem (CM), see the nlab. In CM, the forgetful functor should create reflexive ...

**1**

vote

**0**answers

363 views

### The inductive and projective limits of compact Hausdorff topological groups

Are there conditions known under which the inductive or projective limit of a family of compact Hausdorff topological groups is compact? (For instance, such a result is valid for the projective limit ...

**5**

votes

**1**answer

478 views

### Adjoint Functors as Initial Objects of Some Category

Just as universal arrows can be characterized as initial objects of some appropriate comma category, and (co)limits can be characterized as (initial) terminal objects of the appropriate (co)cone ...

**9**

votes

**2**answers

654 views

### Colimits of manifolds

This question tells us that in general colimits do not exist in the category of manifolds.
However, this negative answer is not very satisfying. A manifold can be considered as a colimit of its ...

**10**

votes

**2**answers

497 views

### Fubini theorem for hocolim.

I wanted to ask the following question,
Suppose $\mathbf{M}$ a cof generated model category and $I,~J$ two small categories. Suppose that $F:J\rightarrow \mathbf{M}^{\mathrm{I}}$ is a functor. Is it ...

**6**

votes

**1**answer

479 views

### How does Berger-Moerdijk's relative Boardman-Vogt work?

In "The Boardman-Vogt resolution of operads in monoidal model categories," the authors construct factorizations of sufficiently nice operad maps $P\to Q$ into a cofibration followed by a weak ...

**0**

votes

**0**answers

190 views

### how many ways can an algebra be a weighted colimit of free algebras?

For a given weight $W : \mathcal{S}^{op} \to \mathcal{V}$ and diagram $D : \mathcal{S} \to \mathcal{A}$, the weighted colimit is an object $W \cdot D$ together with an isomorphism
$$\mathcal{A}(W\cdot ...

**6**

votes

**1**answer

373 views

### What is a (partial) left adjoint of the Yoneda embedding called?

It is a fairly special property for the Yoneda embedding $A \hookrightarrow \mathcal{P}A$ of a category to have a left adjoint defined everywhere (this happens just when $A$ is total). However, a ...

**8**

votes

**4**answers

1k views

### Categorical description of the restricted product (Adeles)

Background on the Adèles
The Adèles $\mathbb{A}_K$ of a number field or function field $K$ are defined as a restricted product of the complete local fields $K_\nu$, where $\nu$ ranges over all places ...

**7**

votes

**2**answers

1k views

### Is Sheafification Functor Exact?

I know that sheafification functor from the category of abelian presheaves on $C$ to the category of abelian sheaves on $C$. Here, $C$ is a category with Grothendieck pretopology.
My question is:
...

**5**

votes

**1**answer

449 views

### permutation of projective limits with inductive limits

Hi everybody,
I have a lack of references concerning projective limits and injective limits. Up to my faults in Bourbaki there are only proj and inj limits indexed by a partially ordered set (not a ...

**5**

votes

**2**answers

621 views

### Is the category of small categories locally presentable?

I was wondering whether the various model structures on the category of small categories are combinatorial. I think that the ones I know are at least cofibrantly generated. In order to be ...

**10**

votes

**1**answer

1k views

### Is every ring the direct limit of Noetherian rings?

Are there any examples of commutative rings that do not occur as direct limits of Noetherian rings?

**9**

votes

**1**answer

269 views

### Given a small category with some colimits, can the rest of the colimits be added?

Let $\mathcal{A}$ be a small category with some ( maybe no) colimits. What I would like to be able to do is add the rest of the colimits in a universal way. The Yoneda lemma will not work, since this ...

**3**

votes

**1**answer

225 views

### Can cones (toric monoids) be built as colimits of their faces?

Suppose $L$ is a lattice (free abelian group) and $\sigma$ is a (pointed) spanning rational cone in $L\otimes\mathbb Q$. Then $M=L\cap \sigma$ is a monoid with $M^{gp}=L$. A monoid of this form is ...

**4**

votes

**2**answers

337 views

### Where can I find an explicit description of the pseudocolimit of a small pseudofunctor to Cat?

Given a functor from a small category to $Set$, we can describe the colimit set as a quotient of the disjoint union of image sets by an equivalence relation arising from morphisms in the source ...

**1**

vote

**0**answers

326 views

### Direct Limits and Limits of Nets

A net is a function from a directed set into a topological space, and it is said to converge to a point if certain conditions are satisfied. Similarly, a direct system is a function from a directed ...

**3**

votes

**2**answers

495 views

### Is the category of toposes cocomplete ?

Hello.
[Edits between brackets.]
Does the [1-]category of [elementary] toposes [with logical morphisms] admit any [1-]colimits ?
[By colimit I mean initial object in the category of outgoing ...

**1**

vote

**1**answer

169 views

### Aspherical amalgamations without injective maps

The situation I find myself in is as follows: I have a CW complex $X$ which is covered by two subcomplexes $A$ and $B$ and I know that $A$, $B$ and $A \cap B$ are connected and aspherical. The term ...

**4**

votes

**1**answer

484 views

### colimits of spectral sequences

I'm looking for some references about colimits of spectral sequences.
More precisely: let $X : I \longrightarrow \cal{C}$ be a functor from a filtered category $I$ to the category of double cochain ...

**8**

votes

**1**answer

362 views

### Comparing colimits in schemes with colimits in sheaves of sets

Suppose I have a diagram of schemes, and I know that the colimit exists in the category of schemes. How does this colimit compare with the colimit of the corresponding sheaves (I'm being nonspecific ...

**2**

votes

**1**answer

550 views

### Strong colimits of categories.

Let $\mathcal C$ be a category and let $\mathcal F:\mathcal C\to\mathcal C\textrm{at}$ be a strong bifunctor. Given another category $\mathcal D$, let $\triangle_{\mathcal D}$ denote the constant ...