Homotopy Type Theory
opposite precategory (changes)

Showing changes from revision #0 to #1: Added | Removed | Changed


The opposite precategory is the precategory obtained by reversing the directions of the arrows.


For a precategory AA, its opposite A opA^{op} is a precategory with the same type of objects, with hom A op(a,b)hom A(b,a)hom_{A^{op}}(a,b)\equiv hom_A(b,a), and with identities and composition inherited from AA.

See also

Category theory precategory yoneda lemma


HoTT book

category: category theory

Created on September 6, 2018 at 13:57:14. See the history of this page for a list of all contributions to it.