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.
11 September 2024
Richard Garner
Isotropy Groups
(abs)
28 August 2024
Shay Tobin
Characterising the category of Hilbert spaces
(abs)
Steve Lack
T-categories, T-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 n-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)
22 May 2024
Will Donovan
Derived symmetries for crepant resolutions of hypersurfaces
(abs)
15 May 2024
Ross Street
Objective Mackey and Tambara functors
(abs)
8 May 2024
JS Lemay
Drazin Inverses in Additive Categories and Fitting's Results
(abs)
1 May 2024
John Power
A Binding Calculation
(abs)
24 April 2024
JS Lemay
On Leinster's Eventual Image Duality (and the relation to Drazin inverses)
(abs)
17 April 2024
JS Lemay
Drazin Inverses in Categories
(abs)
3 April 2024
Arnaud Brothier
Forest-skein categories and groups
(abs)
27 March 2024
Marcello Lanfranchi
Algebraic deformation and tangent categories
(abs)
20 March 2024
Marcello Lanfranchi
The Grothendieck construction in the context of tangent categories
(abs)
13 March 2024
Dilshan Wijesena
Classifying representations of the Thompson groups and the Cuntz algebra
(abs)
6 March 2024
Richard Blute
Quantum Sets and Finiteness Spaces
(abs)
28 Feburary 2024
Richard Garner
The free monoidal differential modality
(abs)
21 Feburary 2024
Adrian Miranda
The Elementary Theory of the 2-Category of Small Categories
(abs)
14 Feburary 2024
Marcello Lanfranchi
The geometric tangent category of an operad
(2/2)
(abs)
7 Feburary 2024
Marcello Lanfranchi
The geometric tangent category of an operad
(1/2)
(abs)
24 January 2024
Emily Riehl
Formalizing the ∞-categorical Yoneda lemma in the Rzk proof assistant
(abs)
17 January 2024
James East
A groupoid approach to regular *-semigroups
(1/2)
(abs)
Azeef Muhammed
A groupoid approach to regular *-semigroups
(2/2)
(abs)
13 December 2023
Ross Street
Wood fusion for magmal comonads
(abs)
29 November 2023
Keisuke Hoshino
Factorisation systems and equipments
(abs)
15 November 2023
Bregje Pauwels
Tensor categories
(2/2)
(abs)
8 November 2023
Bregje Pauwels
Tensor categories
(1/2)
(abs)
1 November 2023
Soichiro Fujii
Weak equivalences between weak ω-categories
(abs)
25 October 2023
JS Lemay
Derivations and Integrations in a Differential Category (with Antiderivatives)
(abs)
18 October 2023
Arnaud Brothier
Forest-skein categories and groups
(abs)
4 October 2023
Soichiro Fujii
Enrichment preserves fibrations
(abs)
27 September 2023
Michael Johnson
Theories, classical and uncomplemented
(abs)
Paul Lessard
Categories symmetric monoidal, semi-cartesian and Markov; computads for such and variations of Shulman's practical type system for each
(abs)
20 September 2023
JS Lemay
Algebras of classified restriction categories
(abs)
13 September 2023
JS Lemay
Classical distributive restriction categories
(abs)