Least fixed point of a functor
scientific article; zbMATH DE number 3657992
scientific article