Bi-Initial Object
An object in a Bicategory is bi-initial when there is an for every , the canonical functor to the Terminal Category is an Equivalence of Categories.
An object in a Bicategory is bi-initial when there is an for every , the canonical functor to the Terminal Category is an Equivalence of Categories.