# Questions tagged [locally-presentable-categories]

The locally-presentable-categories tag has no usage guidance.

32
questions

**4**

votes

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**2**answers

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

**0**answers

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

**2**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**2**answers

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

**0**answers

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

**0**answers

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

**2**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**3**answers

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

**3**answers

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