Bi-Initial Object

An object X : ℬ : 𝑋 ℬ X:\mathcal{B} in a Bicategory ℬ ℬ \mathcal{B} is bi-initial when there is an for every A : ℬ : 𝐴 ℬ A:\mathcal{B} , the canonical functor X → A → 1 → 𝑋 𝐴 → 1 {{X}\to{A}}\to 1 to the Terminal Category is an Equivalence of Categories.