Richard Garner

Name:	Richard Garner
Affiliation:	University of Cambridge
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	17 Aug 2010, 12:55 a.m.

Public lists managed by Richard Garner

Talks given by Richard Garner

Obviously this only lists talks that are listed through talks.cam. Furthermore, this facility only works if the speaker's e-mail was specified in a talk. Most talks have not done this.

• Two-dimensional models of Martin-Löf type theory

Talks organised by Richard Garner

This list is based on what was entered into the 'organiser' field in a talk. It may not mean that Richard Garner actually organised the talk, they may have been responsible only for entering the talk into the talks.cam system.

• Hochas and minimal toposes
• The homological role of measuring comodules
• Some categories arising in the semantics of state and exceptions
• Of operator algebras and operator spaces
• Types are weak ω-groupoids
• Two cotensors in one
• Fraïssé's construction from a topos-theoretic perspective
• Two-dimensional models of Martin-Löf type theory
• Model category theory and quantum gravity
• Hilbert categories and quantum logic
• Two 2-traces
• Lawvere Theories for Nominal Equational Logic
• Tensor products in higher category theory
• Atomic toposes and countable categoricity
• Syntax graphs and substitution by pushout
• Synthesis of Second-Order Equational Logic
• Generalising Lawvere theories to an axiomatically defined base
• Sums and tensor products of algebraic theories