# Richard Garner

Here is a list of talks given by Richard Garner at the Australian Category Seminar. Click on the title of a talk for an abstract.

- Cartesian closed varieties (part 3) – 11 November 2020
- Cartesian closed varieties (part 2) – 14 October 2020
- Cartesian closed varieties (part 1) – 30 September 2020
- Categories of comodels – 12 August 2020
- Completeness for comodels – 22 July 2020
- The dependently typed update monad – 17 June 2020
- Probabilistic automata as comodels in models – 13 May 2020
- Continuous functions on streams – 6 May 2020
- Tensor products of models and comodels in computer science – 8 April 2020
- A view on codifferential categories – 5 February 2020
- Comonads and enrichment – 20 November 2019
- Relative extensivity, multicategories and topological spaces – 25 September 2019
- Parametric right adjoint functors and polynomials – 28 August 2019
- The free tangent category on an object with affine connection – 7 August 2019
- Fixpoint toposes – 26 June 2019
- Topos theoretic aspects of self-similarity – 19 June 2019
- Cartesian differential categories as skew-enriched categories – 8 May 2019
- Inner automorphisms of groupoids – 13 March 2019
- J--T, V, L and F – 6 February 2019
- Unary operadic categories and discrete decomposition spaces – 5 December 2018
- The disintegration operadic category – 14 November 2018
- Hypernormalisation and linear exponential monads – 24 October 2018
- The Vietoris monad via weak distributive laws – 12 September 2018
- Polynomial monads as fibred PROPs – 29 August 2018
- The locally connected classifying topos – 18 April 2018
- Operadic categories and decalage – 4 April 2018
- The Giry tricocycloid – 7 March 2018
- Institutions – 21 February 2018
- (Co)localisation of one-dimensional model structures – 22 November 2017
- A new and improved embedding theorem for tangent categories – 18 October 2017
- Monads and theories – 13 September 2017
- Ultraproducts, ultraspans and ultracategories – 2 August 2017
- A practical introduction to weighted limits – 10 May 2017
- Chu spaces and the funny tensor product – 22 February 2017
- In search of a terminal biring – 5 October 2016
- Generalised Lawvere theories via enrichment – 31 August 2016
- Non-standard arities – 20 July 2016
- Mixed opwreaths and coherence spaces – 29 June 2016
- Right properness of simplicial sets a la arXiv:1510.00669 – 22 June 2016
- Monads extending from Set to Rel – 1 June 2016
- Ultrafilters, restriction categories and "Maschke's lemma" – 9 March 2016
- The model bicategory of model categories – 24 February 2016
- Toric varieties and manifolds a la Grandis--Cockett – 30 September 2015
- Shapely monads and analytic functors on presheaf categories (part 4) – 2 September 2015
- Shapely monads and analytic functors on presheaf categories (part 3) – 12 August 2015
- Shapely monads and analytic functors on presheaf categories (part 2) – 5 August 2015
- Shapely monads and analytic functors on presheaf categories (part 1) – 29 July 2015
- An embedding theorem for tangent categories – 8 July 2015
- Synthetic differentiation of species – 20 May 2015
- The Campbell--Baker--Hausdorff adjunction – 13 May 2015
- When coproducts are biproducts – 29 April 2015
- Remarks on crossed internal categories in toposes – 8 April 2015
- How not to enrich over a duoidal category – 1 April 2015
- An efficient construction of the orientals – 21 January 2015
- Dendroidal resolution of dg-operads – 10 December 2014
- Homological lalis (part 1) – 3 December 2014
- Homological lalis (part 2) – 3 December 2014
- Quasicategorical lalis, with applications to quasicategorical limits and colimits, Grothendieck fibrations, Kan extensions, and so on – 12 November 2014
- Fibred lex colimits (part 2) – 22 October 2014
- Fibred lex colimits (part 1) – 8 October 2014
- The uniform family approach to realizability toposes – 24 September 2014
- The formal theory of monads 1.5 – 27 August 2014
- Re-revisiting the nerve theorem – 13 August 2014
- The Isbell monad – 7 May 2014
- Reedy categories, Grothendieck fibrations, and the Isbell envelope – 16 April 2014
- More ordinal notation – 5 March 2014
- Ordinal notation – 26 February 2014
- Remarks on Catalan sets – 12 February 2014
- Reedy remarks – 11 December 2013
- Universal properties of Poly(E) (part 2) – 6 November 2013
- Universal properties of Poly(E) (part 1) – 30 October 2013
- Combinatorial structure of type dependency (part 3) – 23 October 2013
- Combinatorial structure of type dependency (part 2) – 16 October 2013
- Combinatorial structure of type dependency (part 1) – 2 October 2013
- Expository remarks on Dedekind--Mac Neille--Isbell--Lambek completion – 31 July 2013
- Topological = total (part 2) – 26 June 2013
- Topological = total (part 1) – 19 June 2013
- Expository remarks on fat orthogonal reflection – 15 May 2013
- Finitary monads, Lawvere theories, and Cauchy completion (part 2) – 8 May 2013
- Finitary monads, Lawvere theories, and Cauchy completion (part 1) – 1 May 2013
- More on cofibrant simplicial sets – 3 April 2013
- Cofibrant simplicial sets – 20 March 2013
- Remarks on comprehensive factorisation (part 2) – 12 December 2012
- Remarks on comprehensive factorisation (part 1) – 5 December 2012
- T-multicategories and their morphisms, for T a 2-monad on Cat which extends to Prof, characterised, under mild side conditions, as the Eilenberg-Moore category for the lax morphism classifier comonad on T-Alg_s (part 4) – 31 October 2012
- T-multicategories and their morphisms, for T a 2-monad on Cat which extends to Prof, characterised, under mild side conditions, as the Eilenberg-Moore category for the lax morphism classifier comonad on T-Alg_s (part 3) – 24 October 2012
- T-multicategories and their morphisms, for T a 2-monad on Cat which extends to Prof, characterised, under mild side conditions, as the Eilenberg-Moore category for the lax morphism classifier comonad on T-Alg_s (part 2) – 17 October 2012
- T-multicategories and their morphisms, for T a 2-monad on Cat which extends to Prof, characterised, under mild side conditions, as the Eilenberg-Moore category for the lax morphism classifier comonad on T-Alg_s (part 1) – 10 October 2012
- Monads that extend from Set to Rel – 18 July 2012
- The fformal theory of monads – 2 May 2012
- The so-exact completion of a 2-category – 18 April 2012
- Regular 2-categories (part 3) – 4 April 2012
- Regular 2-categories (part 2) – 28 March 2012
- Regular 2-categories (part 1) – 21 March 2012
- Une catéade, qu'est-ce que c'est? (part 2) – 25 January 2012
- Une catéade, qu'est-ce que c'est? (part 1) – 18 January 2012
- More Mal'cev musings (part 2) – 21 December 2011
- More Mal'cev musings (part 1) – 14 December 2011
- Pushouts characteristic of the pretopos – 23 November 2011
- Weighted limits – 9 November 2011
- Yes, you, too, could have invented plethysm – 12 October 2011
- Three flavours of pie – 14 September 2011
- A characterisation of algebraic exactness – 24 August 2011
- A somewhat malleable proof that finite limits commute with filtered colimits – 10 August 2011
- Categories in which effective descent = regular epimorphism – 3 August 2011
- Restriction categories as enriched categories – 27 July 2011
- On "On the essentially algebraic theory generated by a sketch" – 29 June 2011
- 1001 characterisations of pie – 15 June 2011
- The Schanuel topos – 11 May 2011
- Introduction to type theory (part 3) – 20 April 2011
- Introduction to type theory (part 2) – 13 April 2011
- Introduction to type theory (part 1) – 6 April 2011
- What I did on my holidays – 30 March 2011
- Stone Duality – 23 March 2011
- Lex colimits (part 2) – 23 February 2011
- Lex colimits (part 1) – 16 February 2011
- Type theory, weak omega-categories, and all that – 8 December 2010
- Revisiting the nerve theorem (part 2) – 20 October 2010
- Revisiting the nerve theorem (part 1) – 6 October 2010
- Abstractly analysing analyticity (part 2) – 22 September 2010
- Abstractly analysing analyticity (part 1) – 15 September 2010
- Commutativity – 1 September 2010
- Extremely elementary group cohomology – 11 August 2010
- Simplicial Homotopies – 21 July 2010
- Something for everyone – 10 February 2010
- Presentations of factorisation systems – 16 December 2009
- Weak maps – 9 December 2009
- Ionads: a generalisation of the notion of topological space II – 18 November 2009
- Ionads: a generalisation of the notion of topological space – 28 October 2009