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.
Last revised on September 22, 2024 at 23:30:04. See the history of this page for a list of all contributions to it.