University of Cambridge > Talks.cam > Part III Seminars > Categories of Relations (Allegories)

Categories of Relations (Allegories)

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

  • UserMorgan Rogers
  • ClockThursday 15 March 2018, 13:00-14:00
  • HouseMR15.

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity