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 , its opposite is a precategory with the same type of objects, with , and with identities and composition inherited from .
Category theory precategory yoneda lemma
Revision on September 6, 2018 at 17:57:29 by Ali Caglayan. See the history of this page for a list of all contributions to it.