Generalised Coinduction, Falk Bartels
We introduce the λ-coiteration schema for a distributive law λ of a functor T over a functor F. Under certain conditions it can be shown to uniquely characterise functions into the carrier of a...
Under consideration for publication in Math. Struct. in Comp. Science (2007)
Generalised Coinduction, Falk Bartels
We introduce the -coiteration schema for a distributive law of a functor T over a functor F. Parameterised by T and it generalises the basic coiteration schema uniquely characterising functions into...
Generalised Coinduction (2000)
Generalised Coinduction, Falk Bartels
Final coalgebras of a functor F are suited for an abstract description of infinite datatypes and dynamical systems.