Questions tagged [limits-and-colimits]

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

Filter by
Sorted by
Tagged with
2 votes
0 answers
134 views

Is the homotopy limit of derived schemes along affine maps a derived scheme?

The title question is true in the setting of ordinary limits and ordinary schemes; that is, given an inverse limit of schemes along affine maps, the limit still lives in the category of schemes. I'd ...
user avatar
  • 261
2 votes
1 answer
167 views

Formula for the left adjoint of the nerve functor?

I recently stumbled upon a formula for the left adjoint of the nerve functor. Let $X$ and $Y$ be simplicial sets, then: \begin{equation} \mathbf{sSet}(X,Y) \cong\mathbf{sSet}(\varinjlim_{\Delta^n\...
user avatar
3 votes
1 answer
106 views

Derived functors of inverse limit in abelian categories?

I have a finite poset $I$ and an inverse system $A: I^{op}\longrightarrow \mathscr C$ taking values in an abelian category $\mathscr C$. I suppose that $\mathscr C$ has direct sums. Given that my ...
user avatar
  • 31
3 votes
0 answers
91 views

Weighted limit calculus

In coend calculus by Fosco Loregian, it is mentioned that Lawvere conjectured that co/ends constitute a categorification of logical calculus. In his own words: The somewhat far-fetched conjecture ...
user avatar
  • 6,231
0 votes
0 answers
267 views

Is the structure presheaf of $\text{Spec}(A)$ a limit of presheaves?

In Shafarevich's Basic Algebraic Geometry, he defines the structure presheaf on $\text{Spec}(A)$ first by $\mathcal{O}(D(f))\cong A_f$ and then $\mathcal{O}(U)=\lim_{D(f)\subset U}\mathcal{O}(D(f))$, ...
user avatar
  • 247
5 votes
0 answers
177 views

$V$-cat and $V$-graph: coequalizers in the category of enriched functors

This question is regarding the 1974 JPAA paper $V$-cat and $V$-graph by Harvey Wolff. To be precise, I don't understand a certain step in the proof of Corollary 2.9, which (the corollary) is crucial ...
user avatar
  • 1,025
7 votes
1 answer
364 views

A fibration equivalent to having a terminal object

It is well known that the codomain functor $$cod:\mathcal{C}^\to\to\mathcal{C}$$ from the arrow category of a category $\mathcal{C}$ to itself is a fibration iff $\mathcal{C}$ has binary pullbacks. ...
user avatar
  • 6,231
3 votes
0 answers
72 views

When is Tw(C) {ω}-filtered?

I am interested in categories $\mathsf{C}$ for which coends commute with $\omega$-chain limits. That is, given a chain of profunctors $P_n \colon \mathsf{C}^{op} \times \mathsf{C} \to \mathsf{Set}$ ...
user avatar
4 votes
1 answer
206 views

Are locally fully faithful 2-functors closed under 2-pushout in 2-Cat?

It is known that fully faithful functors are closed under pushouts in Cat (e.g. Lemma 4.9 of this paper). Are locally fully faithful 2-functors closed under (strict) 2-pushouts in the 2-category 2-Cat ...
user avatar
  • 5,035
5 votes
0 answers
103 views

Are weighted limits terminal in a category of cones?

Consider a Benabou-cosmos $(\mathcal{V},\otimes,J)$, $\mathcal{V}$-categories $\mathcal{I},\mathcal{C}$ and $\mathcal{V}$-functors $\mathcal{W}:\mathcal{I} \rightarrow \mathcal{V}$ and $\mathcal{D}:\...
user avatar
2 votes
0 answers
66 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 ...
user avatar
  • 21
2 votes
0 answers
91 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 ...
user avatar
7 votes
1 answer
213 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 ...
user avatar
10 votes
1 answer
208 views

Weak descent and effective equivalence relations

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}$ ...
user avatar
0 votes
1 answer
152 views

The direct limit of invertible functions on a variety

(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 ...
user avatar
7 votes
1 answer
275 views

Finite coproducts commute with which limits in Set?

It is well known that (small) coproducts commute with connected limits in $\mathbf{Set}$. With which class of limits do finite coproducts commute? Ideally, we should furthermore like to know whether ...
user avatar
  • 5,035
5 votes
0 answers
89 views

Applications of $FP_\infty$ groups preserving direct systems

In [1], the author proves that given a group $G$ and a directed system $(M_\lambda)_\lambda$ of $G$-modules, the induced maps $$\varinjlim H^k(G,M_\lambda) \to H^k(G,\varinjlim M_\lambda)$$ are ...
user avatar
15 votes
2 answers
506 views

Original reference for categories of presheaves as free cocompletions of small categories

It is well known that, for a small category $\mathbf A$, the category $\widehat{\mathbf A} = [\mathbf A^\circ, \mathbf{Set}]$ of presheaves on $\mathbf A$ together with the Yoneda embedding $\mathbf A ...
user avatar
  • 5,035
10 votes
2 answers
513 views

Do colimits of manifolds coincide with underlying colimits as topological spaces?

Categories of manifolds (possibly with extra structure) tend not to have all colimits. Other questions have addressed when colimits of manifolds exist. I'd like to know what we can say in general ...
user avatar
3 votes
0 answers
156 views

For which categories $D$ is a $D^{\vartriangleleft\vartriangleright}$-shaped diagram in a stable $\infty$-category a limit iff it is a colimit?

Throughout, I'll omit the "$\infty$" from the term "$\infty$-category". It is well-known (and sometimes even included in the definition, although not by Lurie) that pushouts and ...
user avatar
3 votes
0 answers
88 views

Density with respect to a family of diagrams, versus a class of weights

In Theorem 5.19 of Kelly's Basic Concepts of Enriched Category Theory, it is proven that a fully faithful functor $K \colon \mathcal A \to \mathcal C$ is dense if and only if $\mathcal C$ is the ...
user avatar
  • 5,035
2 votes
0 answers
69 views

Dual of essentially compactly supported functions on a hemi-compact Radon space

Let $X$ be a hemicompact Radon space and fix a $\sigma$-finite Radon measure $\mu$ on $X$. Let $L(X_n)$ denote the subspace of $L_{\mu}^1(X)$ of "functions" which are $\mu$-essentially ...
user avatar
5 votes
1 answer
178 views

Dense subcategory of measurable spaces

Recall the notion of a dense subcategory $\mathcal{D}$ of a category $\mathcal{C}$. It means that the restricted Yoneda functor $\mathcal{C} \to \mathrm{Hom}(\mathcal{D}^{op},\mathbf{Set})$, $A \...
user avatar
8 votes
2 answers
277 views

Strongly compact categories (reference request)

The notion of a "compact category" was introduced by Isbell$\color{red}{^{1,2}}$. A locally small category $\mathcal{C}$ is called compact when every functor $\mathcal{C} \to \mathcal{D}$ ...
user avatar
3 votes
1 answer
108 views

Examples of (co)lax idempotent pseudocomonads on Cat

A lax idempotent pseudomonad, also called a KZ doctrine or KZ monad, is a pseudomonad $(T, \mu, \eta)$ with the property that $T \eta \dashv \mu \dashv \eta T$. Lax idempotent pseudomonads were ...
user avatar
  • 5,035
1 vote
1 answer
228 views

Limit along the category of all algebraic curves over a field

Let $k$ be algebraically closed field of charactersistic zero and $\mathcal C$ be the category of irreducible smooth projective curves over $k$ and non-constant maps between them. I have a functor $F\...
user avatar
7 votes
0 answers
88 views

Original reference for the Fam construction

For a category $\mathbf C$, the category of families of $\mathbf C$, denoted $\mathrm{Fam}(\mathbf C)$ is the free coproduct completion of $\mathbf C$. Explicitly, the objects of $\mathbf C$ are given ...
user avatar
  • 5,035
2 votes
3 answers
126 views

Conditions for exact projective limits for some Mittag-Leffler systems?

Let $(M_i)_{i\in I}$ and $(N_i)_{i\in I}$ be Mittag-Leffler systems of $R$-modules. I have a map $(h_i)$ of projective systems such that every $h_i$ is surjective. I search for conditions for $\lim \...
user avatar
4 votes
0 answers
211 views

Free vector space on a filtered limit

$\DeclareMathOperator\Set{Set}\DeclareMathOperator\Vect{Vect}\DeclareMathOperator\Coalg{Coalg}\DeclareMathOperator\ProVect{ProVect}\DeclareMathOperator\prolim{prolim} $Let $K$ be a field and $F: \Set \...
user avatar
2 votes
1 answer
78 views

Semi-norms on LCS inductive limit of Banach Spaces

Let $(E_n,i_n)_{n\in\mathbb{N}}$ be an direct system of Banach spaces in the category of locally convex spaces (LCSs) with continuous linear maps and let $E_{\infty}$ by their inductive limit. What ...
user avatar
4 votes
1 answer
220 views

Example of a non-cocomplete model category of a realized limit sketch

Let $(\mathcal{E},\mathcal{S})$ be a realized limit sketch, i.e. a locally small category $\mathcal{E}$ with a class $\mathcal{S}$ of limit cones in it. It is not assumed that $\mathcal{E}$ is small, ...
user avatar
32 votes
4 answers
2k views

Shapes for category theory

Most texts on category theory define a (small) diagram in a category $\mathcal{A}$ as a functor $D : \mathcal{I} \to \mathcal{A}$ on a (small) category $\mathcal{I}$, called the shape of the diagram. ...
user avatar
8 votes
1 answer
208 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 ...
user avatar
  • 58.9k
12 votes
2 answers
685 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}...
user avatar
3 votes
1 answer
149 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\...
user avatar
  • 65
3 votes
1 answer
93 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 ...
user avatar
  • 1,999
8 votes
1 answer
241 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 ...
user avatar
  • 913
6 votes
1 answer
498 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 ("...
user avatar
  • 4,926
2 votes
1 answer
179 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 ...
user avatar
  • 3,696
13 votes
0 answers
203 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 ...
user avatar
  • 49.2k
8 votes
1 answer
295 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 ...
user avatar
5 votes
0 answers
106 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 / ...
user avatar
  • 5,035
7 votes
1 answer
171 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 ...
user avatar
  • 32.3k
2 votes
1 answer
206 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_{...
user avatar
  • 79
12 votes
1 answer
402 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$...
user avatar
  • 8,479
9 votes
0 answers
286 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 ...
user avatar
3 votes
1 answer
235 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 ...
user avatar
  • 4,005
1 vote
0 answers
58 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 $\...
user avatar
  • 4,005
3 votes
1 answer
358 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 ...
user avatar
  • 1,543
5 votes
1 answer
141 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 $(...
user avatar
  • 2,646

1
2 3 4 5 6