Talks
 2018.10.01

University of Calgary [website]
Introduction to univalence in Coq II
Calgary Peripatetic Seminar in Logic and Category Theory
 2018.09.24

University of Calgary [website]
Introduction to univalence in Coq
Calgary Peripatetic Seminar in Logic and Category Theory
 2018.08.29

University of Calgary
Linearisation of infinity categories
Calgary Peripatetic Seminar in Logic and Category Theory
 2018.07.03

University of Calgary
More Elements of the Theory of Quasicategories
Calgary Peripatetic Seminar in Logic and Category Theory
 2018.06.27

University of Calgary
Elements of the Theory of Quasicategories
Calgary Peripatetic Seminar in Logic and Category Theory
 2018.06.04

University of New Brunswick [website]
The Calculus of Infinity Functors and Tangent Categories
Canadian Mathematical Society, Summer Meeting
 2018.06.02

Mount Allison University [website]
Tangent Bundles of Groupoids, Pregroupoids and Torsoids
26th Foundational Methods in Computer Science Workshop
 2018.05.14

University of Calgary
A Two Dimensional Setting for the Calculus of Infinity Functors: Part II
Calgary Peripatetic Seminar in Logic and Category Theory
 2018.04.30

University of Calgary
A Two Dimensional Setting for the Calculus of Infinity Functors
Calgary Peripatetic Seminar in Logic and Category Theory
 2018.03.26

University of Calgary
Free cocompletion, presheaves and sheaves
Calgary Peripatetic Seminar in Logic and Category Theory
 2018.02.26

University of Calgary
Localisation of Simplicial Presheaf Categories
Calgary Peripatetic Seminar in Logic and Category Theory
 2018.01.22

University of Calgary
The Calculus of Functors using Sheafification
Calgary Peripatetic Seminar in Logic and Category Theory
 2017.10.13

University of Calgary
Sites of Smooth Affine Schemes: Part III
Calgary Peripatetic Seminar in Logic and Category Theory
 2017.10.06

University of Calgary
Sites of Smooth Affine Schemes: Part II
Calgary Peripatetic Seminar in Logic and Category Theory
 2017.09.22

University of Calgary
Sites of Smooth Affine Schemes
Calgary Peripatetic Seminar in Logic and Category Theory
 2017.09.06

University of Calgary
Lie's Third Theorem using an Intuitionistic Double Negation
Calgary Peripatetic Seminar in Logic and Category Theory
 2017.04.02

University of Cambridge [website]
Lie's Third Theorem in Synthetic Differential Geometry [pdf]
Category Theory Seminar
 2016.10.07

University of Calgary
Infinitesimals in Lie Theory [pdf]
Calgary Mathematics Department Colloquium
 2016.09.30

University of Calgary
Lie Theory for Categories using Infinitesimals
Calgary Peripatetic Seminar in Logic and Category Theory
 2015.12.04

Universite Paris Diderot, Paris 7 [website]
Multiobject Lie theory using synthetic differential geometry
Seminaire de geometrie et physique mathematique
 2015.11.17

University of Cambridge [website]
A Synthetic Version of Lie's Second Theorem [pdf]
Category Theory Seminar
 2015.11.05

Masaryk University, Brno
Lie's Second Theorem [pdf]
Algebra Seminar
 2015.10.28

Masaryk University, Brno
Jet Part of a Category [pdf]
Algebra Seminar
 2015.10.26

Masaryk University, Brno
An Introduction to Synthetic Differential Geometry [pdf]
Differential Geometry Seminar
 2015.10.10

Trest, Czech Republic [website]
Synthetic Lie Theory [pdf]
Plenary Speaker at Eduard Cech Institute Workshop
 2015.05.13ff

Macquarie University [website]
Jet Categories in the Cahiers Topos (2 talks)
Centre of Australian Category Theory
 2014.07.04

University of Cambridge [website]
Synthetic Lie Theory [pdf]
Category Theory 2014
 2014.06.19

Macquarie University
A Synthetic Perspective on the Integrability of Lie Algebroids
MCDC 2014
 2014.05.21ff

Macquarie University [website]
A Synthetic Perspective on the Integrability of Lie Algebroids (3 talks)
Centre of Australian Category Theory
 2013.07.04

Macquarie University
Cohomology from the Perspective of Restriction Categories and Atlases
MCDC 2013
 2012.06.15

Macquarie University
Applications of Logic in Differential Geometry
MCDC 2012
 2011

University of Cambridge [website]
Synthetic Differential Geometry
Part III talk