CatGloss
Recall that a truth value in $ mathscr{E} $ is an arrow $ 1toOmega $ and that $ mathscr{E}(1