Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [locally-presentable-categories]

3
votes
1answer
179 views

Locally presentable categories

Under category Let $C$ be a locally presentable category, and let $c$ be an object of $C$. Lets denote by $C^{/c}$ the under category, objects are maps $c\rightarrow x$ and morphisms are the evident ...
15
votes
1answer
340 views

When is the category of models of a limit theory a topos?

If $\mathcal{E}$ is a Grothendieck topos on a small base, then it is locally presentable, and hence is equivalent to the category of models of some limit theory. Is there a characterization of ...
8
votes
0answers
101 views

Is every presentable category a limit of locally finitely-presentable categories and finitary left adjoints?

Let $Pr^L$ be the category of presentable categories and left adjoint functors (probably this should be at least a (2,1)-category; anyway ultimately I'm interested in the $(\infty,1)$-setting). For ...
2
votes
2answers
105 views

Is a filtered colimit of complete module complete?

This is probably a textbook question but i haven't been able to find a reference. Let $R$ be a complete commutative Noetherian local ring and $I$ its unique maximal ideal (I'm mostly interested in the ...
6
votes
0answers
89 views

What additional property does the antipode give on the category of all modules over an Hopf algebra?

It is well known that many constructions involving bialgebras extends to monoidal categories, and often becomes more natural in that framework. If one cares about the category of finite dimensional ...
13
votes
2answers
270 views

A locally presentable locally cartesian closed category that is not a quasitopos

This question asks for a locally presentable locally cartesian closed category that is not a topos. All the answers given (at least in the 1-categorical case) are quasitoposes. What is an example of ...
6
votes
1answer
211 views

Example of a locally presentable locally cartesian closed category which is not a topos?

The only way I know to get a locally cartesian closed category which is not a topos is to start with a topos and then throw out some objects so that the category is not sufficiently cocomplete to be a ...
7
votes
1answer
173 views

Saturated classes, generation by a set and pullbacks of categories

Assume that we have a pullback square $$ \begin{array}{ccc} A & \rightarrow & B \\ \downarrow & & \downarrow \\ C & \rightarrow & D \\ \end{array} $$ with all functors ...
10
votes
2answers
947 views

Is every “nice” abelian category with enough projectives an additive presheaf category?

A "nice" category $\mathcal{C}$ should be (for the purposes of this question) locally presentable at a minimum, and maybe a bit more. One might require $\mathcal{C}$ to be (in roughly order of ...
24
votes
1answer
1k views

Locally presentable abelian categories with enough injective objects

I came to the following question when thinking about the (infinitely generated) tilting-cotilting correspondence, where it appears to be relevant. Does there exist a locally presentable abelian ...
8
votes
3answers
1k 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 ...
7
votes
3answers
562 views

Enriched locally presentable categories

Is there a standard reference for the theory (if it exists) of $\mathcal{V}$-enriched locally presentable categories? Here $\mathcal{V}$ is a cosmos. Does anything unexpected happens here in contrast ...