On the greatest xed point of a set functor (1995)

by J Adámek, V Koubek
Venue:Theor. Comp. Sci