All Questions
Tagged with accessible-categories locally-presentable-categories
18 questions
0
votes
1
answer
133
views
Is every locally $\kappa$-presentable category, also locally $\tau$-presentable for any $\tau > \kappa$?
Let $\kappa$ be a small regular cardinal and $D$ a locally $\kappa$-presentable category. Is it true that $D$ is also locally $\tau$-presentable for any $\tau > \kappa.$
Adamek und Rosicky show in &...
- 499
10
votes
2
answers
407
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 ...
- 64k
11
votes
3
answers
927
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
6
votes
1
answer
772
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 ...
- 556
2
votes
0
answers
92
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/...
- 10.7k
5
votes
1
answer
384
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 $\...
- 64k
13
votes
2
answers
493
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 ...
- 64k
6
votes
1
answer
213
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 ...
- 64k
6
votes
0
answers
267
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 ...
- 64k
19
votes
1
answer
414
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 ...
- 64k
8
votes
2
answers
421
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 ...
- 64k
6
votes
3
answers
784
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,115
9
votes
2
answers
739
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) ...
- 511
3
votes
2
answers
226
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,901
15
votes
2
answers
361
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,901
17
votes
2
answers
557
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 $\...
- 66.8k
7
votes
1
answer
216
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 ...
- 660
10
votes
0
answers
510
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. ...
- 1,569