Telecharger Cours

Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors

Abstract. Every endofunctor F of Set has an initial algebra and a final coalgebra, but they are classes in general. Consequently, the endofunctor F0 of the ...



Download