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.
This talk is included in these lists:
Note that ex-directory lists are not shown.
|
![[Search]](http://talks.cam.ac.uk/images/search.gif?1209136071)
|![[A-Z Index]](http://talks.cam.ac.uk/images/az.gif?1209136071)
|![[Contact]](http://talks.cam.ac.uk/images/contact.gif?1209136071)
![[University of Cambridge]](http://talks.cam.ac.uk/images/identifier2.gif?1209136071){kind=small}
![[Talks.cam]](http://talks.cam.ac.uk/images/talkslogosmall.gif?1209136071)
Thursday 19 November 2015, 14:00-15:00