conference object
Categories of set
Constant functor
Final coalgebra
Identity functor
Partially defined end...