Expanding upon Remark 2.5.1.1.2 and Remark 2.5.2.1.2, we may view the characteristic relation

χX(1,2):X×X{t,f}

of X as a decategorification of the Hom profunctor

HomC(1,2):Cop×CSets

of a category C.


Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: