<abstract xmlns="http://www.w3.org/1999/xhtml">Given an endofunctor F of an arbitrary category, any maximal element of the lattice of congruence relations on an F-coalgebra (A, a) is called a coatomic congruence relation on (A, a). Besides, a coatomic congruence relation K is said to be factor split if the canonical homomor-phism ν : AK → A<italic>∇</italic>A splits, where <italic>∇</italic>A is the largest congruence relation on (A, a). Assuming that F is a covarietor which preserves regular monos, we prove under suitable assumptions on the underlying category that, every quotient coalgebra can be made extensional by taking the regular quotient of an F-coalgebra with respect to a coatomic and not factor split congruence relation or its largest congruence relation.</abstract>

Given an endofunctor F of an arbitrary category, any maximal element of the lattice of congruence relations on an F-coalgebra (A, a) is called a coatomic congruence relation on (A, a). Besides, a coatomic congruence relation K is said to be factor split if the canonical homomor-phism ν : AK → A∇A splits, where ∇A is the largest congruence relation on (A, a). Assuming that F is a covarietor which preserves regular monos, we prove under suitable assumptions on the underlying category that, every quotient coalgebra can be made extensional by taking the regular quotient of an F-coalgebra with respect to a coatomic and not factor split congruence relation or its largest congruence relation.

Extensional quotient coalgebras

Department of Mathematics, Faculty of Science

Acta Universitatis Sapientiae, Mathematica

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

{"article-title":"Extensional quotient coalgebras"}

Given an endofunctor F of an arbitrary category, any maximal element of the lattice of congruence relations on an F-coalgebra (A, a) is called a coatomic...

Extensional quotient coalgebras

Published Online: Mar 07, 2018

Page range: 303 - 323

Received: Aug 01, 2015

DOI: https://doi.org/10.1515/ausm-2017-0023

Keywords
bisimulation, congruence relation

© 2017 Jean-Paul Mavoungou, published by De Gruyter Open

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Extensional quotient coalgebras

Published Online: Mar 07, 2018

Page range: 303 - 323

Received: Aug 01, 2015

DOI: https://doi.org/10.1515/ausm-2017-0023

Keywordsbisimulation, congruence relation

© 2017 Jean-Paul Mavoungou, published by De Gruyter Open

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Keywords
bisimulation, congruence relation