The slice classification of categories of coalgebras for comonads
type: Item
instance of: scholarly article
title: The slice classification of categories of coalgebras for comonads
zbMATH Open document ID: 0970.18003
author: S. H. Dalalyan
author: Arshak Petrosyan
published in: Algebra Universalis
publication date: 2001-06-10T00:00:00Z
review text: A functor \(H:{\mathcal H}_1 \to {\mathcal H}_2\) is a slice of a functor \(K: {\mathcal K}_1 \to {\mathcal K}_2\) if there are faithful functors \(\Phi _i : {\mathcal H}_i \to {\mathcal K}_i \;(i=1,2)\) such that the corresponding diagrams of hom-sets are pullbacks in \({\mathcal S}et\). Functors \(H\) and \(K\) are slice-equivalent if \(H\) and \(K\) are slices of one another. Comonads are dual to monads: a comonad \(G=(G,\varepsilon ,\delta)\) over \({\mathcal S}et\) consists of a functor \(G:{\mathcal S}et\to {\mathcal S}et\) and natural transformations \(\varepsilon :G\to I, \delta : G\to G^2\) such that \(\varepsilon G \circ \delta = G \varepsilon \circ \delta = 1_G\) and \(\delta G\circ \delta = G \delta \circ \delta \). A \(G\)-coalgebra for a comonad \(G\) over \({\mathcal S}et\) is a pair \((Y,k)\) where \(Y\) is a set and \(k:Y\to G(Y)\) satisfies \(\varepsilon _Y\circ k = 1_Y\) and \(\delta _Y\circ k = G(k) \circ k\). The main result: The category of coalgebras for a comonad \(G=(G,\varepsilon , \delta)\) belongs to the basket \(A\) (containing the category of all universal algebras of a given type and the category of all compact Hausdorff spaces) iff the comonad \(G\) is non-degenerate (i.e., its functorial part is not a product of the identity functor \(I\) and a constant functor).
reviewed by: Ivan Chajda
Mathematics Subject Classification ID: 18A22
Mathematics Subject Classification ID: 08C05
Mathematics Subject Classification ID: 18C15
Mathematics Subject Classification ID: 18B15
zbMATH DE Number: 1602882
zbMATH Keywords: functor slices
zbMATH Keywords: comonads
zbMATH Keywords: epitransformations
zbMATH Keywords: coalgebras
zbMATH Keywords: universal algebras
zbMATH Keywords: compact Hausdorff spaces
MaRDI profile type: MaRDI publication profile
full work available at URL: s000120050108
OpenAlex ID: W2025078500
DOI: 10.1007/S000120050108
Recommended article: On the structure of categories of coalgebras
Recommended article: Slices of essentially algebraic categories
Recommended article: A note on model (co)slice categories
Recommended article: Coalgebras in a category of classes
Recommended article: Q5208691
Recommended article: Equivalences of comodule categories for coalgebras over rings
Recommended article: On universal categories of coalgebras
Recommended article: Coalgebroids in monoidal bicategories and their comodules
Recommended article: Theoretical Aspects of Computing – ICTAC 2005
Recommended article: Q4222954
description: scientific article; zbMATH DE number 1602882