University of Cambridge > Talks.cam > MR9, Centre for Mathematical Sciences

If you have a question about this list, please contact: . If you have a question about a specific talk, click on that talk to find its organiser.

0 upcoming talks and 34 talks in the archive.

Cambridge Centre for Climate Science

Warm periods of the past

UserSee abstract for programme.

HouseMR9, Centre for Mathematical Sciences.

ClockWednesday 22 February 2017, 14:00-17:30

Emmy Noether Society

Title to be confirmed

UserChristina Manolache (Imperial College).

HouseMR9, Centre for Mathematical Sciences.

ClockWednesday 21 January 2015, 16:30-17:30

Category Theory Seminar

Kernels and weak factorisation systems

UserRichard Garner (University of Cambridge).

HouseMR9, Centre for Mathematical Sciences.

ClockTuesday 02 March 2010, 14:15-15:45

Category Theory Seminar

2-Monads for Differential Calculus

UserMartin Hyland, University of Cambridge.

HouseMR9, Centre for Mathematical Sciences.

ClockTuesday 16 February 2010, 14:15-15:45

Category Theory Seminar

Some observations on Tannaka duality

UserIgnacio Lopez-Franco, University of Coimbra.

HouseMR9, Centre for Mathematical Sciences.

ClockTuesday 09 February 2010, 14:15-15:45

Category Theory Seminar

Unwirings and exponentiability.

UserNathan Bowler (University of Cambridge).

HouseMR9, Centre for Mathematical Sciences.

ClockTuesday 02 February 2010, 14:15-15:45

Category Theory Seminar

In search of the pythagorean tensor

UserTom Leinster, University of Glasgow.

HouseMR9, Centre for Mathematical Sciences.

ClockTuesday 26 January 2010, 14:15-15:45

Category Theory Seminar

Iterated weak enrichments

UserNick Gurski, University of Sheffield.

HouseMR9, Centre for Mathematical Sciences.

ClockTuesday 19 January 2010, 14:15-15:45

Category Theory Seminar

Composition in Categories of Games

UserNathan Bowler, DPMMS.

HouseMR9, Centre for Mathematical Sciences.

ClockTuesday 01 December 2009, 14:15-15:45

Category Theory Seminar

The classifying weak omega-category of a type theory

UserChris Kapulkin, University of Warsaw.

HouseMR9, Centre for Mathematical Sciences.

ClockTuesday 24 November 2009, 14:15-15:45

Category Theory Seminar

Quantum states as measures on the spectral presheaf

UserAndreas Döring, Oxford University.

HouseMR9, Centre for Mathematical Sciences.

ClockTuesday 17 November 2009, 14:15-15:45

Category Theory Seminar

Relative commutator theory and the associator of loops

UserTim Van der Linden, University of Coimbra.

HouseMR9, Centre for Mathematical Sciences.

ClockTuesday 10 November 2009, 14:15-15:45

Category Theory Seminar

Remarks on punctual local connectedness

UserProf. Peter Johnstone, DPMMS.

HouseMR9, Centre for Mathematical Sciences.

ClockTuesday 27 October 2009, 14:15-15:45

Category Theory Seminar

The universal loop space operad and generalisations

UserEugenia Cheng, University of Sheffield.

HouseMR9, Centre for Mathematical Sciences.

ClockTuesday 20 October 2009, 14:15-15:45

Wednesday HEP-GR Colloquium

Cosmological Moduli and Non-Thermal Dark Matter

Note unusual time / room

UserBobby Acharya [ICTP Trieste].

HouseMR9, Centre for Mathematical Sciences.

ClockThursday 14 May 2009, 16:15-17:15

Category Theory Seminar

Hilbert categories and quantum logic

UserChris Heunen (Radboud University Nijmegen).

HouseMR9, Centre for Mathematical Sciences.

ClockThursday 08 January 2009, 14:15-15:45

Category Theory Seminar

Two 2-traces

UserSimon Willerton (University of Sheffield).

HouseMR9, Centre for Mathematical Sciences.

ClockTuesday 02 December 2008, 14:15-15:45

Category Theory Seminar

Lawvere Theories for Nominal Equational Logic

UserRanald Clouston (University of Cambridge).

HouseMR9, Centre for Mathematical Sciences.

ClockTuesday 25 November 2008, 14:15-15:45

Category Theory Seminar

Tensor products in higher category theory

UserMark Weber (Université Paris 7).

HouseMR9, Centre for Mathematical Sciences.

ClockTuesday 18 November 2008, 14:15-15:45

Category Theory Seminar

Atomic toposes and countable categoricity

UserOlivia Caramello (University of Cambridge).

HouseMR9, Centre for Mathematical Sciences.

ClockTuesday 11 November 2008, 14:15-15:45

Category Theory Seminar

Syntax graphs and substitution by pushout

UserRichard Garner (University of Cambridge).

HouseMR9, Centre for Mathematical Sciences.

ClockTuesday 04 November 2008, 14:15-15:45

Category Theory Seminar

Synthesis of Second-Order Equational Logic

UserMarcelo Fiore (University of Cambridge).

HouseMR9, Centre for Mathematical Sciences.

ClockTuesday 28 October 2008, 14:15-15:45

Category Theory Seminar

Sums and tensor products of algebraic theories

UserMartin Hyland (University of Cambridge).

HouseMR9, Centre for Mathematical Sciences.

ClockTuesday 14 October 2008, 14:15-15:45

Category Theory Seminar

Homotopical aspects of type theory

UserSteve Awodey (Carnegie-Mellon University).

HouseMR9, Centre for Mathematical Sciences.

ClockTuesday 13 May 2008, 14:15-15:45

Category Theory Seminar

What I don't know about the free topos

UserPeter Johnstone (Cambridge).

HouseMR9, Centre for Mathematical Sciences.

ClockTuesday 05 February 2008, 14:15-15:45

Please see above for contact details for this list.

 

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