No results found for "the initial object theorem implies all adjoint functor theorems". Try a different search term.