# Questions tagged [accessible-categories]

The accessible-categories tag has no usage guidance.

**7**

votes

**0**answers

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

**2**answers

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

**0**answers

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

**2**answers

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

**1**answer

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

**1**answer

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

**4**answers

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

**1**answer

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

**1**answer

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

**3**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**6**answers

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

**1**answer

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