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.

Last revised on September 22, 2024 at 23:30:04. See the history of this page for a list of all contributions to it.