Australian Category Seminar

• About AusCat
• Recent talks
• Past talks
• CoACT

Recent talks

Here is a list of talks given over the past twelve months at the Australian Category Seminar. Click on the title for an abstract, or on the speaker's name for other talks by that speaker.

For older talks, click here.

3 April 2024, Macquarie

• 2pm: Arnaud Brothier – Forest-skein categories and groups

27 March 2024, Macquarie

• 2pm: Marcello Lanfranchi – Algebraic deformation and tangent categories

20 March 2024, Macquarie

• 2pm: Marcello Lanfranchi – The Grothendieck construction in the context of tangent categories

13 March 2024, Macquarie

• 2pm: Dilshan Wijesena – Classifying representations of the Thompson groups and the Cuntz algebra

6 March 2024, Macquarie

• 2pm: Richard Blute – Quantum Sets and Finiteness Spaces

28 February 2024, Macquarie

• 2pm: Richard Garner – The free monoidal differential modality

21 February 2024, Macquarie

• 2pm: Adrian Miranda – The Elementary Theory of the 2-Category of Small Categories

14 February 2024, Macquarie

• 2pm: Marcello Lanfranchi – The geometric tangent category of an operad (part 2)

7 February 2024, Macquarie

• 2pm: Marcello Lanfranchi – The geometric tangent category of an operad (part 1)

24 January 2024, Macquarie

• 2pm: Emily Riehl – Formalizing the ∞-categorical Yoneda lemma in the Rzk proof assistant

17 January 2024, Macquarie

• 2pm: James East – A groupoid approach to regular *-semigroups (part 1)
• 4pm: Azeef Muhammed – A groupoid approach to regular *-semigroups (part 2)

13 December 2023, Macquarie

• 2pm: Ross Street – Wood fusion for magmal comonads

29 November 2023, Macquarie

• 2pm: Keisuke Hoshino – Factorisation systems and equipments

15 November 2023, Macquarie

• 2pm: Bregje Pauwels – Tensor categories (part 2)

8 November 2023, Macquarie

• 2pm: Bregje Pauwels – Tensor categories (part 1)

1 November 2023, Macquarie

• 2pm: Soichiro Fujii – Weak equivalences between weak omega-categories

25 October 2023, Macquarie

• 2pm: JS Lemay – Derivations and Integrations in a Differential Category (with Antiderivatives)

18 October 2023, Macquarie

• 2pm: Arnaud Brothier – Forest-skein categories and groups

4 October 2023, Macquarie

• 2pm: Soichiro Fujii – Enrichment preserves fibrations

27 September 2023, Macquarie

• 2pm: Michael Johnson – Theories, classical and uncomplemented
• 4pm: Paul Lessard – Categories symmetric monoidal, semi-cartesian and Markov; computads for such and variations of Shulman’s practical type system for each

20 September 2023, Macquarie

• 2pm: JS Lemay – Algebras of classified restriction categories

13 September 2023, Macquarie

• 2pm: JS Lemay – Classical distributive restriction categories

6 September 2023, Macquarie

• 2pm: Adrian Miranda – Opmonoidal pseudomonads (part 2)

30 August 2023, Macquarie

• 2pm: Adrian Miranda – Opmonoidal pseudomonads (part 1)

26 July 2023, Macquarie

• 2pm: Richard Garner – Volterra series

21 June 2023, Macquarie

• 2pm: Giulian Wiggins – A classical recreation of a Day convolution product on strict polynomial functors

7 June 2023, Macquarie

• 2pm: Nuiok Dicaire – The theory of localisable monads

31 May 2023, Macquarie

• 2pm: Soichiro Fujii – Open maps of preordered sets

24 May 2023, Macquarie

• 2pm: JS Lemay – Traced monads and Hopf monads

17 May 2023, Macquarie

• 2pm: Richard Garner – Some recherche monoidal structures

10 May 2023, Macquarie

• 2pm: JS Lemay – Moore-Penrose Dagger Categories