Questions tagged [locally-presentable-categories]
The locally-presentable-categories tag has no usage guidance.
66
questions
8
votes
1
answer
492
views
Is the Cartesian product of two finitely presented objects finitely presentable?
Let $C$ be a locally finitely presented category, $A, B$ are two finitely presented (synonym: compact) objects in it. Is it true that $A \times B$ is finitely representable?
At least I have looked at ...
- 5,260
7
votes
1
answer
335
views
Tensor product of sites
Let $C, D$ two Grothendieck sites. Since the corresponding toposes $E, F$ are locally presentable categories, then (by Gabriel-Ulmer duality) they correspond to limit theories $X, Y$ (that is, small ...
- 5,260
5
votes
0
answers
180
views
Why is $\rm{Cat}$ a Cartesian-closed category?
I am interested in naturally occurring symmetric closed monoidal structures on locally presentable categories.
Two general examples:
Grothendieck topos with Cartesian structure. Here, for example, $\...
- 5,260
5
votes
0
answers
106
views
Is there a "relative version" of the theorem that every locally presentable category has all small limits?
Let $\mathcal C$ be a locally presentable category. Then by definition, $\mathcal C$ has all small colimits. Nontrivially, we also have
Theorem 1: (Gabriel and Ulmer?) $\mathcal C$ also has all small ...
- 55.4k
0
votes
0
answers
35
views
Cellular model of a locally presentable category
According to https://ncatlab.org/nlab/show/cellular+model, I call a cellular model of a locally presentable category a set of monomorphisms cofibrantly generating the monomorphisms. I am curious to ...
- 3,603
6
votes
0
answers
123
views
Does $Pr^L_\kappa \in Pr^L$ behave like an "object classifier" or "universe"?
Let $Pr^L$ denote the $\infty$-category of presentable $\infty$-categories and left adjoint functors. Let $Pr^L_\kappa \subset Pr^L$ denote the locally-full subcategory of $\kappa$-compactly-generated ...
- 55.4k
9
votes
0
answers
135
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 ...
- 6,532
2
votes
2
answers
250
views
Is there a "duality involution" on presentable categories?
$\newcommand\Psh{\mathit{Psh}}\newcommand\Pr{\mathit{Pr}}$Let $\Psh$ be the category of presheaf categories and cocontinuous functors which preserve tiny objects. There is a functor $(-)^\ast : \Psh \...
- 55.4k
5
votes
0
answers
63
views
Left adjoints for functors out of a Deligne-Kelly tensor product
Let $k$ be a field, and let $\mathcal{C}$ be a locally finitely presentable $k$-linear categories. The Deligne-Kelly tensor product $\mathcal{C}\boxtimes\mathcal{C}$ is the 2-universal locally ...
3
votes
0
answers
87
views
Categories in which finite powers commute with filtered colimits
If $\mathcal{C}$ is a category with finite products and filtered colimits, then we say that finite powers commute with filtered colimits in $\mathcal{C}$ if for each natural number $n$, the $n$th ...
- 203
10
votes
2
answers
328
views
Which abelian groups are $\aleph_1$-filtered colimits of finitely-generated abelian groups?
Observation: Every $\aleph_1$-directed colimit $\varinjlim_i X_i$ of finite sets is finite.
Proof:
Because the $X_i$'s are finite, the Mittag-Leffler condition holds, so by passing to the diagram of ...
- 55.4k
5
votes
0
answers
205
views
Is the category of topologically free $k[[h]]$-modules locally presentable?
$\newcommand{\colim}{\operatorname{colim}}$
Let $k$ be a field (of characteristic 0, say) and $M$ be a module over $R=k[[h]]$. Recall that the $h$-adic completion of $M$ is
$$
\hat M:=\lim M/h^nM,
$$
...
- 7,667
11
votes
3
answers
644
views
Relation between Ind-completion and "additive"-ind-completion
Suppose that $\mathcal{C}$ is a skeletally small additive category.
To enlarge $\mathcal{C}$ and produce a bigger category whose "small" objects can be identified with those in $\mathcal{C}$,...
- 425
7
votes
0
answers
191
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 ...
- 55.4k
6
votes
3
answers
455
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 \...
- 383
8
votes
1
answer
218
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 ...
- 6,532
6
votes
1
answer
379
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 ...
- 549
5
votes
0
answers
124
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 / ...
- 6,532
9
votes
1
answer
582
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 ...
- 55.4k
3
votes
0
answers
71
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/...
- 6,532
4
votes
1
answer
323
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 $\...
- 55.4k
6
votes
1
answer
367
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
398
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-...
- 7,887
5
votes
2
answers
202
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 ...
- 6,532
3
votes
1
answer
154
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)...
- 6,532
13
votes
2
answers
422
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 ...
- 55.4k
6
votes
1
answer
184
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 ...
- 55.4k
19
votes
2
answers
592
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{...
- 1,827
6
votes
1
answer
239
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 ...
- 55.4k
6
votes
0
answers
140
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 ...
- 37.4k
6
votes
1
answer
172
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 ...
- 55.4k
13
votes
0
answers
233
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 $...
- 55.4k
6
votes
2
answers
381
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)$ ...
- 55.4k
2
votes
3
answers
443
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 \...
- 738
4
votes
1
answer
287
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\...
- 14.8k
8
votes
1
answer
395
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 ...
- 6,532
6
votes
0
answers
232
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 ...
- 55.4k
16
votes
0
answers
275
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 ...
- 55.4k
8
votes
2
answers
398
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 ...
- 55.4k
6
votes
3
answers
659
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 ...
- 1,065
3
votes
1
answer
199
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 ...
- 1,243
14
votes
1
answer
579
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}...
- 433
10
votes
2
answers
684
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) ...
- 483
6
votes
1
answer
328
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 ...
- 1,487
3
votes
2
answers
211
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)
- 3,603
4
votes
1
answer
153
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 ...
- 363
14
votes
2
answers
322
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 ...
- 3,603
12
votes
1
answer
403
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 ...
- 37.4k
12
votes
1
answer
344
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 ...
- 62.7k
15
votes
2
answers
659
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 ...
- 24.5k