Questions tagged [limits-colimits]
For questions about categorical limits and colimits, including questions about (co)limits of general diagrams, questions about specific special kinds of (co)limits such as (co)products or (co)equalizers, and questions about generalizations such as weighted (co)limits and (co)ends.
925
questions
2
votes
1
answer
33
views
Reference request for realizing a simplicial set as the homotopy colimit of its simplices
I know that
$$X\simeq hocolim_{Simp(X)}\Delta^n,$$
where $Simp(X)$ is the category of simplices of $X$, I know this for example because of proposition 7.5 of the nLab's page for homotopy limits. ...
3
votes
1
answer
69
views
Orbit functor is not co-representable
Let ${1}\neq H\le G$ be groups. Denote by $G\textit{-}\mathsf{Set}$ the category of sets with a $G$ action, with $G$-equivariant maps as morphisms. Let $(-)/H: G\textit{-}\mathsf{Set}\to \mathsf{Set}$ ...
0
votes
0
answers
27
views
colimit with two index category
I want to prove that colimit is commutative with colimit, i.e. $colim_{j}colim_{i}M_{i, j} = colim_{i, j}M_{i, j}$. But I'm a bit confused about how to define $colim_{i}M_{i, j}$? For a single $i$, ...
2
votes
1
answer
95
views
limits and colimits under forgetful functor
I'm studying limits and colimits and more precisely I'm looking at forgetful functors and I'm trying to see if they preserve limits and colimits. In order to do that I first look at terminal and ...
6
votes
0
answers
81
views
Proof of Theorem 3.4.12 in Emily Riehl's "Category Theory in Context"
I have questions about the proof of Theorem 3.4.12 in Emily Riehl's Category Theory in Context.
The theorem states that the colimit of a small diagram $F\colon \mathsf J \to\mathsf C$ can be expressed ...
1
vote
2
answers
61
views
Internal hom takes coends to ends
I know that this is a very general fact about limits and colimits, but I would like to prove it directly for ends and coends. If $\mathcal V$ is a closed braided monoidal category, $V$ an object in $\...
1
vote
1
answer
51
views
Coequalizer in the category of modules
I am trying to prove that the category of modules is cocomplete. It suffices to show that it has all coequalizers and coproducts. It's relatively easy to show that all coproducts exist, and I am left ...
2
votes
0
answers
119
views
Given an inverse sequence of functors determined on a subcategory, when is the limit determined on that subcategory?
I will first state the general version of my question, but I do have a specific context in mind in which second I'll dance around.
(1.) Let $\mathsf{C}$ be a full subcategory of a category $\mathsf{D}$...
2
votes
0
answers
93
views
Spec of an infinite intersection of ideals, Spec of a colimit
This comes from the study of Krull's Intersection Theorem, and deriving a geometric meaning.
Let $I \subset R$ be an ideal of a commutative ring (we shall see the case when $R$ is Noetherian). ...
11
votes
2
answers
473
views
Do Wikipedia, nLab and several books give a wrong definition of categorical limits?
It seems unlikely that all these sources are wrong about the same thing, but I can’t find a flaw in my reasoning – I hope that either someone will point out my error or I can go fix Wikipedia and ...
0
votes
1
answer
80
views
Prove that an (additive) functor $F$ between abelian categories (categories of modules) that admits an exact left adjoint must preserve injectives
Prove that an (additive) functor $F$ between abelian categories (categories of modules) that admits an exact left adjoint must preserve injectives. State and prove the dual result.
I have no idea on ...
2
votes
1
answer
79
views
Interpretation of closure in inverse limit
Can one interpret the closure of a set inside an inverse limit as the closure of its individual components? I have not been able to find a source confirming or denying this claim. I have only been ...
1
vote
0
answers
143
views
Does profinite completion preserve injectivity?
Let $G$ be an abelian group.
Let $\widehat{G}$ be a profinite completion of $G$.
Profinite completion means a inverse limit of $G$ by a system given by homomorphisms $G/N\to G/M$ where $N$ and $M$ are ...
1
vote
1
answer
80
views
Confusion about colimits in the category $\mathbf{Set}$
It is well known that $\mathbf{Set}$ is an $\aleph_0$-accessible category, but I'm very inexperienced and I'm not sure how to prove it in detail. In particular, I need to find a set $\Omega$ of ...
4
votes
2
answers
175
views
Difference between different definitions of diagram in a category
I'm currently reading the book "Topoi: The Categorial Analysis of Logic" by Robert Goldblatt, and in chapter 3.11, in order to define limits and co-limits he defines a diagram in a category ...