Australian Category Seminar
About
Recent
Past
Speakers
Here is a list of talks given over the past twelve months at the Australian Category Seminar. Click on a speaker's name for their other talks.
29 July 2026
Edmund Heng
An equivariant Auslander correspondence
(abs)
8 July 2026
Charles Walker
Locally subcartesian closed categories
(abs)
1 July 2026
Chandan Singh
A Cyclic Operadic Characterization of the Profinite Grothendieck-Teichmüller Group
(abs)
24 June 2026
Joel Richardson
Filtrations and Formality Problems
(abs)
17 June 2026
Declan Zammit
Normal Isofibrations of Infinity Categories
(abs)
3 June 2026
Charlotte Clarke
Stack models of type theory
(abs)
27 May 2026
Robin Cockett
Traces, Kleene wands, and co-universal natural number objects
(abs)
6 May 2026
Robin Cockett
Curve objects in tangent restriction categories
(abs)
29 April 2026
Joel Richardson
The linear part of the algebras of the tangent bundle monad
(abs)
22 April 2026
Matthias Fresacher
Categorical representation of DRC-semigroups
(abs)
15 April 2026
Isaiah Hilsenrath
Linear and Monoidal Differential Turing Categories
(abs)
8 April 2026
Alexander Campbell
What an ω-category is
(abs)
1 April 2026
Ralf Meyer
Groupoid models and their universal property
(abs)
25 March 2026
Jean-Baptiste Vienney
Variants of differential categories
(abs)
18 March 2026
Chad Nester
A Structural Account of Combinatory Completeness
(abs)
11 March 2026
Shin-ya Katsumata
Codensity Liftings and Their Applications
(abs)
4 March 2026
Rob Cornish
A categorical account of the Metropolis-Hastings algorithm
(abs)
25 Feburary 2026
Yuki Maehara
Upgrading equivalences in weak ω-categories to coherent ones
(abs)
Gabriele Lobbia
Constructing Canonical Calculi
(abs)
18 Feburary 2026
Giacomo Tendas
Accessible 2-categories, isocartesian theories, and free constructions
(abs)
11 Feburary 2026
Marcello Lanfranchi
Ehresmann connections in tangent categories
(abs)
4 Feburary 2026
Marcello Lanfranchi
Pullbacks in tangent categories and tangent display maps
(abs)
28 January 2026
Jana Nickel
Relative monads and Hopf monads
(abs)
21 January 2026
Ross Street
Homodular pseudofunctors and bicategories of modules
(abs)
7 January 2026
Isaac Bankier
Weak-target categories encode self-similarity
(abs)
17 December 2025
Luka Carroll
Presentations for new diagram monoids arising from domain and range operations
(abs)
10 December 2025
James Hefford
Closed Premonoidal Categories and Effectful Optics
(2/2)
(abs)
3 December 2025
James Hefford
Closed Premonoidal Categories and Effectful Optics
(abs)
26 November 2025
James Hefford
Categorical Quantum Supermaps
(abs)
19 November 2025
Adrian Doña Mateo
Cauchy density and lax epimorphisms
(abs)
Alexander Campbell
Parity Complexes (Reprise)
(abs)
12 November 2025
Tarmo Uustalu
Sweedler theory of monads
(abs)
Michael Johnson
Rejuvenating Chain Complexes
(abs)
5 November 2025
Bart Jacobs
Categorical Probability Theory
(abs)
Tarmo Uustalu
Coherence for skew structures with proof theory
(abs)
29 October 2025
Marcello Lanfranchi
Local categories: a new approach to partiality
(abs)
22 October 2025
Leonardo Maltoni
Soergel Calculus with patches
(abs)
15 October 2025
Alexander Campbell
Steiner theory without negatives
(abs)
8 October 2025
Alexander Campbell
Understanding Steiner at 35
(abs)
1 October 2025
Michael Johnson
Ross Street: Timeline and Context
(abs)
Dominic Verity
Complicial Sets, where to from here?
(abs)
Mitch Buckley
T-Multicategories and polynomials via distributive laws
(abs)
24 September 2025
Philip Hackney
Around partial groups
(abs)
17 September 2025
Cole Comfort
Categorical semantics for discrete time dynamics
(abs)
10 September 2025
Cole Comfort
Syntax and semantics for mechanical processes
(abs)
Alexander Campbell
Double categorical equivalences (Alex's version)
(abs)
3 September 2025
JS Lemay
From Moore-Penrose to Markov via Gauss
(abs)
27 August 2025
Ross Street
A 40 year old proof of a 65 year old theorem
(abs)
20 August 2025
Steve Lack
Multicategories can be powerful
13 August 2025
Richard Garner
Commuting tensor products via normal oplax monoidal double categories
(abs)
6 August 2025
Sacha Ikonicoff
Gradient descent and neural networks: a categorical approach
(abs)
30 July 2025
Sacha Ikonicoff
From abelianization to tangent categories
(abs)