Questions tagged [accessible-categories]
The accessible-categories tag has no usage guidance.
7
votes
0answers
86 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 ...
2
votes
2answers
116 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 ...
5
votes
0answers
119 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 $...
11
votes
2answers
433 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 ...
5
votes
1answer
141 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
votes
1answer
173 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 ...
8
votes
4answers
625 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'...
5
votes
1answer
83 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 $\...
4
votes
1answer
155 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
votes
3answers
231 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 ...
4
votes
1answer
187 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 ...
7
votes
1answer
235 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)...
7
votes
1answer
326 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 $\...
7
votes
0answers
174 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 ...
2
votes
0answers
155 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},...
9
votes
0answers
428 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. ...
3
votes
1answer
315 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$-...
1
vote
1answer
602 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}_\...
24
votes
6answers
3k 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 ...
7
votes
1answer
615 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 ...
