Richard Garner

Name:	Richard Garner
Affiliation:	University of Cambridge
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	Tue Aug 17 00:55:55 +0000 2010

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