CatGloss

$ in the sense of SS11.9. Define $ f^{}!:!A^{}!to!Omega $ by putting $ f^{*}(s)=mathop{bigsqcup}limits_{ain A}