I've been reading a paper on accessible categories, saturation and categoricity by "Jiří Rosický" for quite some time, but I still cannot understand one detail: In the snippet below, in the Remark 1. why it is sufficient that the inclusion $\mathbf {\text Pure_\lambda}\cal K\to\cal K $ preserves $\lambda^+$-presentable objects ? If someone is interested, I have a yet one more (probably trivial problem) at the very end of the paper which I will add here, in case this question is not going to be closed.
2026-03-29 07:32:13.1774769533
A paper: Accessible categories, saturation and categoricity
62 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in CATEGORY-THEORY
- (From Awodey)$\sf C \cong D$ be equivalent categories then $\sf C$ has binary products if and only if $\sf D$ does.
- Continuous functor for a Grothendieck topology
- Showing that initial object is also terminal in preadditive category
- Is $ X \to \mathrm{CH}^i (X) $ covariant or contravariant?
- What concept does a natural transformation between two functors between two monoids viewed as categories correspond to?
- Please explain Mac Lane notation on page 48
- How do you prove that category of representations of $G_m$ is equivalent to the category of finite dimensional graded vector spaces?
- Terminal object for Prin(X,G) (principal $G$-bundles)
- Show that a functor which preserves colimits has a right adjoint
- Show that a certain functor preserves colimits and finite limits by verifying it on the stalks of sheaves
Related Questions in CARDINALS
- Ordinals and cardinals in ETCS set axiomatic
- max of limit cardinals smaller than a successor cardinal bigger than $\aleph_\omega$
- If $\kappa$ is a regular cardinal then $\kappa^{<\kappa} = \max\{\kappa, 2^{<\kappa}\}$
- Intuition regarding: $\kappa^{+}=|\{\kappa\leq\alpha\lt \kappa^{+}\}|$
- On finding enough rationals (countable) to fill the uncountable number of intervals between the irrationals.
- Is the set of cardinalities totally ordered?
- Show that $n+\aleph_0=\aleph_0$
- $COF(\lambda)$ is stationary in $k$, where $\lambda < k$ is regular.
- What is the cardinality of a set of all points on a line?
- Better way to define this bijection [0,1) to (0,1)
Related Questions in LIMITS-COLIMITS
- Show that a certain functor preserves colimits and finite limits by verifying it on the stalks of sheaves
- Prove that a "tensor product" principal $G$-bundle coincides with a "pullback" via topos morphism
- What prevents me from starting the cone in the objects mapped by the diagram
- Two morphisms $f, g : M \to L$ are equal as long as they are equal under the limit $L$.
- Separating coproducts by its index set
- Preservation of coproducts by coproducts
- Categorification of commutative sum
- Colimit of a directed system of modules
- Pullback square with two identical sides
- Subring of an inverse limit is the entire thing if maps to pieces are surjective
Related Questions in LOCALLY-PRESENTABLE-CATEGORIES
- Locally finitely presented category
- Isomorphisms in a reflective subcategory
- Nearly locally presentable categories
- Dual version of Adjoint Functor theorems
- WIth pushout each orthogonality class is an injectivity class
- Categories/Varieties and Monads
- Reflections in locally presentable categories
- Is the category of chain complexes over an ring $R$ a locally presentable category?
- W-split coequalizers
- Reflections in locally presentable categories-unclear step in the proof
Related Questions in ACCESSIBLE-CATEGORIES
- Existence of morphisms in a free completion under directed colimits,$\lambda$-accessible category
- Morita theory for algebras for a monad $T$
- $\lambda$-pure morphisms in $\lambda$-accessible categories are monos, unclear proof
- $\lambda$-accessible categories, unclear proof
- Is the 2-Category of Groupoids Locally Presentable?
- Question about accessibility of category of free abelian groups.
- Category of accessible functors and its closedness
- Galois types, factorization
- Galois types, factorization 2
- Adjointenes of unknown functors
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?



You also need that $\mathbf{Pure}_\lambda \mathcal{K}$ is $\lambda^+$-accessible, as is mentioned in that remark. Now let $f: K \to L$ be an arrow in $\mathcal{K}$ where $K$ is $\lambda^+$-presentable. Then, as an object in $\mathbf{Pure}_\lambda \mathcal{K}$, we have that $L$ is a $\lambda^+$-directed colimit of $\lambda^+$-presentable objects, so $L = \operatorname{colim}_{i \in I} X_i$ for some $\lambda^+$-directed diagram $(X_i)_{i \in I}$. Here we used that $\mathbf{Pure}_\lambda \mathcal{K}$ is $\lambda^+$-accessible. Note that $\mathbf{Pure}_\lambda \mathcal{K}$ is closed under $\lambda^+$-directed colimits in $\mathcal{K}$, this is always the case (see also point (1) in remark 1 of the paper you ask about). So we have that $L = \operatorname{colim}_{i \in I} X_i$ in $\mathcal{K}$ as well. Since $K$ is $\lambda^+$-presentable and $(X_i)_{i \in I}$ is a $\lambda^+$-directed colimit, we have that $f: K \to L$ factorises as $K \xrightarrow{g} X_i \xrightarrow{h} L$ for some $i \in I$. The arrow $h$ comes from the colimiting cocone and is thus $\lambda$-pure. The object $X_i$ is $\lambda^+$-presentable in $\mathbf{Pure}_\lambda \mathcal{K}$, and by assumption the inclusion preserves $\lambda^+$-presentable objects, so $X_i$ is $\lambda^+$-presentable in $\mathcal{K}$. So we have fulfilled the definition of being weakly $\lambda$-stable, where $X_i$ plays the role of $K'$.