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.
28 May 2025
James East
Projection algebras and free regular *-semigroups
(abs)
Azeef Muhammed
A categorical representation for left reductive regular semigroups
(abs)
21 May 2025
Marcello Lanfranchi
Representable tangent structures for affine schemes
(abs)
14 May 2025
JS Lemay
Introducing Cartesian Fermat Categories
(abs)
Carlos Pascual Miralles
Important Identities in Cartesian Fermat Categories
(abs)
7 May 2025
JS Lemay
Dagger Drazin Inverses
(abs)
30 April 2025
Edmund Heng
A generalisation of Gabrielโs theorem through fusion categories
(abs)
16 April 2025
Ross Street
Objective Mackey and Tambara functors via parametrized categories
(abs)
Peter Symonds
Asymptotic properties of tensor powers and Banach algebras
(abs)
9 April 2025
William Troiani
Programs as singularities: the geometry and derivatives of Turing machines when encoded into differential linear logic
(abs)
Chiara Sava
Differential graded algebras in differential categories
(abs)
2 April 2025
Joel Richardson
Algebras of the tangent bundle monad
(abs)
Harry Clarke
A stack model for dependent type theory
(abs)
26 March 2025
John Power
Plotkin and Pitts: substitution and binders
(abs)
19 March 2025
Marcello Lanfranchi
The formal theory of tangent objects I
(abs)
12 March 2025
Richard Garner
Polynomial comodules and PRA functors
(abs)
5 March 2025
Chiara Sava
The derivator associated to a dg-category
(abs)
26 Feburary 2025
Svetlana Makarova
Grothendieck duality for derived algebraic stacks
(abs)
Bregje Pauwels
Approximable triangulated categories
(abs)
19 Feburary 2025
Chiara Sava
โ-Dold-Kan correspondence via representation theory
(abs)
Alexander Campbell
Skew enrichment through variation
(abs)
12 Feburary 2025
Matthew di Meglio
Dagger categories of relations: the return of the regular-ish category
(abs)
Ross Street
Polynomials via completions of parametrized categories
(abs)
5 Feburary 2025
Nathanael Arkor
Reconciling local and global colimits
(abs)
29 January 2025
Nathanael Arkor
Laxity via representability
(abs)
Jonathan Weinberger
Directed univalence and the Yoneda embedding for synthetic (โ,1)-categories
(abs)
22 January 2025
Matthew di Meglio
๐*-categories: where analytic and categorical limits meet
(abs)
4 December 2024
JS Lemay
Strict Monoids in Traced Monoidal Categories
(abs)
27 November 2024
Geoff Vooys
A Zariski Topology for Tangent Categories
(2/2)
(abs)
Rose Kudzman-Blais
Constructing linear bicategories from quantales and quantaloids
(abs)
20 November 2024
Rose Kudzman-Blais
Medial linearly distributive categories and the LD-Fox theorem
(abs)
Geoff Vooys
A Zariski topology for tangent categories
(1/2)
(abs)
13 November 2024
Christoph Schweigert
GV-module categories, Frobenius algebras and relative Serre functors
(abs)
6 November 2024
Roozbeh Hazrat
Monoids, Dynamics and Leavitt path algebras
(abs)
23 October 2024
Joe Baine
Category ๐ช and its generalisations
(abs)
9 October 2024
Christopher Hone
Coherence problems within a six functor formalism
(abs)
25 September 2024
Alexander Sherman
Fun with supersymmetry
(abs)
Isaac Bankier
Equality in Elementary Fibrations
(abs)
18 September 2024
Jason Brown
Weights for oplax colimits
(abs)
11 September 2024
Richard Garner
Isotropy Groups
(abs)
28 August 2024
Shay Tobin
Characterising the category of Hilbert spaces
(abs)
Steve Lack
๐-categories, ๐-simplicial structure, and horizontal units
21 August 2024
Ulrich Krรคhmer
The ring of differential operators on a monomial curve is a Hopf algebroid
(abs)
Andrej Bauer
The countable reals
(abs)
14 August 2024
Richard Garner
Powerset and Vietoris, universally
(abs)
7 August 2024
Joanna Ko
Limits of (โ, 1)-categories with structure & their lax morphisms
(abs)
Soichiro Fujii
Enrichment and families over a virtual double category
(abs)
31 July 2024
Joanna Ko
Enhanced Marked 2-Limits
(abs)
Soichiro Fujii
Powerful functors via simplicial sets
(abs)
24 July 2024
Nick Hu
Visualising program dataflow with string diagrams
(abs)
Alexander Campbell
Two models for equipment-enriched category theory
(abs)
17 July 2024
Nick Hu
Coherent invertibility in associative ๐-categories
(abs)
10 July 2024
Alexander Campbell
Relative limits as weighted limits
(abs)
Richard Garner
What I did on my holidays
3 July 2024
Steve Lack
Generalized multicategories and change-of-base
(2/2)
19 June 2024
Soichiro Fujii
Weak equivalences between weak ฯ-categories II
(abs)
12 June 2024
Steve Lack
Generalized multicategories and change-of-base
(1/2)
5 June 2024
Eli Hazel
Clones, coclones, and the duality between relations and operations
(2/2)
(abs)
29 May 2024
Eli Hazel
Clones, coclones, and the duality between relations and operations
(1/2)
(abs)