Questions tagged [accessible-categories]
The accessible-categories tag has no usage guidance.
44
questions
4
votes
1
answer
172
views
When is the Eilenberg-Moore category of a monad on an ind-category itself an ind-category?
I have a monad on an ind-category (specifically, my ind-category has a monoidal structure and I have an algebra object, so the monad is tensoring with it). It would be very useful in my work if the ...
4
votes
0
answers
146
views
Which categories of presheaves are algebraically cocomplete?
We say that a category is algebraically complete when every endofunctor has an initial algebra. Similarly, a category is algebraically cocomplete when every endofunctor has a final coalgebra.
Assuming ...
- 305
10
votes
2
answers
275
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 ...
- 49.6k
11
votes
3
answers
541
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
5
votes
1
answer
243
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 ...
- 519
3
votes
0
answers
60
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/...
- 5,075
4
votes
1
answer
296
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 $\...
- 49.6k
13
votes
2
answers
395
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 ...
- 49.6k
6
votes
1
answer
175
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 ...
- 49.6k
4
votes
1
answer
174
views
Almost combinatorial accessible model categories
Theorem: Assume VP. Let $\mathcal{M}$ be an accessible model category
such that there exists a set of generating cofibrations $I$ and such
that all objects are fibrant. Then it is combinatorial.
...
- 3,432
3
votes
0
answers
93
views
Accessible 2-category of presheaves
Let $A$ be a locally small category and let $\mathbf{Cat}$ be the 2-category of small categories, functors and natural transformations and let $Ps(A)$ be the 2-category of presheaves (the objects are ...
- 307
1
vote
1
answer
288
views
How do you prove that the category of weak equivalences of sSet is accessible?
I am trying to prove that the category of simplicial sets is a combinatorial model category by using Proposition A.2.6.15 of Lurie's book, and this requires proving that the weak equivalences are ...
6
votes
0
answers
219
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 ...
- 49.6k
9
votes
2
answers
295
views
When is the homotopy category of an accessible $\infty$-category accessible?
Let $\mathcal C$ be an accessible $\infty$-category, and let $ho(\mathcal C)$ be its homotopy category. I can think of two "trivial" reasons for $ho(\mathcal C)$ to be accessible:
$ho(\mathcal C) = \...
- 49.6k
15
votes
0
answers
251
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 ...
- 49.6k
11
votes
1
answer
408
views
Does the homotopy category of spaces admit a weak generating set?
As a follow-up to this question, let $\mathcal C$ be a category and $\mathcal S \subseteq \mathcal C$ a class of objects. Say that $\mathcal S$ is weakly generating if the functors $Hom_{\mathcal C}(S,...
- 49.6k
14
votes
1
answer
444
views
presentability rank of categories of coalgebras
The following theorem is relatively classical:
Theorem: Given an accessible endofunctor, (co)pointed endofunctor or (co)monad $T$ on a locally presentable category $C$, then the category of $T$-(co)...
- 32.5k
8
votes
2
answers
385
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 ...
- 49.6k
6
votes
3
answers
600
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,025
10
votes
2
answers
667
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) ...
- 413
3
votes
1
answer
173
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,432
14
votes
2
answers
309
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,432
17
votes
2
answers
487
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 $\...
- 59.5k
14
votes
2
answers
302
views
Is every accessible category well-powered?
Every locally presentable category is well-powered: since it is a full reflective subcategory of a presheaf topos, its subobject lattices are subsets of those of the latter.
Every accessible category ...
- 59.5k
7
votes
1
answer
276
views
Stability of accessible $\infty$-categories under some operations
I'm reading through Higher Topos Theory, and I can't make sense of a few proofs in the sections about accessible $\infty$-categories.
In Proposition 5.4.4.3, Lemma 5.4.4.2 is used, but I don't see ...
- 953
3
votes
2
answers
175
views
Example: Accessible category without colimits
I am looking for intuitive examples of the way(s) that colimits may fail to exist in the category of (Set-valued) models for a limit/colimit sketch.
Bonus points if the sketch and/or the colimit ...
- 31
5
votes
0
answers
131
views
When is $Ind(C)$ small?
Let $C$ be a small category. Then $Ind(C)$ is the free completion of $C$ under filtered colimits. My sense is that typically, $Ind(C)$ is a large category. But sometimes it is small. For example, if $...
- 49.6k
11
votes
2
answers
856
views
What are the reflective subcategories of the category of presentable categories?
I am actually interested in the $\infty$-categorical case, but the same question is meaningful in the $1$-categorical situation as well.
A nice property of presentable $\infty$-categories is that if ...
- 2,180
5
votes
1
answer
167
views
Can I check the accessibility of a functor on directed colimits of presentable objects?
Let $F: \mathcal{K} \to \mathcal{C}$ be a functor between $\lambda$-accessible categories, you can assume $\mathcal{C}$ to be Set if needed.
Is it true that $F$ is $\lambda$-accessible if and only if ...
- 7,429
7
votes
1
answer
195
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 ...
- 630
11
votes
4
answers
965
views
What was Burroni's sketch for topological spaces?
In a 1981 talk, René Guitart cites Albert Burroni as having given "A first interesting example of a mixed sketch...for the category of topological spaces" in 1970. This was apparently done in Burroni'...
- 1,801
5
votes
1
answer
99
views
About small $\omega$-orthogonality classes and Gabriel-Ulmer duality
I am reading the paper http://www.numdam.org/article/CTGDC_2001__42_1_51_0.pdf fixing the implication $(ii)\Rightarrow (i)$ of Theorem 1.39 of Adamek-Rosicky's book. The correct statement is: if $\...
- 3,432
4
votes
1
answer
181
views
About small-orthogonality classes of a locally presentable category
Let $\mathcal{A} \subset \mathcal{K}$ be two locally presentable
categories. $\mathcal{A}$ reflective and closed under filtered
colimits. Then $\mathcal{A}$ is a small-orthogonality class. Let
$...
- 3,432
4
votes
3
answers
345
views
About the Yoneda objects of a locally presentable category
This question is a follow-up of Extending functors defined on dense subcategories.
Let $\mathcal{K}$ be a locally presentable category. An object $X$ of
$\mathcal{K}$ is called a Yoneda object if ...
- 3,432
4
votes
1
answer
209
views
Intuition behind $\lambda$-pure subobjects
While reading about accessible categories in Locally Presentable and Accessible Categories I came accross the notion of $\lambda$-pure subobjects, which seem to be important while characterising ...
- 175
8
votes
1
answer
280
views
On the cardinal arithmetic of accessible categories
If $\lambda, \mu$ are regular cardinals, say that $\lambda \trianglelefteq \mu$ if $\lambda \leq \mu$ and
$$\forall X, \, |X| < \mu \implies \mathrm{cf} (P_\lambda(X)) < \mu$$
Here $P_\lambda(X)...
- 49.6k
7
votes
1
answer
406
views
What is known about the large cardinal strength of Shelah's categoricity conjecture?
Shelah's categoricity conjecture states that for every Abstract Elementary Class $\mathcal{K}$ there is a cardinal $\mu$ depending only on $\operatorname{LS}(K)$ (i.e. the Löwenheim–Skolem number of $\...
user82740
7
votes
0
answers
186
views
When are the categories of algebras over props (co)complete?
Suppose P is a (colored) prop in a closed symmetric monoidal locally presentable category C. Is the category Alg_P of algebras over P in C locally presentable?
It seems that one can relatively easy ...
- 30.3k
3
votes
0
answers
183
views
Preimages of accessible full subcategories
My question is ultimately about the model theory of $L_{\infty, \omega}$, but it is more convenient to phrase it in terms of category theory. Suppose I have finitely accessible categories $\mathcal{C},...
- 13.2k
10
votes
0
answers
488
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,519
3
votes
1
answer
327
views
Equivalence of the two definitions of k-compactness/k-presentability
We say that an object $X$ of a category $C$ is $\kappa$-compact (also $\kappa$-presentable and $\kappa$-accessible) for a cardinal $\kappa$ if $h^X(\cdot):=Hom(X,\cdot)$ commutes with all $\kappa$-...
- 18.8k
1
vote
1
answer
625
views
The poset of k-small downward-closed subposets of a poset P is k-filtered when k is a regular cardinal?
Let $\kappa$ be a cardinal, and let $P$ be a poset. Let $\mathcal{P}_\kappa(P)$ denote the poset of $\kappa$-small subposets of $P$ and let $\mathcal{P}_\kappa^\downarrow(P)\subseteq\mathcal{P}_\...
- 18.8k
28
votes
6
answers
4k
views
Reasons to believe Vopenka's principle/huge cardinals are consistent
There are a number of informal heuristic arguments for the consistency of ZFC, enough that I am happy enough to believe that ZFC is consistent. This is true for even some of the more tame large ...
- 18.8k
7
votes
2
answers
720
views
K-good trees and K-compactness of colimits over K-small downwards-closed subposets (500 point bounty if answered by Midnight EST))
Question:
Let $D:A\to (X\downarrow C)$ be a $\kappa$-good $S$-tree rooted at $X$ for a collection of morphisms $S$ in $C$, where $\kappa$ is a fixed uncountable regular cardinal. Then according to ...
- 18.8k