The \({\mathcal {HS}} = {\mathcal {SH}}\) problem for coalgebras (Q607460): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Algebra and Coalgebra in Computer Science / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Types and coalgebraic structure / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3208855 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3867821 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5574731 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5639842 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2752015 / rank | |||
Normal rank |
Latest revision as of 12:44, 3 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The \({\mathcal {HS}} = {\mathcal {SH}}\) problem for coalgebras |
scientific article |
Statements
The \({\mathcal {HS}} = {\mathcal {SH}}\) problem for coalgebras (English)
0 references
22 November 2010
0 references
It has been shown by \textit{H. P. Gumm} and \textit{T. Schröder} [Algebra Univers. 53, No.~2--3, 229--252 (2005; Zbl 1086.08002)] that, given a set functor \(T\), if \(T\) preserves preimages then \({\mathcal {HS}}(K)={\mathcal {SH}}(K)\) for every class \(K\) of \(T\)-coalgebras, and the converse implication holds if \(|T1|>1\) (i.e., if \(T\)-coalgebras have nontrivial behaviour -- if \(|T1|=1\), then the identity map on the singleton set is a final \(T\)-coalgebra). The authors of the present paper remark that the converse implication fails if \(|T1|=1\), a counterexample being the functor \({\mathcal C}_{0,1}\) sending the empty set to itself and all other sets to a singleton, and suggest that in the general case, \({\mathcal {HS}}={\mathcal {SH}}\) might be equivalent to \(T\) preserving \textit{non-empty} preimages. They prove a partial case of this conjecture, namely for \(T\) failing to preserve non-empty preimages on undistinguished points, where a point is distinguished if it is in the image of a natural transformation \({\mathcal C}_{0,1}\to T\). Further partial results are given for the remaining case (\(T\) failing to preserve non-empty preimages but preserving them on undistinguished points).
0 references
coalgebra
0 references
set endofunctors
0 references
subcoalgebras
0 references
homomorphic images
0 references
preservation of preimages
0 references