Skip to main content
added 209 characters in body
Source Link
Simon Henry
  • 42.4k
  • 5
  • 107
  • 205

The case of algebras for a monad is discussed explicitly in Gregory Bird's thesisGregory Bird's thesis (see theorem 6.9). The case of the categories of algebras for an endofunctor or pointed endofunctor can be deduced from the fact that if $F$ is a (pointed) endofunctor on $C$, then $F$-Alg $\rightarrow C$ obviously satisfies the condition of Beck's monadicity theorem, and the induced monad preserves $\lambda$-filtered colimits if $F$ does. All this works for any regular $\lambda$, even $\omega$.

One has a natural functor $M_0$-coalg to $E$ which sends each $M_0$-algebra to the pair of maps $X \rightrightarrows M_0^2 $ corresponding to square defining $M$-algebras and another functor from $M_0^2$-Coalg to $E$ that sends each $f:X \rightarrow M^2_0(X)$ to $(X,f,f)$. taking the (pseudo)pullback of these two functors give us exactly the category of $M_0$-coalgebras compatible with the comultiplication of $M$. Both these functors clearly preserve all colimits and $\lambda$-presentable objects, so by the results mentioned above, this category is locally $\lambda$-presentable. Combining this with the case of copointed endofunctors we obtain the result.

I've included this material with a bit more details and other related results in appendix A of this paper.

The case of algebras for a monad is discussed explicitly in Gregory Bird's thesis (see theorem 6.9). The case of the categories of algebras for an endofunctor or pointed endofunctor can be deduced from the fact that if $F$ is a (pointed) endofunctor on $C$, then $F$-Alg $\rightarrow C$ obviously satisfies the condition of Beck's monadicity theorem, and the induced monad preserves $\lambda$-filtered colimits if $F$ does. All this works for any regular $\lambda$, even $\omega$.

One has a natural functor $M_0$-coalg to $E$ which sends each $M_0$-algebra to the pair of maps $X \rightrightarrows M_0^2 $ corresponding to square defining $M$-algebras and another functor from $M_0^2$-Coalg to $E$ that sends each $f:X \rightarrow M^2_0(X)$ to $(X,f,f)$. taking the (pseudo)pullback of these two functors give us exactly the category of $M_0$-coalgebras compatible with the comultiplication of $M$. Both these functors clearly preserve all colimits and $\lambda$-presentable objects, so by the results mentioned above, this category is locally $\lambda$-presentable. Combining this with the case of copointed endofunctors we obtain the result.

The case of algebras for a monad is discussed explicitly in Gregory Bird's thesis (see theorem 6.9). The case of the categories of algebras for an endofunctor or pointed endofunctor can be deduced from the fact that if $F$ is a (pointed) endofunctor on $C$, then $F$-Alg $\rightarrow C$ obviously satisfies the condition of Beck's monadicity theorem, and the induced monad preserves $\lambda$-filtered colimits if $F$ does. All this works for any regular $\lambda$, even $\omega$.

One has a natural functor $M_0$-coalg to $E$ which sends each $M_0$-algebra to the pair of maps $X \rightrightarrows M_0^2 $ corresponding to square defining $M$-algebras and another functor from $M_0^2$-Coalg to $E$ that sends each $f:X \rightarrow M^2_0(X)$ to $(X,f,f)$. taking the (pseudo)pullback of these two functors give us exactly the category of $M_0$-coalgebras compatible with the comultiplication of $M$. Both these functors clearly preserve all colimits and $\lambda$-presentable objects, so by the results mentioned above, this category is locally $\lambda$-presentable. Combining this with the case of copointed endofunctors we obtain the result.

I've included this material with a bit more details and other related results in appendix A of this paper.

fixed typos and grammar for this new answer
Source Link
David White
  • 30.3k
  • 9
  • 154
  • 250

The case of algebraalgebras for a monadsmonad is discussed explicitelyexplicitly in Gregory BirdBird's thesis (see theorem 6.9). The case of the categories of algebras for an endofunctor or pointed endofunctor can be deduced from the fact that if $F$ is a (pointed) endofunctor on $C$, then $F$-Alg $\rightarrow C$ obviously satisfies the condition of Beck's monadicity theorem, and the induced monad preserves $\lambda$-filtered colimits if $F$ does. All this works for any regular $\lambda$, even $\omega$.

For the case of coalgebracoalgebras, Jiří Rosický pointed out the key references to me by email:

Theorem: Let $A$ be a $\lambda$-accessible category that admits colimits of $\omega$-chainchains, and let $F: A \rightarrow A$ be a $\lambda$-accessible endofunctor. Then:

Theorem: If $F$ is a $\lambda$-accessible copointed endofunctor or comonadscomonad on a locally $\lambda$-presentable $A$, then:

Indeed, this can be deduced from the corollary above using that (for $\lambda$ an uncountable cardinal) the category of $\lambda$-presentable categories and left adjoint functorfunctors between them preserving $\lambda$-presentable objects is closed under $\lambda$-small cat weighted pseudo-limits:. The category of $M$-coalgberacoalgebras for a copointed endofunctor $M$ can be constructed as a full subcategory of the category of $M_0$-coalgebra where $M_0$ is the underlying endofunctor of $M$ as the equifierequifier of $Id,v:U \rightrightarrows U$ where $U:M_0\text{-Coalg} \rightarrow C$ is the forgetful functor, and $v$ is the natural transforationtransformation which on each $M_0$-coalgebra $X$ is the composite $X \rightarrow M(X) \rightarrow X$.

When $M$ is a comonad this is a bit more complicated as we would like to take the equifier of the two natural transformation $X \rightrightarrows M_0^2(X)= M_0(M_0(X))$ corresponding to the two side of the usual square, but as $F^S$ is not a left adjoint functor we cannot directly conclude using 2-limits of diagramdiagrams of left adjoint functors.

One has a natural functor $M_0$-coalg to $E$ which sends each $M_0$-algebra to the pair of maps $X \rightrightarrows M_0^2 $ corresponding to square defining $M$-algebras and another functor from $M_0^2$-Coalg to $E$ that sends each $f:X \rightarrow M^2_0(X)$ to $(X,f,f)$. taking the (pseudo)pullback of these two functors give us exacltyexactly the category of $M_0$-coalgebracoalgebras compatible towith the comultiplication of $M$. Both these functorfunctors clearly preservespreserve all colimits and $\lambda$-presentable objects, so by the results mentioned above, this category is locally $\lambda$-presentable. Combining this with the case of copointed endofunctorendofunctors we obtain the resultsresult.

as an endofunctor of the category of sets (with the direct image functoriality) is a counter example to the first theorem in the case $\lambda=\omega$. That is the category of $\mathcal{P}_f$ coalgebra is not finitely accessible. For the case of comonads, there seems to be a counter-example in the comments of the questionsquestion.

The case of algebra for a monads is discussed explicitely in Gregory Bird thesis (see theorem 6.9). The case of the categories of algebras for an endofunctor or pointed endofunctor can be deduced from the fact that if $F$ is a (pointed) endofunctor on $C$, then $F$-Alg $\rightarrow C$ obviously satisfies the condition of Beck's monadicity theorem, and the induced monad preserves $\lambda$-filtered colimits if $F$ does. All this works for any regular $\lambda$, even $\omega$.

For the case of coalgebra, Jiří Rosický pointed the key references to me by email:

Theorem: Let $A$ be a $\lambda$-accessible category that admits colimits of $\omega$-chain, and let $F: A \rightarrow A$ be a $\lambda$-accessible endofunctor. Then:

Theorem: If $F$ is a $\lambda$-accessible copointed endofunctor or comonads on a locally $\lambda$-presentable $A$, then:

Indeed, this can be deduced from the corollary above using that (for $\lambda$ an uncountable cardinal) the category of $\lambda$-presentable categories and left adjoint functor between them preserving $\lambda$-presentable objects is closed under $\lambda$-small cat weighted pseudo-limits: The category of $M$-coalgbera for copointed endofunctor $M$ can be constructed as a full subcategory of the category of $M_0$-coalgebra where $M_0$ is the underlying endofunctor of $M$ as the equifier of $Id,v:U \rightrightarrows U$ where $U:M_0\text{-Coalg} \rightarrow C$ is the forgetful functor, and $v$ is the natural transforation which on each $M_0$-coalgebra $X$ is the composite $X \rightarrow M(X) \rightarrow X$.

When $M$ is a comonad this is a bit more complicated as we would like to take the equifier of the two natural transformation $X \rightrightarrows M_0^2(X)= M_0(M_0(X))$ corresponding to the two side of the usual square, but as $F^S$ is not a left adjoint functor we cannot directly conclude using 2-limits of diagram of left adjoint functors.

One has a natural functor $M_0$-coalg to $E$ which sends each $M_0$-algebra to the pair of maps $X \rightrightarrows M_0^2 $ corresponding to square defining $M$-algebras and another functor from $M_0^2$-Coalg to $E$ that sends each $f:X \rightarrow M^2_0(X)$ to $(X,f,f)$. taking the (pseudo)pullback of these two functors give us exaclty the category of $M_0$-coalgebra compatible to the comultiplication of $M$. Both these functor clearly preserves all colimits and $\lambda$-presentable objects, so by the results mentioned above, this category is locally $\lambda$-presentable. Combining this with the case of copointed endofunctor we obtain the results.

as an endofunctor of the category of sets (with the direct image functoriality) is a counter example to the first theorem in the case $\lambda=\omega$. That is the category of $\mathcal{P}_f$ coalgebra is not finitely accessible. For the case of comonads, there seems to be a counter-example in the comments of the questions.

The case of algebras for a monad is discussed explicitly in Gregory Bird's thesis (see theorem 6.9). The case of the categories of algebras for an endofunctor or pointed endofunctor can be deduced from the fact that if $F$ is a (pointed) endofunctor on $C$, then $F$-Alg $\rightarrow C$ obviously satisfies the condition of Beck's monadicity theorem, and the induced monad preserves $\lambda$-filtered colimits if $F$ does. All this works for any regular $\lambda$, even $\omega$.

For the case of coalgebras, Jiří Rosický pointed out the key references to me by email:

Theorem: Let $A$ be a $\lambda$-accessible category that admits colimits of $\omega$-chains, and let $F: A \rightarrow A$ be a $\lambda$-accessible endofunctor. Then:

Theorem: If $F$ is a $\lambda$-accessible copointed endofunctor or comonad on a locally $\lambda$-presentable $A$, then:

Indeed, this can be deduced from the corollary above using that (for $\lambda$ an uncountable cardinal) the category of $\lambda$-presentable categories and left adjoint functors between them preserving $\lambda$-presentable objects is closed under $\lambda$-small cat weighted pseudo-limits. The category of $M$-coalgebras for a copointed endofunctor $M$ can be constructed as a full subcategory of the category of $M_0$-coalgebra where $M_0$ is the underlying endofunctor of $M$ as the equifier of $Id,v:U \rightrightarrows U$ where $U:M_0\text{-Coalg} \rightarrow C$ is the forgetful functor, and $v$ is the natural transformation which on each $M_0$-coalgebra $X$ is the composite $X \rightarrow M(X) \rightarrow X$.

When $M$ is a comonad this is a bit more complicated as we would like to take the equifier of the two natural transformation $X \rightrightarrows M_0^2(X)= M_0(M_0(X))$ corresponding to the two side of the usual square, but as $F^S$ is not a left adjoint functor we cannot directly conclude using 2-limits of diagrams of left adjoint functors.

One has a natural functor $M_0$-coalg to $E$ which sends each $M_0$-algebra to the pair of maps $X \rightrightarrows M_0^2 $ corresponding to square defining $M$-algebras and another functor from $M_0^2$-Coalg to $E$ that sends each $f:X \rightarrow M^2_0(X)$ to $(X,f,f)$. taking the (pseudo)pullback of these two functors give us exactly the category of $M_0$-coalgebras compatible with the comultiplication of $M$. Both these functors clearly preserve all colimits and $\lambda$-presentable objects, so by the results mentioned above, this category is locally $\lambda$-presentable. Combining this with the case of copointed endofunctors we obtain the result.

as an endofunctor of the category of sets (with the direct image functoriality) is a counter example to the first theorem in the case $\lambda=\omega$. That is the category of $\mathcal{P}_f$ coalgebra is not finitely accessible. For the case of comonads, there seems to be a counter-example in the comments of the question.

added 1536 characters in body
Source Link
Simon Henry
  • 42.4k
  • 5
  • 107
  • 205

Indeed, this can be deduced from the corollary above using that (for $\lambda$ an uncountable cardinal) the category of $\lambda$-presentable categories and left adjoint functor between them preserving $\lambda$-presentable objects is closed under $\lambda$-small cat weighted pseudo-limits: The category of $M$-coalgbera for a comonad or copointed endofunctor $M$ can be constructed as a full subcategory of the category of $M_0$-coalgebra where $M_0$ is the underlying endofunctor of $M$ as the intersectionequifier of various$Id,v:U \rightrightarrows U$ where $U:M_0\text{-Coalg} \rightarrow C$ is the forgetful functor, and $v$ is the natural transforation which on each $M_0$-coalgebra $X$ is the composite $X \rightarrow M(X) \rightarrow X$.

When $M$ is a comonad this is a bit more complicated as we would like to take the equifier of the two natural transformation (that$X \rightrightarrows M_0^2(X)= M_0(M_0(X))$ corresponding to the two side of the usual square, but as $F^S$ is not a specialleft adjoint functor we cannot directly conclude using 2-limits of finite catdiagram of left adjoint functors.

Instead we consider the category: $$E=\{X \in C, v_1,v_2:X \rightrightarrows M_0^2(X) \}$$

which is the category of coalgebra for the endofunctor: $$ X \mapsto M_0^2(X) \times M_O(X)^2$$

which is indeed $\lambda$-weighted pseudoaccessible, so $E$ is locally $\lambda$-limitpresentable and its $\lambda$-presentable objects are these whose underlying object $X$ is $\lambda$-presentable.

One has a natural functor $M_0$-coalg to $E$ which sends each $M_0$-algebra to the pair of maps $X \rightrightarrows M_0^2 $ corresponding to square defining $M$-algebras and another functor from $M_0^2$-Coalg to $E$ that sends each $f:X \rightarrow M^2_0(X)$ to $(X,f,f)$. taking the (pseudo)pullback of these two functors give us exaclty the category of $M_0$-coalgebra compatible to the comultiplication of $M$. Both these functor clearly preserves all colimits and $\lambda$-presentable objects, so by the results mentioned above, this category is locally $\lambda$-presentable. Combining this with the case of copointed endofunctor we obtain the results.

 

Indeed, this can be deduced from the corollary above using that (for $\lambda$ an uncountable cardinal) the category of $\lambda$-presentable categories and left adjoint functor between them preserving $\lambda$-presentable objects is closed under $\lambda$-small cat weighted pseudo-limits: The category of $M$-coalgbera for a comonad or copointed endofunctor $M$ can be constructed as a full subcategory of the category of $M_0$-coalgebra where $M_0$ is the underlying endofunctor of $M$ as the intersection of various equifier (that is a special of finite cat-weighted pseudo-limit).

Indeed, this can be deduced from the corollary above using that (for $\lambda$ an uncountable cardinal) the category of $\lambda$-presentable categories and left adjoint functor between them preserving $\lambda$-presentable objects is closed under $\lambda$-small cat weighted pseudo-limits: The category of $M$-coalgbera for copointed endofunctor $M$ can be constructed as a full subcategory of the category of $M_0$-coalgebra where $M_0$ is the underlying endofunctor of $M$ as the equifier of $Id,v:U \rightrightarrows U$ where $U:M_0\text{-Coalg} \rightarrow C$ is the forgetful functor, and $v$ is the natural transforation which on each $M_0$-coalgebra $X$ is the composite $X \rightarrow M(X) \rightarrow X$.

When $M$ is a comonad this is a bit more complicated as we would like to take the equifier of the two natural transformation $X \rightrightarrows M_0^2(X)= M_0(M_0(X))$ corresponding to the two side of the usual square, but as $F^S$ is not a left adjoint functor we cannot directly conclude using 2-limits of diagram of left adjoint functors.

Instead we consider the category: $$E=\{X \in C, v_1,v_2:X \rightrightarrows M_0^2(X) \}$$

which is the category of coalgebra for the endofunctor: $$ X \mapsto M_0^2(X) \times M_O(X)^2$$

which is indeed $\lambda$-accessible, so $E$ is locally $\lambda$-presentable and its $\lambda$-presentable objects are these whose underlying object $X$ is $\lambda$-presentable.

One has a natural functor $M_0$-coalg to $E$ which sends each $M_0$-algebra to the pair of maps $X \rightrightarrows M_0^2 $ corresponding to square defining $M$-algebras and another functor from $M_0^2$-Coalg to $E$ that sends each $f:X \rightarrow M^2_0(X)$ to $(X,f,f)$. taking the (pseudo)pullback of these two functors give us exaclty the category of $M_0$-coalgebra compatible to the comultiplication of $M$. Both these functor clearly preserves all colimits and $\lambda$-presentable objects, so by the results mentioned above, this category is locally $\lambda$-presentable. Combining this with the case of copointed endofunctor we obtain the results.

 
added 2 characters in body
Source Link
Simon Henry
  • 42.4k
  • 5
  • 107
  • 205
Loading
added 438 characters in body
Source Link
Simon Henry
  • 42.4k
  • 5
  • 107
  • 205
Loading
Source Link
Simon Henry
  • 42.4k
  • 5
  • 107
  • 205
Loading