Questions tagged [accessible-categories]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
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 ...
user avatar
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 ...
user avatar
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 ...
user avatar
  • 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}$,...
user avatar
  • 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 ...
user avatar
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/...
user avatar
  • 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 $\...
user avatar
  • 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 ...
user avatar
  • 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 ...
user avatar
  • 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. ...
user avatar
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 ...
user avatar
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 ...
user avatar
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 ...
user avatar
  • 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) = \...
user avatar
  • 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 ...
user avatar
  • 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,...
user avatar
  • 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)...
user avatar
  • 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 ...
user avatar
  • 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 ...
user avatar
  • 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) ...
user avatar
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)
user avatar
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 ...
user avatar
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 $\...
user avatar
  • 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 ...
user avatar
  • 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 ...
user avatar
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 ...
user avatar
  • 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 $...
user avatar
  • 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 ...
user avatar
  • 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 ...
user avatar
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 ...
user avatar
  • 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'...
user avatar
  • 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 $\...
user avatar
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 $...
user avatar
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 ...
user avatar
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 ...
user avatar
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)...
user avatar
  • 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 $\...
user avatar
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 ...
user avatar
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},...
user avatar
  • 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. ...
user avatar
  • 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$-...
user avatar
  • 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}_\...
user avatar
  • 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 ...
user avatar
  • 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 ...
user avatar
  • 18.8k