Notes on Cambridge Maths

Something looks off?

The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc.
Submit other issues on GitHub.

Category of Relations

The Category of sets and relations between them denoted by
Morphisms need to have a specified domain and codomain similar to Category of Sets
The composites are defined in the logical way (preserving transitivity)

Something looks off?

The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc.
Submit other issues on GitHub.

Graph View

Backlinks