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.
14 October 2026
Zsuzsanna Dancso
Goldman-Turaev formality from the Kontsevich integral
(abs)
7 October 2026
Ryan Seelig
Forest-skein groups II: Exotic simple groups built from monoidal categories
(abs)
30 September 2026
Ryan Seelig
Forest-skein groups I: From monoidal categories to Thompson-like groups
(abs)
Jonathan Taylor
Using pointless topology to compute limits of groupoids
(abs)
23 September 2026
Aymeric Walch
Taylor expansion in categorical semantics of programming languages
(abs)
16 September 2026
Aymeric Walch
A compositional approach to Taylor expansion
(abs)
9 September 2026
Declan Zammit
How to Construct Strict Conical Limits in a Category of Fibrant Objects
(abs)
2 September 2026
Nelson Odins-Jones
An Introduction to Classical Quantum Topology
(abs)
26 August 2026
Marcello Lanfranchi
The differential Lie algebra of a tangent Lie group
(abs)
12 August 2026
Ivan Schweiger
Tangent category structures in C-infinity algebraic geometry
(abs)
5 August 2026
Jerry Zhang
A comonad via algebraically-free commutative monoids
(abs)
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)