All Questions
Tagged with limits-and-colimits locally-presentable-categories
7 questions
8
votes
1
answer
253
views
Compact objects in slice categories of finitely presentable categories
Given a locally finitely presentable category $\mathscr C$ and an object $X \in \mathscr C$, it is not so hard to show that a morphism $(X \to Y)$ is compact in $\mathscr C_{X/}$ if it can be obtained ...
- 28.7k
11
votes
0
answers
442
views
A right adjoint preserves Phi-colimits if and only if the left adjoint does what?
Let $\Phi$ be a class of categories (e.g. filtered categories), and consider an adjunction $L : \mathbf C \rightleftarrows \mathbf D : R$. A $\Phi$-colimit is a colimit whose diagram is in $\Phi$. We ...
- 10.7k
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.7k
2
votes
3
answers
459
views
Cocomplete and finitely complete category with nice pullbacks that is not locally presentable
I have a result that holds for cocomplete and finitely complete categories such that pullbacks preserve directed colimits, by which I mean $A \times_B (\operatorname{colim}_{i \in I} C_i) = colim_{i \...
- 796
3
votes
0
answers
139
views
Colimits of algebras of an endofunctor
I try to understand a proof in Adamek-Rosicky's book "Locally presentable and accessible categories", Cambridge University Press 1994. In Corollary 2.75 (p. 121) it is proven that the category $\...
- 5,482
6
votes
2
answers
659
views
Limit of a sequence of locally presentable categories
Let $\dotsc \to \mathcal{C}_2 \xrightarrow{F_1} \mathcal{C}_1 \xrightarrow{F_0}\mathcal{C}_0$ be a sequence of cocontinuous functors between locally presentable categories. Consider the limit $\...
- 5,482
8
votes
3
answers
2k
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 ...
- 15.2k