University of Cambridge > Talks.cam > Junior Category Theory Seminar > Regular, exact, and PERs categories

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

Regular, exact, and PERs categories

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

If you have a question about this talk, please contact Sean Moss.

There are different ways of dealing with equivalence relations and quotients. Notably:
  • Regular and exact categories: they arise naturally with many examples. Thus, their free constructions are of particular interest.
  • Categories of partial equivalence relations (PERs): they are widely used in computer science (particularly in semantics of programming languages). These notions are linked together and fall within a general framework. This provides an explanation of why all these categories are often found to be cartesian closed.
References:
  • Carboni, Celia Magno – The free exact category on a left exact one
  • Carboni, Vitale – Regular and exact completions
  • Carboni, Rosolini – Locally cartesian closed exact completions
  • Birkedal, Carboni, Rosolini, Scott – Type theory via exact categories

This talk is part of the Junior Category Theory Seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Laboratory for Scientific Computing Science non-Fiction & the Bottom Billion: Evolving Frameworks for a fairer Future Spanish Researchers in UK (SRUK)-Cambridge Shaping the Future - Cambridge Public Policy Lecture Series Engineering - Mechanics and Materials Seminar Series St. John's College Medical Society

Other talks

Disease Migration Colorectal cancer. Part 1. Presentation, Diagnosis and Intervention. Part 2. Cellular signalling networks in colon cancer and the models to study them - a basic research perspective CANCELLED: The rise and fall of the Shopping Mall: dialogues on the relationship of commerce and city Poland, Europe, Freedom: A Personal Reflection on the Last 40 Years Large Scale Ubiquitous Data Sources for Crime Prediction Atmospheric Retrieval The Partition of India and Migration Genomic Approaches to Cancer Sustainability of livestock production: water, welfare and woodland Amino acid sensing: the elF2a signalling in the control of biological functions Constructing the virtual fundamental cycle The Object of My Affection: stories of love from the Fitzwilliam collection
 

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