The colimits tag has no wiki summary.

**34**

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

**14**

votes

**8**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 ...

**13**

votes

**3**answers

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

**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?

**10**

votes

**1**answer

1k views

### Coend computation

Let
$F:A^{\mbox{op}} \to \mbox{Set}$
and define
$G_a:A\times A^{\mbox{op}} \to \mbox{Set}$
$G_a(b,c) = \mbox{hom}(a,b) \times F(c)$.
I think the coend of $G_a$,
$\int^AG_a$,
...

**10**

votes

**2**answers

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

**9**

votes

**1**answer

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

**9**

votes

**2**answers

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

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

**8**

votes

**2**answers

1k views

### Exactness of filtered colimits

Are filtered colimits exact in all abelian categories?
In Set, filtered colimits commute with finite limits. The proof carries over to categories sufficiently like Set (i.e. where you can chase ...

**8**

votes

**1**answer

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

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

**7**

votes

**2**answers

507 views

### Coend computation continued

This is a follow-up question to this coend computation. Here's an attempt at a slightly simpler computation:
$\int^{a \in A} \mbox{hom_A(a,a)}$
This should be similar to the trace operator. In ...

**7**

votes

**2**answers

959 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:
...

**7**

votes

**1**answer

198 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) ...

**7**

votes

**1**answer

342 views

### Decomposing a large colimit as a pushout of smaller colimits

I would like to find a reference in the literature for the following result. I have it on high authority that it isn't in 'Categories for the Working Mathematician' and I can't find it in Borceux's ...

**6**

votes

**2**answers

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

**6**

votes

**1**answer

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

**6**

votes

**1**answer

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

**6**

votes

**0**answers

371 views

### (Co-)Limits and fibrations of DG-Categories?

First of all, let me see if i got the 1-categorical version right:
Let $\mathcal F:C\to Cat $ be a
(pseudo-) functor. The 2-colimit
$\mathrm{colim}_C\mathcal F$ is then
given by the grothendieck
...

**5**

votes

**2**answers

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

**5**

votes

**1**answer

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

**5**

votes

**1**answer

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

**5**

votes

**2**answers

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

**5**

votes

**1**answer

430 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

**0**answers

90 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)$ ...

**5**

votes

**0**answers

326 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

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

**4**

votes

**1**answer

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

**4**

votes

**2**answers

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

**4**

votes

**2**answers

313 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) ...

**4**

votes

**1**answer

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

**4**

votes

**0**answers

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

**4**

votes

**0**answers

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

**3**

votes

**3**answers

714 views

### Unions of sets exist? [closed]

Hello,
Probably this questions is very stupid, but anyway: It usually said that the category of sets is cocomplete, in particular meaning that we have disjoint unions of arbitrary families of sets, ...

**3**

votes

**2**answers

963 views

### Simple examples of homotopy colimits

I am following the explicit construction of homotopy colimits as described by Dugger in the paper: "Primer on homotopy colimits", which can be found here: http://www.uoregon.edu/~ddugger/hocolim.pdf
...

**3**

votes

**1**answer

194 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

**2**answers

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

**3**

votes

**1**answer

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

**3**

votes

**1**answer

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

**2**

votes

**1**answer

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

**2**

votes

**1**answer

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

**2**

votes

**0**answers

85 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]$ ...

**2**

votes

**0**answers

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

**2**

votes

**0**answers

227 views

### Colimit of an etale diagram of schemes

It is known that the category of schemes is not cocomplete (e.g. see this question: Colimits of schemes). However, do diagrams of schemes for which every morphism is etale have colimits? More ...

**1**

vote

**2**answers

684 views

### On limits and Colimits

I want to ask a stupid question. I wonder whether following morphism exists in general
Let I be an infinite set. i belongs to I
Hom(A,colimBi)--->limHom(A,Bi) and
...

**1**

vote

**2**answers

404 views

### Tot and colimits

This must be a well-known exercise with spectral sequences, but I don't know a reference for it. I'm trying to figure out when does $Tot$ commute with colimits.
More precisely, let $X$ be a double ...

**1**

vote

**2**answers

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

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

**1**

vote

**1**answer

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