# Questions tagged [limits-and-colimits]

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

277 questions
Filter by
Sorted by
Tagged with
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 ...
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\...
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 ...
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 ...
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))$, ...
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 ...
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. ...
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}$ ...
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 ...
103 views

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

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 \... 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}$... 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 ... 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\... 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 ...
126 views

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 ...
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, ...
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. ...
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 ...
685 views

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 ...
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 ...
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 ("...
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 ...
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 ...
295 views

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