Australian Category Seminar
About
Recent
Past
Speakers
70
86
96
97
98
99
00
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
All
Here is a list of past talks given at the Australian Category Seminar. Use the buttons to choose a year. Click on a speaker's name for their other talks.
2025
22 January
Matthew di Meglio
𝑀*-categories: where analytic and categorical limits meet
(abs)
29 January
Nathanael Arkor
Laxity via representability
(abs)
Jonathan Weinberger
Directed univalence and the Yoneda embedding for synthetic (∞,1)-categories
(abs)
5 Feburary
Nathanael Arkor
Reconciling local and global colimits
(abs)
12 Feburary
Matthew di Meglio
Dagger categories of relations: the return of the regular-ish category
(abs)
Ross Street
Polynomials via completions of parametrized categories
(abs)
19 Feburary
Chiara Sava
∞-Dold-Kan correspondence via representation theory
(abs)
Alexander Campbell
Skew enrichment through variation
(abs)
26 Feburary
Svetlana Makarova
Grothendieck duality for derived algebraic stacks
(abs)
Bregje Pauwels
Approximable triangulated categories
(abs)
5 March
Chiara Sava
The derivator associated to a dg-category
(abs)
12 March
Richard Garner
Polynomial comodules and PRA functors
(abs)
19 March
Marcello Lanfranchi
The formal theory of tangent objects I
(abs)
26 March
John Power
Plotkin and Pitts: substitution and binders
(abs)
2 April
Joel Richardson
Algebras of the tangent bundle monad
(abs)
Harry Clarke
A stack model for dependent type theory
(abs)
9 April
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)
16 April
Ross Street
Objective Mackey and Tambara functors via parametrized categories
(abs)
Peter Symonds
Asymptotic properties of tensor powers and Banach algebras
(abs)