Questions tagged [locally-presentable-categories]

Filter by
Sorted by
Tagged with
4
votes
1answer
97 views

Bousfield localization of a left proper accessible model category

What is known about the Bousfield localization of a left proper accessible model category by a set of maps ? (I mean not combinatorial which is already known)
4
votes
1answer
103 views

Why is the category of all small $\mathbf{S}$-enriched categories locally presentable?

In Lurie's Higher Topos Theory Proposition A.3.2.4, the author used Proposition A.2.6.15 to prove that for any combinatorial monoidal model category $\mathbf{S}$ with all objects cofibrant and weak ...
12
votes
2answers
194 views

Example of non accessible model categories

By curiosity, I would like to see an example of a model category with the underlying category locally presentable which is not accessible in this sense (and just in case: even by using Vopěnka's ...
11
votes
1answer
305 views

Is there any references on the tensor product of presentable (1-)categories?

Is there any references on the tensor product of (locally) presentable categories ? All I know about this is Lurie's book that deals with the $\infty$-categorical version, and a few references that ...
11
votes
1answer
246 views

Accessible functors not preserving lots of presentable objects

Let $F:\cal C\to D$ be an accessible functor between locally presentable categories. By Theorem 2.19 in Adamek-Rosicky Locally presentable and accessible categories, there exist arbitrarily large ...
14
votes
2answers
328 views

$\mu$-presentable object as $\mu$-small colimit of $\lambda$-presentable objects

Remark 1.30 of Adámek and Rosický, Locally Presentable and Accessible Categories claims that in any locally $\lambda$-presentable category, each $\mu$-presentable object (for $\mu\ge\lambda$) can be ...
5
votes
1answer
121 views

Rank of presentability of internal Hom of locally presentable categories

Let $C$ and $D$ be locally $\kappa$-presentable categories. It is written on the nLab that the category $\mathrm{Ladj}(C, D)$ of cocontinuous functors from $C$ to $D$ is again locally $\kappa$-...
9
votes
1answer
232 views

Closure of presentable objects under finite limits

In a locally presentable category $\cal E$, there are arbitrarily large regular cardinals $\lambda$ such that the $\lambda$-presentable (a.k.a. $\lambda$-compact) objects are closed under pullbacks. ...
16
votes
2answers
376 views

Raising the index of accessibility

In the standard reference books Locally presentable and accessible categories (Adamek-Rosicky, Theorem 2.11) and Accessible categories (Makkai-Pare, $\S$2.3), it is shown that for regular cardinals $\...
6
votes
1answer
225 views

Locally presentable categories, universes, and Vopenka's principle

Some aspects of the theory of locally presentable categories depends on set-theoretic assumptions. Namely, a large cardinal axiom known as Vopenka's principle implies several nice properties of such ...
3
votes
1answer
189 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
413 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
123 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
124 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
90 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
289 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
232 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
176 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 ...
11
votes
2answers
981 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 ...
25
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 ...
3
votes
1answer
263 views

locally finitely presentable tensor categories

I am looking for examples of locally finitely presentable categories which admit a symmetric monoidal structure, such that the tensor product preserves colimits in each variable, but the unit is not ...
3
votes
0answers
104 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 $\...
6
votes
2answers
319 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 $\...
2
votes
0answers
208 views

On the category of $D$-modules

Let $X$ be a smooth variety over an algebraically closed field $k$ of char. $0$. 1) Is the abelian category $M(X)$ of $D$-modules on $X$, which are quasi-coherent as $O$-modules, a Grothendieck ...
1
vote
0answers
207 views

Are finitely presented modules finitely presentable? [closed]

Over a ring $R$ we have a notion of finitely presented module, namely: Definition 1 A module $F$ is finitely presented if there are $m$, $n$ positive integers such that $R^m\to R^n\to F\to 0$ is ...
10
votes
2answers
439 views

Cartesian product of small objects

Let's say we have a locally $\lambda$-presentable category and a pair of $\lambda$-presentable objects $A$ and $B$. Is it true that $A \times B$ is $\lambda$-presentable?
10
votes
0answers
436 views

Orthogonality relations and accessibility?

Suppose I have a pair of locally presentable categories connected by an accessible functor. Then the preimage of an accessible subcategory of the codomain is an accessible subcategory of the domain. ...
6
votes
1answer
251 views

Do cocontinuous SET-valued functors separate points?

Let $C$ be a category. For the purposes of this question, I would like to avoid cases where the answer might be "no" simply because $C$ is "too large", and so I will ask that $C$ has a set of ...
4
votes
1answer
336 views

Example of a non-closed cocomplete symmetric monoidal category

Background By a cocomplete symmetric monoidal category $C$ I mean a symmetric monoidal category whose underlying category is cocomplete and such that $- \otimes X : C \to C$ is cocontinuous for all $...
2
votes
1answer
238 views

isomorphism locus of functors on presentable categories

Let $C,D$ be two presentable categories, $F,G : C \to D$ cocontinuous functors and $\eta :F \to G$ be a morphism of functors. Is it always true that the full subcategory $\{x \in C : F(x) \...
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
581 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 ...