On coalgebra based on classes
| dc.creator | Adamek, J. | |
| dc.creator | Milius, S. | |
| dc.creator | Velebil, J. | |
| dc.date | 2003-06-20 | |
| dc.date.accessioned | 2026-07-07T03:19:57Z | |
| dc.date.available | 2026-07-07T03:19:57Z | |
| dc.description | Every endofunctor of the category of classes is proved to be set-based in the sense of Aczel and Mendler, therefore, it has a final coalgebra. Other basic properties of these endofunctors are proved, e.g. the existence of a free completely iterative theory. | |
| dc.identifier | https://arxiv.org/abs/cs/0306118 | |
| dc.identifier | http://arxiv.org/abs/cs/0306118 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/31666 | |
| dc.subject | Logic in Computer Science | |
| dc.subject | F.4.1 | |
| dc.title | On coalgebra based on classes | |
| dc.type | text |