Categories of Relations (Allegories)
- π€ Speaker: Morgan Rogers
- π Date & Time: Thursday 15 March 2018, 13:00 - 14:00
- π Venue: MR15
Abstract
In the Category Theory course it was observed in passing that the category ‘Set’ of sets and functions is naturally a subcategory of ‘Rel’, the category of sets and binary relations. We can produce a parallel statement for any category with sufficient internal structure, and the resulting abstract object is an Allegory. I shall motivate and define allegories and examine how some desirable properties of categories are reflected in their categories of relations.
Series This talk is part of the Part III Seminars series.
Included in Lists
Note: Ex-directory lists are not shown.
![[Talks.cam]](/static/images/talkslogosmall.gif)

Morgan Rogers
Thursday 15 March 2018, 13:00-14:00