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.

Volterra series – 26 July 2023
Some recherche monoidal structures – 17 May 2023
Centralisers, centres and all that – 22 February 2023
Perspectives on V – 1 February 2023
The topological behaviour category of an algebraic theory – 22 June 2022
Varieties of [B|M]-sets (part 2) – 15 June 2022
Varieties of [B|M]-sets – 8 June 2022
Bisimulation versus trace equivalence – 13 April 2022
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

Back