# Questions tagged [locally-presentable-categories]

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

63
questions

**7**

votes

**0**answers

166 views

### Higher categorical / operadic approach to homotopy associative, homotopy commutative, $H_\infty$ ring spectra?

Let $\mathcal C$ be a symmetric monoidal $\infty$-category, and let $O$ be an operad (for example, $O$ could be an $A_m$ or $E_n$ operad or a tensor product thereof, and $\mathcal C$ could be spaces ...

**4**

votes

**3**answers

344 views

### Contramodule as direct limit of its finitely generated subcontramodules

$\DeclareMathOperator\Hom{Hom}$Let $K$ be a field. Let $C$ be a $K$-coalgebra. A contramodule $M$ over $C$ is a $K$-space with a $K$-linear map $\pi_M:\Hom_K(C,M)\longrightarrow M$ such that $\pi_M \...

**8**

votes

**1**answer

186 views

### Internal logic of locally strongly finitely presentable categories

There is a duality between locally strongly finitely presentable categories and (Cauchy complete) cartesian categories, i.e. multisorted algebraic theories. The internal logic of cartesian categories ...

**5**

votes

**1**answer

160 views

### Why are compactly generated $\infty$-categories closed under limits in $\operatorname{Cat}_{\infty}$?

In Proposition 5.5.7.6 of Lurie's Higher Topos Theory, Lurie states that the $\infty$-category $\operatorname{Pr}^R_{\omega}$ of compactly generated $\infty$-categories and filtered-colimit-preserving ...

**5**

votes

**0**answers

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

**9**

votes

**1**answer

477 views

### Case study: what does it take to formulate and prove Quillen's small object argument in ZFC?

I'm getting a bit lost over at Peter Scholze's interesting question about removing the dependence on universes from theorems in category theory. In particular, I'm being forced to admit that I don't ...

**3**

votes

**0**answers

56 views

### Coslices of $\mathbb D$-presentable categories

Let $\mathbb D$ be a sound limit doctrine. When $\mathbb D$ is the doctrine of $\lambda$-small limits, then for any $\mathbb D$-presentable category $\mathscr C$ and $X \in \mathscr C$, the coslice $X/...

**4**

votes

**1**answer

260 views

### Does $\mathsf{Ind}_\lambda^\mu(\mathsf{Ind}_\kappa^\lambda(\mathcal C)) = \mathsf{Ind}_\kappa^\mu(\mathcal C)$?

$\newcommand\Ind{\mathsf{Ind}}\newcommand\Ord{\mathsf{Ord}}\newcommand\Psh{\mathsf{Psh}}$For $\kappa \leq \lambda \leq \Ord$ regular cardinals and $\mathcal C$ an essentially small category, let $\...

**5**

votes

**1**answer

267 views

### Is Qcoh(X) locally presentable?

Let $X$ be a scheme. Is the category $QCoh(X)$ of quasi-coherent sheaves on $X$ locally presentable? If so, can we say anything about the $\kappa$ for which $QCoh(X)$ is locally $\kappa$-presentable? (...

**9**

votes

**1**answer

313 views

### From Topoi to Grothendieck categories

This question is mostly about a reference request. Let $\mathcal{E}$ be a Grothendieck topos. I am looking for a reference of the following two facts. I am aware that $(2) \Rightarrow (1)$ by Gabriel-...

**5**

votes

**2**answers

127 views

### When is a locally presentable category (locally) cartesian-closed?

Let $\kappa$ be a regular cardinal. A category $\mathscr C$ is locally $\kappa$-presentable iff it is the free completion of a small $\kappa$-cocomplete category under $\kappa$-filtered colimits. Is ...

**3**

votes

**1**answer

100 views

### When is a finitary functor induced by Ind (co)continuous

Let $\mathbf C$ and $\mathbf D$ be small categories. $\mathrm{Ind}(\mathbf C)$ is an accessible category (by definition), and is locally finitely presentable (i.e. cocomplete, or equivalently complete)...

**13**

votes

**2**answers

348 views

### In a locally presentable category, is every object (a retract of) the colimit of a chain of smaller objects?

Let $\mathcal C$ be an accessible category. For $C \in \mathcal C$, define the presentability rank $rk(C)$ of $C$ to be the minimal regular $\kappa$ such that $C$ is $\kappa$-presentable. Following ...

**6**

votes

**1**answer

162 views

### If $\mathcal C$ is a $\kappa$-accessible $\infty$-category, then is $Mor \mathcal C$ $\kappa$-accessible?

If $\mathcal C$ is a $\kappa$-accessible 1-category, then the category of morphisms $Mor \mathcal C$ is a $\kappa$-accessible 1-category, with the $\kappa$-presentable objects being those morphisms ...

**16**

votes

**1**answer

342 views

### Enriched vs ordinary filtered colimits

Filtered categories can be defined as those categories $\mathbf{C}$ such that $\mathbf{C}$-indexed colimits in $\mathrm{Set}$ commute with finite limits.
Similarly, for categories enriched in $\mathbf{...

**6**

votes

**1**answer

195 views

### Dense generator whose closure under finite colimits takes several steps to form?

Let $\mathcal C$ be a locally finitely presentable category, and let $\mathcal C_0 \subseteq \mathcal C$ be a dense generator of finitely-presentable objects. Then
Every object $C \in \mathcal C$ is ...

**6**

votes

**0**answers

126 views

### Can we make Pres *-autonomous?

The category $\mathbf{Sup}$ of sup-lattices (posets admitting all supremum and supremum preserving map between them) is a well known example of a $*$-autonomous category:
The internal Hom is simply ...

**6**

votes

**1**answer

144 views

### Can a locally presentable category have a proper class of accessible localizations?

Question: What is an example of a locally presentable category $\mathcal C$ such that there exists a proper class of accessible localizations $(\mathcal C \to \mathcal D_i)_{i < ORD}$?
In other ...

**13**

votes

**0**answers

222 views

### Categorification of “Every domain embeds into a field”?

In the category of commutative rings, every domain embeds into a field. Is this true in the category of presentably symmetric monoidal stable $\infty$-categories? Here's what I mean by that.
Let $...

**5**

votes

**2**answers

328 views

### Can conservativity depend on the universe?

Question 1: Let $F: C \to D$ be a conservative, $\kappa$-cocontinuous functor between small, $\kappa$-cocomplete categories. Is the induced functor $Ind_\kappa(F): Ind_\kappa(C) \to Ind_\kappa(D)$ ...

**2**

votes

**3**answers

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

**4**

votes

**1**answer

208 views

### Coreflective subcategories in Grothendieck/locally presentable categories

This question is a reference request for the following result or two results, which I believe are rather easy to prove.
Lemma. Let $\mathcal K$ be a locally presentable category and $\mathcal A\...

**7**

votes

**1**answer

284 views

### Characterisation of essentially algebraic theories as monads

The following correspondence between algebraic theories and monads on $\mathbf{Set}$ is well-known (see, for example, Algebraic Theories: A Categorical Introduction to General Algebra).
The ...

**5**

votes

**0**answers

198 views

### Characterizing the left / right classes of (weak) factorization systems in locally presentable categories

Let $\mathcal M \subseteq Mor(\mathcal C)$ be a class of morphisms in a locally presentable category.
It's well-known that $\mathcal M$ is the left half of an accessible orthogonal factorization ...

**15**

votes

**0**answers

215 views

### Is every limit-closed, accessibly-embedded full subcategory of a presentable $\infty$-category reflective?

Let $C$ be a presentable $\infty$-category and let $D\subseteq C$ be a full subcategory closed under limits and sufficiently-filtered colimits. If $D$ is known to be accessible, then by the adjoint ...

**8**

votes

**2**answers

371 views

### Can the dual of a finitely-accessible category be accessible?

What is an example of an accessible category $\mathcal C$ which is not essentially small, such that $\mathcal C^{op}$ is finitely-accessible?
More generally, what is an example of an accessible ...

**6**

votes

**3**answers

500 views

### Adjusting the definition of a well-powered category to category theory with universes: size issues

Wikipedia and Borceux (Handbook of Categorical Algebra, Part I) give the following definitions of subobjects and well-powered categories:
A subobject of an object $X$ of a category $\mathsf{C}$ is an ...

**3**

votes

**0**answers

100 views

### The coEilenbeg-Moore category of an Eilenberg-Moore category

Take a category $\mathcal{C}$ with a monad $T$ and construct the the Eilenberg-Moore category $\mathcal{C}^T$, the adjunction that arises is the terminal splitting of the monad $M$. Denote the ...

**14**

votes

**1**answer

526 views

### Are locally presentable categories determined by their objects?

Let $f: \mathcal{C} \rightarrow \mathcal{D}$ be a colimit-preserving functor between locally presentable categories. Assume that $f$ induces an equivalence between the groupoids underlying $\mathcal{C}...

**10**

votes

**2**answers

621 views

### Non-small objects in categories

An object $c$ in a category is called small, if there exists some regular cardinal $\kappa$ such that $Hom(c,-)$ preserves $\kappa$-filtered colimits.
Is there an example of a (locally small) ...

**6**

votes

**1**answer

303 views

### Is the 2-сategory of groupoids locally presentable?

I am wondering if the 2-сategory of groupoids is locally presentable. Locally presentable means the category is accessible and co-complete.
It has been pointed out that the category of groupoids is ...

**4**

votes

**1**answer

166 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

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

**14**

votes

**2**answers

289 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

366 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

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

**15**

votes

**2**answers

504 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

154 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

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

**17**

votes

**2**answers

443 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

290 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

247 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

497 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

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

**3**

votes

**2**answers

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

**9**

votes

**1**answer

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

**14**

votes

**2**answers

363 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

301 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

189 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

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