On the equivalence invariance of formal category theory

Paula Verdugo

We prove a result of equivalence invariance of formal category theory for statements that can be expressed within an equipment. To do this, we exploit Henry and Bardomiano Martíne…