CatGloss
The arrow $ mathit{true} $ will often be denoted by the letter “ $ top $ “. A
subobject classifier