Talks from 2020
Here is a list of all talks given in 2020 at the Australian Category Seminar. Click on the title for an abstract, or on the speaker's name for other talks by that speaker.
You may also view talks from
all years, or from
any of the following individual years:
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2021
2022
2023
2024
16 December 2020, Online
- 2pm: Emily Riehl – A formal language for model-independent (∞,1)-category theory
- 4pm: Alexander Campbell – How nice is the category of condensed sets?
2 December 2020, Online
- 2.30pm: Eli Hazel – Stone-type dualities from categorical first principles
- 2pm: Giacomo Tendas – Dualities for accessible categories
- 3pm: Bryce Clarke – Generalising fibrations via multi-valued functions
11 November 2020, Online
4 November 2020, Online
28 October 2020, Online
- 2pm: Bryce Clarke – Cofunctors, monoids, and split epimorphisms
- 4pm: Sophie Raynor – A nerve theorem and graphical calculus for compact closed categories
21 October 2020, Online
- 11am: Jason Parker – Isotropy Groups of Quasi-Equational Theories
- 2pm: Sophie Raynor – Graphs and nerves for circuit operads and compact closed categories (part 2)
14 October 2020, Online
- 2pm: Alexander Campbell – A model-independent construction of the Gray monoidal structure for (∞,2)-categories
- 4pm: Richard Garner – Cartesian closed varieties (part 2)
7 October 2020, Online
- 4pm: Steve Lack – Polynomials, biproducts, and wreaths
30 September 2020, Online
- 2pm: Bryce Clarke – Lax double functors into Span-like double categories
- 4pm: Richard Garner – Cartesian closed varieties (part 1)
14 September 2020, Online
9 September 2020, Online
- 2pm: Ross Street – More on fake pullbacks
- 4pm: Sophie Raynor – Modular operads, compact closed categories and circuits
26 August 2020, Online
- 2pm: Bryce Clarke – Lenses as algebras for a monad
- 4pm: Paul Lessard – Elementary reasoning for structuralists, Shulman's practical type theory of symmetric monoidal categories, and sketches of a type theory for symmetric monoidal bicategories (part 3)
19 August 2020, Online
- 2pm: Paul Lessard – Elementary reasoning for structuralists, Shulman's practical type theory of symmetric monoidal categories, and sketches of a type theory for symmetric monoidal bicategories (part 2)
12 August 2020, Online
- 4pm: Paul Lessard – Elementary reasoning for structuralists, Shulman's practical type theory of symmetric monoidal categories, and sketches of a type theory for symmetric monoidal bicategories (part 1)
- 4pm: Richard Garner – Categories of comodels
5 August 2020, Online
- 11am: Giacomo Tendas – Accessible categories with limits of some class
- 9am: Paula Verdugo Hernandez – A tale of two model structures
29 July 2020, Online
- 2pm: Alexander Campbell – Straightening a la Joyal
- 4pm: Yuki Maehara – Augmented simplicial sets as M-sets
22 July 2020, Online
1 July 2020, Online
- 2pm: Sophie Raynor – A distributive law for modular operads
- 4pm: Ross Street – The monoidal centre for group-graded categories
17 June 2020, Online
- 2pm: Alexander Campbell – The folk model structure for double categories
- 4pm: Richard Garner – The dependently typed update monad
3 June 2020, Online
27 May 2020, Online
- 2pm: John Power – Indexed Lawvere theories for local state
- 4pm: Anna Romanov – Representations of representations of sl(2,C)
20 May 2020, Online
13 May 2020, Online
- 2pm: Dominic Verity – I want to be straight! (part 1)
- 4pm: Richard Garner – Probabilistic automata as comodels in models
6 May 2020, Online
- 2pm: Richard Garner – Continuous functions on streams
- 4pm: Ross Street – The nucleus of an adjunction
29 April 2020, Online
15 April 2020, Online
8 April 2020, Online
1 April 2020, Online
- 2pm: John Power – Data refinement in a categorical setting: enrichment in a non-symmetric monoidal biclosed category
- 4pm: Giacomo Tendas – Equivalent characterizations of accessible V-categories (part 2)
25 March 2020, Online
11 March 2020, Macquarie
4 March 2020, Macquarie
- 2pm: Paul Lessard – Spectra as locally finite Z-groupoids (part 4)
- 4pm: Sophie Raynor – A forager's guide to infinity operads (with recipes)
26 February 2020, Macquarie
- 2pm: Mike Johnson – Multicategories of multilenses (and some more about one good leg)
- 4pm: Ross Street – Examples of abstracted polynomials, and Kleisli bicategories
19 February 2020, Macquarie
- 2pm: Christina Vasilakopoulou – Sweedler Theory for Species
- 4pm: Paul Lessard – Spectra as locally finite Z-groupoids (part 3)
12 February 2020, Macquarie
- 2pm: Mike Johnson – Lenses, learners, and on the benefits of having one good leg
- 4pm: Christina Vasilakopoulou – Sweedler Theory for Duoidal Categories