Michael Shulman eso-generator

A family FF of objects in a 2-category KK with finite limits is said to be eso-generating if for any ff m:ABm:A\to B in KK, if every morphism GBG\to B for GFG\in F factors through mm, then mm is an equivalence.


  • When KK is a 1-category, this reduces to the usual notion of strong generator.

  • In CatCat, the singleton family {1}\{1\} 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.