Toposes of Coalgebras and Hidden Algebras


There is a long tradition in computer science of modelling nite data types such as stacks and natural numbers by algebras More recently coalgebras which are dual to algebras have been used to model in nite data types and in operational semantics In this report we consider categories of coalgebras from the perspective of topos theory A mild generalisation of… (More)
DOI: 10.1016/S1571-0661(04)00060-X