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:A→Bm:A\to B in KK, if every morphism G→BG\to B for G∈FG\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.