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

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