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 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 sp...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Sciendo
2017-12-01
|
| Series: | Acta Universitatis Sapientiae: Mathematica |
| Subjects: | |
| Online Access: | https://doi.org/10.1515/ausm-2017-0023 |