A family of objects in a 2-category with finite limits is said to be eso-generating if for any ff in , if every morphism for factors through , then is an equivalence.
When is a 1-category, this reduces to the usual notion of strong generator.
In , the singleton family is eso-generating.
Created on February 16, 2009 at 19:40:13. See the history of this page for a list of all contributions to it.