arXiv:1310.0903v2 [math.CT] 5 Oct 2013
arXiv:1805.04346v2 [math.CT] 2 Jun 2020
Richard Garner The locally connected classifying topos
Final_Presentation
Richard Garner — Macquarie University
THREE STUDIES IN HIGHER CATEGORY THEORY: FIBRATIONS, SKEW-MONOIDAL STRUCTURES AND EXCISION OF EXTREMALS | Bulletin of the Australian Mathematical Society | Cambridge Core
Richard Garner. Math Tutoring | Mobile AL
Two-dimensional models of type theory
Richard Garner
Richard Garner - Senior Applications Consultant - Capgemini | LinkedIn
arXiv:2011.14520v1 [cs.LO] 30 Nov 2020
The theory of glueing things on
Higher Structures (issn:2209-0606) is an all-electronic, refereed journal on the theory of higher structures and its application
The topological behaviour category of an algebraic theory
A homotopy-theoretic universal property of Leinster's operad for weak ω-categories
The low-dimensional structures formed by tricategories
Enriched categories as a free cocompletion
DIAGRAMMATIC CHARACTERISATION OF ENRICHED ABSOLUTE COLIMITS 1. The result
Bousfield Localisation and Colocalisation of One-Dimensional Model Structures
Macquarie University Mathematics Society - That's a wrap for the 2018 lunch time seminars! Shoutout to Richard Garner for delivering a fascinating talk to finish off the series and a big thankyou
Richard Garner. Math Tutoring | Mobile AL
Richard Garner Contact details Department of Mathematics, Macquarie University, NSW 2109 Telephone: +61 2 9850 8923 Email: richa
ON THE AXIOMS FOR ADHESIVE AND QUASIADHESIVE CATEGORIES 1. Introduction
Richard Garner, Abolishing Morality - PhilPapers
Singapore-style teaching helps solve problem of maths failure, says new research | The Independent | The Independent
The Bronco, Yearbook of Hardin-Simmons University, 1975 - Page 151 - The Portal to Texas History
A type theory for synthetic ∞-categories
PDF) The Catalan simplicial set
