Categories of Relations (Allegories)

Add to your list(s) Download to your calendar using vCal

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

If you have a question about this talk, please contact Loren E. Held.

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.

This talk is part of the Part III Seminars series.

This talk is included in these lists:

• MR15
• Part III Seminars

Note that ex-directory lists are not shown.