University of Cambridge > > Junior Category Theory Seminar > Adjointness in Foundations: an introduction to Hyperdoctrines

Adjointness in Foundations: an introduction to Hyperdoctrines

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

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

Hyperdoctrines can be seen as an abstract and algebraic approach to proof theory using indexed categories or fibrations. In this talk, I will explain some of the possible definitions and the motivation behind them. I will discuss the interpretation of equality and the necessity of requirements like the Beck-Chevalley condition using examples from the literature. I hope to see many of you there.

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.


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