Richard Garner

Generating author description...

All published works

Action	Title	Year	Authors
+	Functorial Aggregation	2025	David I. Spivak Richard Garner Aaron David Fairbanks
+	Cartesian closed varieties I: the classification theorem	2024	Richard Garner
+ PDF Chat	Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences	2024	Nicola Gambino Richard Garner Christina Vasilakopoulou
+ PDF Chat	Stream processors and comodels	2023	Richard Garner
+	Cartesian closed varieties I: the classification theorem	2023	Richard Garner
+	Cartesian closed varieties II: links to operator algebra	2023	Richard Garner
+	Monoidal Kleisli Bicategories and the Arithmetic Product of Coloured Symmetric Sequences	2022	Nicola Gambino Richard Garner Christina Vasilakopoulou
+ PDF Chat	The costructure–cosemantics adjunction for comodels for computational effects	2021	Richard Garner
+ PDF Chat	Generalising the étale groupoid–complete pseudogroup correspondence	2021	Robin Cockett Richard Garner
+ PDF Chat	Cartesian Differential Categories as Skew Enriched Categories	2021	Richard Garner Jean-Simon Pacaud Lemay
+	An Essential Local Geometric Morphism which is not Locally Connected though its Inverse Image Part defines an Exponential Ideal	2021	Richard Garner Thomas Streicher
+	Stream Processors and Comodels.	2021	Richard Garner
+	Stream processors and comodels	2021	Richard Garner
+	An Essential Local Geometric Morphism which is not Locally Connected though its Inverse Image Part defines an Exponential Ideal	2021	Richard Garner Thomas Streicher
+	Operadic categories and décalage	2020	Richard Garner Joachim Kock Mark Weber
+ PDF Chat	Every 2-Segal space is unital	2020	М. Н. Феллер Richard Garner Kock Joachim May U. Proulx Mark Weber
+	Ultrafilters, finite coproducts and locally connected classifying toposes	2020	Richard Garner
+	Generalising the \'etale groupoid--complete pseudogroup correspondence	2020	Robin Cockett Richard Garner
+	Cartesian differential categories as skew enriched categories	2020	Richard Garner Jean-Simon Pacaud Lemay
+	The costructure-cosemantics adjunction for comodels for computational effects	2020	Richard Garner
+	Generalising the étale groupoid--complete pseudogroup correspondence	2020	Robin Cockett Richard Garner
+	Cartesian differential categories as skew enriched categories	2020	Richard Garner Jean-Simon Pacaud Lemay
+ PDF Chat	The Vietoris Monad and Weak Distributive Laws	2019	Richard Garner
+ PDF Chat	Lifting accessible model structures	2019	Richard Garner Magdalena Kędziorek Emily Riehl
+	Inner automorphisms of groupoids	2019	Richard Garner
+	Monads and theories	2019	John Bourke Richard Garner
+	Every 2-Segal space is unital	2019	М. Н. Феллер Richard Garner Joachim Kock May U. Proulx Mark Weber
+	Inner automorphisms of groupoids	2019	Richard Garner
+	Every 2-Segal space is unital	2019	М. Н. Феллер Richard Garner Joachim Kock May U. Proulx Mark Weber
+	Hypernormalisation, linear exponential monads and the Giry tricocycloid.	2018	Richard Garner
+ PDF Chat	Bousfield Localisation and Colocalisation of One-Dimensional Model Structures	2018	Scott Balchin Richard Garner
+	An enriched view on the extended finitary monad-Lawvere theory correspondence	2018	Richard Garner John Power
+	Abstract hypernormalisation, and normalisation-by-trace-evaluation for generative systems	2018	Richard Garner
+ PDF Chat	An embedding theorem for tangent categories	2017	Richard Garner
+ PDF Chat	Hochschild homology, lax codescent, and duplicial structure	2017	Richard Garner Stephen Lack Paul Slevin
+ PDF Chat	Shapely monads and analytic functors	2017	Richard Garner Tom Hirschowitz
+	An enriched view on the extended finitary monad--Lawvere theory correspondence	2017	Richard Garner John Power
+ PDF Chat	Coalgebras governing both weighted Hurwitz products and their pointwise transforms	2016	Richard Garner Ross Street
+	Orientals and cubes, inductively	2016	Mitchell Buckley Richard Garner
+ PDF Chat	When coproducts are biproducts	2016	Richard Garner Daniel Schäppi
+	Cocompletion of restriction categories	2016	Richard Garner Daniel Lin
+	Shapely monads and analytic functors	2015	Richard Garner Tom Hirschowitz
+	Enriched categories as a free cocompletion	2015	Richard Garner Michael Shulman
+	Coalgebras governing both weighted Hurwitz products and their pointwise transforms	2015	Richard Garner Ross Street
+ PDF Chat	Commutativity	2015	Richard Garner Ignacio López Franco
+	Orientals and cubes, inductively	2015	Mitchell Buckley Richard Garner
+ PDF Chat	Algebraic weak factorisation systems I: Accessible AWFS	2015	John Bourke Richard Garner
+ PDF Chat	Algebraic weak factorisation systems II: Categories of weak maps	2015	John Bourke Richard Garner
+	The Isbell monad	2015	Richard Garner
+	Coalgebras governing both weighted Hurwitz products and their pointwise transforms	2015	Richard Garner Ross Street
+	Orientals and cubes, inductively	2015	Mitchell Buckley Richard Garner
+	Shapely monads and analytic functors	2015	Richard Garner Tom Hirschowitz
+ PDF Chat	The Catalan simplicial set	2014	Mitchell Buckley Richard Garner Stephen Lack Ross Street
+	The Isbell monad	2014	Richard Garner
+ PDF Chat	Combinatorial structure of type dependency	2014	Richard Garner
+	Topological functors as total categories	2014	Richard Garner
+ PDF Chat	Lawvere theories, finitary monads and Cauchy-completion	2014	Richard Garner
+	Revisiting the categorical interpretation of dependent type theory	2014	Pierre-Louis Curien Richard Garner Martin Hofmann
+	Combinatorial structure of type dependency	2014	Richard Garner
+	Diagrammatic characterisation of enriched absolute colimits	2014	Richard Garner
+	Diagrammatic characterisation of enriched absolute colimits	2014	Richard Garner
+	Combinatorial structure of type dependency	2014	Richard Garner
+	The Isbell monad	2014	Richard Garner
+	Restriction categories as enriched categories	2013	Robin Cockett Richard Garner
+ PDF Chat	Two-dimensional regularity and exactness	2013	John Bourke Richard Garner
+	Topological = total	2013	Richard Garner
+	Lawvere theories, finitary monads and Cauchy-completion	2013	Richard Garner
+	Retraction Note to: Understanding the Small Object Argument	2013	Richard Garner
+	Two-dimensional regularity and exactness	2013	John Bourke Richard Garner
+	Enriched categories as a free cocompletion	2013	Richard Garner Michael Shulman
+	Skew-monoidal categories and the Catalan simplicial set	2013	Mitchell Buckley Richard Garner Stephen Lack Ross Street
+	Homotopy Type Theory: Univalent Foundations of Mathematics	2013	Peter Aczel Benedikt Ahrens Thorsten Altenkirch Steve Awodey Bruno Barras Andrej Bauer Yves Bertot Marc Bezem Thierry Coquand Eric Finster
+	Enriched categories as a free cocompletion	2013	Richard Garner Michael Shulman
+	Lawvere theories, finitary monads and Cauchy-completion	2013	Richard Garner
+	Two-dimensional regularity and exactness	2013	John Bourke Richard Garner
+	Topological = total	2013	Richard Garner
+ PDF Chat	A characterisation of algebraic exactness	2012	Richard Garner
+	Restriction categories as enriched categories	2012	Robin Cockett Richard Garner
+ PDF Chat	On semiflexible, flexible and pie algebras	2012	John Bourke Richard Garner
+	On the axioms for adhesive and quasiadhesive categories	2012	Richard Garner Stephen Lack
+	Ionads	2012	Richard Garner
+	Lex colimits	2012	Richard Garner Stephen Lack
+	Grothendieck quasitoposes	2012	Richard Garner Stephen Lack
+	Remarks on exactness notions pertaining to pushouts	2012	Richard Garner
+ PDF Chat	Topological and Simplicial Models of Identity Types	2012	Benno van den Berg Richard Garner
+	Remarks on exactness notions pertaining to pushouts	2012	Richard Garner
+	Restriction categories as enriched categories	2012	Robin Cockett Richard Garner
+	On semiflexible, flexible and pie algebras	2011	John Bourke Richard Garner
+ PDF Chat	An abstract view on syntax with sharing	2011	Richard Garner
+ PDF Chat	Mini-Workshop: The Homotopy Interpretation of Constructive Type Theory	2011	Steve Awodey Richard Garner Per Martin-Löf Vladimir Voevodsky
+	A characterisation of algebraic exactness	2011	Richard Garner
+	On the axioms for adhesive and quasiadhesive categories	2011	Richard Garner Stephen Lack
+	A characterisation of algebraic exactness	2011	Richard Garner
+	On semiflexible, flexible and pie algebras	2011	John Bourke Richard Garner
+ PDF Chat	Types are weak <i>ω</i> -groupoids	2010	Benno van den Berg Richard Garner
+	An abstract view on syntax with sharing	2010	Richard Garner
+	Topological and simplicial models of identity types	2010	Benno van den Berg Richard Garner
+ PDF Chat	Homomorphisms of higher categories	2010	Richard Garner
+	Topological and simplicial models of identity types	2010	Benno van den Berg Richard Garner
+	An abstract view on syntax with sharing	2010	Richard Garner
+	Ionads: a generalised notion of topological space	2009	Richard Garner
+	Ionads: a generalisation of the notion of topological space	2009	Richard Garner
+ PDF Chat	Two-dimensional models of type theory	2009	Richard Garner
+	Variable binding, symmetric monoidal closed theories, and bigraphs	2009	Richard Garner Tom Hirschowitz Aurélien Pardon
+ PDF Chat	A homotopy-theoretic universal property of Leinster's operad for weak ω-categories	2009	Richard Garner
+ PDF Chat	On the strength of dependent products in the type theory of Martin-Löf	2009	Richard Garner
+ PDF Chat	The low-dimensional structures formed by tricategories	2009	Richard Garner Nick Gurski
+ PDF Chat	Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs	2009	Richard Garner Tom Hirschowitz Aurélien Pardon
+	Ionads	2009	Richard Garner
+	The identity type weak factorisation system	2008	Nicola Gambino Richard Garner
+ PDF Chat	Understanding the Small Object Argument	2008	Richard Garner
+ PDF Chat	Polycategories via pseudo-distributive laws	2008	Richard Garner
+	RETRACTED ARTICLE: Understanding the Small Object Argument	2008	Richard Garner
+	Graphical Presentations of Symmetric Monoidal Closed Theories	2008	Richard Garner Tom Hirschowitz Aurélien Pardon
+	The identity type weak factorisation system	2008	Nicola Gambino Richard Garner
+	The low-dimensional structures that tricategories form	2007	Richard Garner Nick Gurski
+	Cofibrantly generated natural weak factorisation systems	2007	Richard Garner
+	Double Clubs	2006	Richard Garner
+	Double Clubs	2006	Richard Garner

Common Coauthors

Coauthor	Papers Together
John Bourke	9
Stephen Lack	7
Robin Cockett	6
Tom Hirschowitz	6
Benno van den Berg	5
Nicola Gambino	5
Ross Street	5
Mitchell Buckley	4
Michael Shulman	4
May U. Proulx	3
М. Н. Феллер	3
Joachim Kock	3
Jean-Simon Pacaud Lemay	3
Mark Weber	3
Aurélien Pardon	3
Christina Vasilakopoulou	2
Vladimir Voevodsky	2
John Power	2
Per Martin‐Löf	2
Pierre-Louis Curien	2
Nick Gurski	2
Emily Riehl	2
Thomas Streicher	2
Steve Awodey	2
Magdalena Kędziorek	1
Thorsten Altenkirch	1
Michael Nahas	1
Hugo Herbelin	1
Mark Weber	1
Philip Scott	1
Kuen-Bang Hou	1
Matthieu Sozeau	1
Scott Balchin	1
Álvaro Pelayo	1
Andrej Bauer	1
André Joyal	1
Ignacio López Franco	1
Georges Gonthier	1
Guillaume Brunerie	1
Carlo Angiuli	1
Kristina Sojakova	1
Daniel Schäppi	1
Egbert Rijke	1
Thierry Coquand	1
Kock Joachim	1
Zhaohui Luo	1
Nuo Li	1
Martin Hofmann	1
Michael A. Warren	1
Daniel Lin	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	Basic concepts of enriched category theory	1982	G. M. Kelly	20
+	Two-dimensional monad theory	1989	Robert Blackwell G. M. Kelly John Power	18
+	Coherence for tricategories	1995	Robert J. Gordon John Power Ross Street	14
+ PDF Chat	ENRICHED CATEGORIES AND COHOMOLOGY	1983	Ross Street	12
+ PDF Chat	A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on	1980	G. M. Kelly	12
+	Categories of continuous functors, I	1972	Peter Freyd G. M. Kelly	12
+	On closed categories of functors	1970	Brian Day	11
+	The formal theory of monads II	2002	Stephen Lack Ross Street	11
+ PDF Chat	FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES	1963	F. William Lawvere	10
+	Constructions of factorization systems in categories	1977	A. K. Bousfield	10
+ PDF Chat	Categories for the Working Mathematician	1971	Saunders Mac Lane	10
+	Limits in double categories	1999	Marco Grandis Robert Paré	10
+	Introduction to bicategories	1967	Jean Bénabou	10
+ PDF Chat	Homotopy theoretic models of identity types	2008	Steve Awodey Michael A. Warren	8
+	Sheaves and Cauchy-complete categories	1981	R. F. C. Walters	8
+	Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads	1993	G. M. Kelly John Power	7
+	Operads in Higher-Dimensional Category Theory	2000	Tom Leinster	7
+ PDF Chat	Higher Operads, Higher Categories	2004	Tom Leinster	7
+	Comprehension categories and the semantics of type dependency	1993	Bart Jacobs	7
+	Homotopy Theoretic Aspects of Constructive Type Theory	2008	Michael A. Warren	7
+ PDF Chat	Kan extensions in Enriched Category Theory	1970	Eduardo J. Dubuc	7
+	On the interpretation of type theory in locally cartesian closed categories	1995	Martin Hofmann	7
+	Foncteurs analytiques et espèces de structures	1986	André Joyal	7
+ PDF Chat	Understanding the Small Object Argument	2008	Richard Garner	7
+ PDF Chat	2-nerves for bicategories	2007	Stephen Lack Simona Paoli	7
+	Absolute colimits in enriched categories	1983	Ross Street	6
+	Monoidal Globular Categories As a Natural Environment for the Theory of Weakn-Categories	1998	Michael Batanin	6
+	An embedding theorem for profinite groups	1984	Alexander Lubotzky John S. Wilson	6
+ PDF Chat	Enhanced 2-categories and limits for lax morphisms	2011	Stephen Lack Michael Shulman	6
+	Generic morphisms, parametric representations and weakly cartesian monads.	2004	Mark Weber	6
+ PDF Chat	The cartesian closed bicategory of generalised species of structures	2007	Marcelo Fiore Nicola Gambino Martin Hyland Glynn Winskel	6
+	Extensional concepts in intensional type theory	1995	Martin Hofmann	6
+	The identity type weak factorisation system	2008	Nicola Gambino Richard Garner	6
+	Skew-monoidal categories and bialgebroids	2012	Kornél Szlachányi	6
+	Limits of small functors	2006	Brian J. Day Stephen Lack	6
+	ON PROPERTY-LIKE STRUCTURES	1997	G. M. Kelly Stephen Lack	6
+	Algebraic model structures	2011	Emily Riehl	6
+	Skew monoidales, skew warpings and quantum categories	2012	Stephen Lack Ross Street	5
+ PDF Chat	Notions of Lawvere Theory	2009	Stephen Lack Jiřı́ Rosický	5
+	Adjoint Lifting Theorems for Categories of Algebras	1975	Peter Johnstone	5
+ PDF Chat	The comprehensive factorization of a functor	1973	Ross Street R. F. C. Walters	5
+ PDF Chat	Elementary observations on 2-categorical limits	1989	G. M. Kelly	5
+ PDF Chat	Restriction categories I: categories of partial maps	2002	J.R.B. Cockett Stephen Lack	5
+	Higher-Dimensional Algebra III.n-Categories and the Algebra of Opetopes	1998	John C. Baez James G. Dolan	5
+ PDF Chat	Two-dimensional models of type theory	2009	Richard Garner	5
+	Monoidal Bicategories and Hopf Algebroids	1997	Brian Day Ross Street	5
+ PDF Chat	A Quillen model structure for Gray-categories	2010	Stephen Lack	5
+ PDF Chat	Monads with arities and their associated theories	2012	Clemens Berger Paul-André Melliès Mark Weber	5
+	Variation through enrichment	1983	Renato Betti A. Carboni Ross Street R. F. C. Walters	5
+	Braided Tensor Categories	1993	André Joyal Ross Street	5