University of Cambridge > Talks.cam > Junior Category Theory Seminar > Categorical Logic Round Table

Categorical Logic Round Table

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

  • UserSpeaker to be confirmed
  • ClockThursday 21 May 2015, 14:00-15:00
  • HouseCMS, MR13.

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

This will be our attempt to understand the unifying role played by indexed categories in categorical logic.

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-2019 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity