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

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

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

ℹī¸ Information

Adjointness in Foundations: an introduction to Hyperdoctrines

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.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Green Room, Gonville & Caius College, Cambridge Babraham Institute - Petersfield Lecture Theatre Todd-Hamied Room, Department of Chemistry, Cambridge and Teams

Other talks

Title to be confirmed Coming soon Title to be confirmed Using numerical simulations for solving spectral geometry problems Seminars in Cancer Title TBC
 

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