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 Quasi-categories
Calgary Peripatetic Seminar in Logic and Category Theory
2018.06.27
University of Calgary
Elements of the Theory of Quasi-categories
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, Pre-groupoids 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 co-completion, 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]
Multi-object 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