University of Birmingham > Talks@bham > Cargo

Cargo

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

Category theory reading group at the School of Computer Science

Tell a friend about this list:

0 upcoming talks and 26 talks in the archive.

Bicategories With Base Change

UserSina Hazrapour.

House245, School of Computer Science.

ClockThursday 18 January 2018, 10:00-12:00

(no talk, Unimath winter school)

UserSpeaker to be confirmed.

HouseVenue to be confirmed.

ClockTuesday 12 December 2017, 14:00-16:00

Classifying topos of topological categories (II)

UserSina Hazratpour (PhD) University of Birmingham .

House245, School of Computer Science.

ClockTuesday 21 November 2017, 14:00-16:00

Classifying topos of a topological category

UserSina Hazratpour, University of Birmingham .

House245, School of Computer Science.

ClockTuesday 14 November 2017, 14:00-16:00

Hyperdoctrines

UserNoam Zeilberger ( SoCS UoB).

House245, School of Computer Science.

ClockTuesday 07 November 2017, 14:00-16:00

Duality for d-frames and bispaces

UserAnna Laura Suarez.

House245, School of Computer Science.

ClockTuesday 31 October 2017, 14:00-16:00

Cory: categorical logic

UserCory Knapp (University of Birmingham).

House245, School of Computer Science.

ClockTuesday 17 October 2017, 14:00-16:00

Coherence of monoidal category

UserYuning.

House245, School of Computer Science.

ClockWednesday 07 June 2017, 14:00-14:30

Homotopy theoretic models of identity types (part 2)

UserAuke Booij (UoB).

House245, School of Computer Science.

ClockWednesday 31 May 2017, 14:00-16:00

Homotopy theoretic models of identity types

UserAuke Booij (UoB).

House217, School of Computer Science.

ClockWednesday 17 May 2017, 14:00-16:00

Some weighted limits in the 2-category of toposes

UserSina Hazratpour.

House245, School of Computer Science.

ClockTuesday 28 March 2017, 14:00-16:00

Weighted Limits

UserYuning Feng, School of Computer Science.

House245, School of Computer Science.

ClockTuesday 21 March 2017, 14:00-16:00

What is a stack?

UserSina Hazratpour.

House245, School of Computer Science.

ClockTuesday 14 March 2017, 14:00-16:00

Multicategories And Monoidal Fibrations

UserNoam Zeilberger ().

House245, School of Computer Science.

ClockTuesday 07 March 2017, 14:00-16:00

Title to be confirmed

UserYuning Feng.

House245, School of Computer Science.

ClockTuesday 28 February 2017, 14:00-16:00

Classifying Topoi For Geometric Theories (2)

UserSina Hazratpour.

House245, School of Computer Science.

ClockTuesday 01 November 2016, 14:00-16:00

Classifying Topoi For Geometric Theories

UserSina Hazratpour.

House245, School of Computer Science.

ClockTuesday 25 October 2016, 14:00-16:00

Weak toposes: part 2

UserAuke Booij (UoB).

House217, School of Computer Science.

ClockTuesday 18 October 2016, 14:00-16:00

Weak toposes

UserAuke Booij, UoB.

House217, School of Computer Science.

ClockTuesday 11 October 2016, 14:00-16:00

If you have a question about this list, please contact: Auke Booij; Cory Knapp; Sina; Yuning Feng; Tomáš Jakl; Bram Geron; mxn732; mxn732; Todd Waugh Ambridge; txw467. If you have a question about a specific talk, click on that talk to find its organiser.

 

Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on talks.cam from the University of Cambridge.