CatGloss

An arrow $ i:esmash{mathop{rightarrow}limits^{rightarrow}}a $ in $ mathcal{C} $ is an equaliser of a pair $ f