All Questions
Tagged with colimits or limits-and-colimits
347 questions
7
votes
1
answer
306
views
Filtered 2-colimits commute with finite 2-limits
Is there an explicit proof anywhere in the literature that filtered 2-colimits commute with finite 2-limits (all meant in the weak bicategorical sense) in the 2-category of groupoids? I have only ...
- 66.7k
14
votes
2
answers
761
views
Is there a large colimit-sketch for topological spaces?
Question. Is there a large colimit-sketch $\mathcal{S}$ such that $\mathrm{Mod}(\mathcal{S}) \simeq \mathbf{Top}$?
In other words, is there a category $\mathcal{E}$ with a class of cocones $\mathcal{S}...
- 63.1k
4
votes
1
answer
286
views
Explicit description of a pullback of $(2,1)$-categories
In the 1-category of 2-categories, with objects being categories enriched over Cat, and morphisms being 2-functors, is there an explicit way to describe a pullback of two functors $G:E\to D$ and $F:C\...
- 85
4
votes
1
answer
132
views
Functoriality of weighted limits
Let $C$ be a complete category, let $I$ be a small category, let $F,G:I\to C$ be functors, and let $W,U:C\to\mathrm{Set}$ be also functors, which we view as "weights".
The weighted limits ...
- 2,129
8
votes
1
answer
341
views
Filling square to push-out in abelian category
Let $\mathcal{C}$ be an abelian category. In $\mathcal{C}$ we consider the diagram
\begin{array}{ccc}
A&&\\\
\downarrow&&\\\
C&\rightarrow&D
\end{array}
with arrows being ...
- 473
7
votes
1
answer
615
views
Does Grothendieck's algebraization imply existence of colimits of schemes?
I am a little bit confused about two lemmas regarding Grothendieck's algebraization. Assume all algebras are defined over some field. Here is the short version of my question: Does Tag 09ZT ("...
- 5,901
2
votes
1
answer
232
views
Morphisms from the empty diagram
Let $X$ be an object in a category, and let $D$ be the empty diagram in the same category (containing no objects, and therefore no morphisms).
What should $\text{Hom}(D,X)$ be?
The only reasonable ...
- 4,164
15
votes
0
answers
332
views
Which limits distribute over which colimits in $Set$? How about in $Spaces$?
I've never really thought much about distributivity of limits and colimits -- I tend to think more about commutativity of limits and colimits. This question makes me want to change that.
The question ...
- 63.9k
9
votes
1
answer
405
views
Commutation of limits and colimits: Is there a choice diagram?
I was looking at this question about a "soft proof" of the fact that finite limits (shape $I$) commute with filtered colimits (shape $J$) in Set, using only the fact that the diagonal $J \to ...
- 510
6
votes
0
answers
139
views
Characterisation of essentially algebraic theories with a fixed set of sorts
It is well known (e.g. Palmgren–Vickers's Partial Horn logic and cartesian categories) that many-sorted essentially algebraic theories (equivalently partial Horn theories / quasi-equational theories / ...
- 10.6k
7
votes
1
answer
236
views
Free extension of algebra for an operad
I fix $C$ a symmetric monoidal model category (with a cofibrant unit if it helps). I'm assuming that it is closed, or at least that the tensor product commutes to colimits in each variable.
If $X$ is ...
- 42.4k
2
votes
1
answer
211
views
Define a sketch $s_{\mathbf{Grp}}$ such that $\mathbf{Grp}\backsimeq \mathbf{Mod}(s_{\mathbf{Grp}},\mathbf{Set})$
I have this MSE question with a two hundred bounty but even with the bounty this post got underviewed. So maybe here is a more suitable place to post it. The question follows:
(a) Define a sketch $s_{...
- 79
11
votes
1
answer
555
views
Measure the failure of colimit to commute with taking free loops (or Hochschild homology)?
For a space1 $X$, let $\mathcal{L}X = \mathrm{Maps}(S^1, X)$ be the free loop space.
Inclusion of constant loops gives a natural map $X \to \mathcal{L}X$. This is not a homotopy equivalence unless $X$...
- 8,723
10
votes
0
answers
446
views
Milnor's universal bundle as a colimit?
I have had Milnor's construction of the classifying space of a topological group explained to me on multiple occasions, and seen it described briefly in various places. But only now am I reading the ...
- 1,225
5
votes
1
answer
317
views
Is Cauchy completion the largest extension with the same free cocompletion?
EDIT Title has been edited.
Let $C$ be a category, and $$\hat{C} = [C^{op}, (Set)]$$ be its free cocompletion. Despite its name, the free cocompletion of free cocompletion is not equivalent to the ...
- 5,230
1
vote
0
answers
71
views
Gluing categorical limit over subgraphs
Let $C$ be a category, and $\Gamma$ a graph in $C$. Under good conditions it makes sense to talk about the limit $\lim \Gamma$ of $\Gamma$ in $C$.
Suppose $\Gamma$ is the union of two subgraphs $\...
- 5,230
3
votes
1
answer
390
views
Filtered colim of F-groups
A group G is said to have a property F if there exists a finite aspherical CW-complex of which it is the fundamental group (according to wikipedia).
question: is there a full characterization of ...
- 1,613
5
votes
1
answer
245
views
Colimits of short exact sequences of C*-algebras
Assume I have an inductive system of short exact sequences of $C^{\ast}$-algebras (i.e., short exact sequences $0 \to A_n \to B_n \to C_n \to 0$ together with transformations from the $n$-th to the $(...
- 2,998
1
vote
0
answers
81
views
Examples of spaces which have explicit expression as colimits in $\mathrm{Top}$
$\DeclareMathOperator\Ball{Ball}$Question: What "well-known" spaces can be explicitly written down in the form $\bigcup_k \phi_k C(K_n,\mathbb{R}^m)$; where $K_n$ is a non-empty compact ...
- 5,405
5
votes
0
answers
368
views
Continuity property for Čech cohomology
Suppose we have an inverse system of compact Hausdorff spaces $\lbrace X_i , \varphi_{ij} \rbrace_{i\in I}$ and that each space has a presheaf $\Gamma_i$ assigned to it in such a way that $\Gamma_i(\...
- 275
7
votes
2
answers
812
views
Do filtered colimits commute with finite limits in the category of pointed sets?
It seems to be the case that filtered colimits commute with finite limits in the category Set (for instance, this is shown in Why do filtered colimits commute with finite limits?), but does the same ...
- 199
5
votes
0
answers
220
views
Pushout of $C^*$-algebras using generalised morphisms
There is a known construction of pushout of $C^*$-algebras, or rather, the amalgamated free product, which is universal for commutative squares of $*$-homomorphisms. Jensen and Thomsen in their book ...
- 35.4k
7
votes
0
answers
266
views
Relation between two limit presentations of Eilenberg--Moore objects
Let $\mathbb{T}=({\cal T}\colon C\to C,\mu,\eta)$ be a monad (in the
$2$-category $\mathsf{Cat}$), which we view as a $2$-functor
$\mathbb{T}\colon\mathsf{B}\Delta_{\mathrm{a}}\to\mathsf{Cat}$ (where
$...
- 446
10
votes
1
answer
333
views
2-monads for categories with a class of (co)limits
This question concerns the strictness of (co)completions, at various levels of generality.
In Blackwell–Kelly–Power's Two-dimensional monad theory, the authors state
For instance, the 2-category $\...
- 10.6k
9
votes
3
answers
911
views
Decomposing a (co)limit by decomposing the indexing diagram
Let $D: I \to \mathcal C$ be a diagram, and suppose we have a colimit decomposition $I = \varinjlim_{j \in J} I_j$ in $Cat$. Then under certain conditions, we can decompose the colimit of $D$ as $\...
- 63.9k
3
votes
0
answers
163
views
Classifying spaces of amalgamated topological monoids
Let $\mathsf{Top}_*$ be the category of well-based spaces and $\mathsf{TopMon}$ the category of topological monoids. Recall the James construction $\mathcal{J}:\mathsf{Top}_*\to \mathsf{TopMon}$ which ...
- 1,623
7
votes
2
answers
3k
views
Does a fully faithful functor always preserve limits and colimits?
I read on this n-lab page that a fully faithful functor $F: C\to D$ reflects all limits and colimits by the universal property.
On the other hand, I think a fully faithful functor does not always ...
- 9,009
2
votes
0
answers
109
views
Cofinality for natural transformations
Given a diagram $D\colon\mathcal{C}\longrightarrow\mathcal{D}$, we say that a functor $J\colon\mathcal{I}\longrightarrow{C}$ is cofinal if we have a natural isomorphism
$$
\mathrm{colim}\left(\mathcal{...
- 11.8k
6
votes
1
answer
373
views
Ferrand pushouts for algebraic stacks
Given algebraic spaces $X$, $Y$, $Z$ with a finite morphism $Y \rightarrow X$ and a closed immersion $Y \hookrightarrow Z$, the pushout $P \cong X \amalg_Y Z$ exists as an algebraic space (cf. Temkin ...
- 63
6
votes
1
answer
348
views
Weibel's H-book, Milnor's exact sequence for spectral sequence of filtered complex, Theorem 5.5.5
This is a question which I asked on StackExchange first, but might be more suited here.
I got stuck on the proof of Theorem 5.5.5 in Weibel's book. Not only that, but I also could not even find the ...
- 1,071
0
votes
1
answer
81
views
Ultrabornological representation for the space of uniformly continuous functions?
Let $\{\omega_i\}_{i\in I}$ be a non-empty set of increasing (not necessarily strictly) continuous functions preserving $0$. Then, for each $i \in I$ define the space
$$
C_{\omega_i}(\mathbb{R}^n,\...
- 5,405
9
votes
0
answers
393
views
When is an increasing union a colimit?
Let's consider a diagram $\Phi: \lambda \to \mathcal{T}_*$
$$
X_0 \to X_1 \to \cdots \to X_\xi \to X_{\xi+1} \to \cdots
$$
of pointed spaces,
indexed by some ordinal $\lambda$, in which each $X_\xi$ ...
- 12.5k
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 ...
- 183
3
votes
1
answer
105
views
Is $C(\mathbb{R}^n)$ is a DF-Space?
I recently have begun reading about DF-spaces and its clear to me that $C(K)$ is a DF-space for any compact subset (non-empty) $K$ of some $\mathbb{R}^D$ for finite D, since $C(K)$ is Banach. However,...
- 5,405
11
votes
2
answers
1k
views
How to understand adjoint functors?
I asked this same question on MathUnderflow two weeks ago but didn't receive any answer. Now that I am thinking more, it feels like the most suitable place for this question is here.
I have a good ...
- 1,093
5
votes
1
answer
340
views
Weighted Co/ends?
Recall: Limits
Recall that the limit of a functor $D\colon\mathcal{I}\to\mathcal{C}$ is, if it exists, the pair $(\mathrm{lim}(D),\pi)$ with
$\lim(D)$ an object of $\mathcal{C}$, and
$\pi\colon\...
- 11.8k
7
votes
1
answer
214
views
Algebras for products or limits of monads
If a category $C$ has limits of a certain type, then the category of monads on $C$ has the same type of limits, and these limits are computed "levelwise" (i.e. are preserved by the forgetful ...
- 42.4k
2
votes
0
answers
255
views
Ultralimit of metric spaces vs. inductive limits of underlying topological spaces
Let $\{(X_n,d_n)\}_{n =1}^{\infty}$ be a sequence of bounded metric spaces such that:
$X_n \subseteq X_{n+1}$ is a metric subspace of $X_n$.
Let $\omega$ denote a non-principal ultrafilter (i.e.: ...
- 5,405
5
votes
1
answer
563
views
Computation on homotopy colimit cocomplete triangulated categories
I have a couple of questions about dealing with homotopy (co)limits cocomplete triangulated categories.
Question I:The first one concerns a comment by Peter Arndt in this discussion about derived ...
- 5,998
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 ...
- 5,405
4
votes
2
answers
1k
views
Sheaf cohomology commutes with colimits of sheaves
Let $X$ be a Noetherian scheme over a Noetherian ring $R$ and $(F_{\alpha})_{\alpha \in I}$ a direct system of $O_X$-module sheaves on $X$. I'm looking for source literature where I can find a proof ...
- 5,998
6
votes
0
answers
555
views
When is the dual of a limit the same as the colimit of the duals?
We all know that the dual of the colimit of a diagram in the category of chain complexes (and similar categories) is the limit of the duals diagram. This follows immediately from the general fact that ...
2
votes
0
answers
116
views
Primitive ideals of inductive limits of $C^*$-algebras
I am trying to understand ideals of direct limits in the category of $C^{\ast}$-algebras.
Let $(A_n,f_n)$ be a direct sequence of $C^{\ast}$-algebras and let $I$ be a primitive (modular) ideal of ...
- 1,115
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 ...
- 15.8k
5
votes
0
answers
131
views
Is the module of Kähler differentials a coend?
Let $\phi\colon R\to S$ be a ring map. The module of Kähler differentials $\Omega_{S/R}$ of $\phi$ can be constructed as the following coequaliser:
$$\left(\bigoplus_{(a, b)\in S^2} S[(a, b)]\right) \...
- 11.8k
1
vote
3
answers
1k
views
Injective maps and direct limits [closed]
I have the following question. Assume you have a category $\mathcal{C}$ such that direct limits exists. Let $(C_n)_{n\in\mathbb{N}}$ be a sequence of objects in $\mathcal{C}$ and consider the ...
8
votes
0
answers
106
views
Reference for limits of schemes with non-affine transitions?
Inverse systems of projective schemes appear in several contexts, for example:
in constructing the Zariski-Riemann space of a projective variety,
in studying subvarieties of a projective variety ...
- 4,482
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
1
vote
1
answer
511
views
Convergence in $C_c$ but not in $C$
Let $C_c(\mathbb{R})$ be the set of compactly-supported continuous functions on $\mathbb{R}$. We can view this with a number of different topologies but I have my eye on two in particular. Let $X$ ...
- 5,405
1
vote
0
answers
67
views
Comparison of inductive limit topology with very-rapidly decaying non-convex $L^{!/2}$-space topology
This is related to these posts and here.
Let $L^1([n,n+1])$ denote the subspace of $L^p$-functions on $[0,\infty)$ essentially supported on $[-n,n]$. Denote the accelerated $\ell^1$-direct sum ...
- 5,405