## All past talks

Here is a list of all talks given at the Australian Category Seminar. Click on the title for an abstract, or on the speaker's name for other talks by that speaker.

You may also view talks from
any of the following individual years:

1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024

### 3 April 2024, Macquarie

### 27 March 2024, Macquarie

### 20 March 2024, Macquarie

### 13 March 2024, Macquarie

### 6 March 2024, Macquarie

### 28 February 2024, Macquarie

### 21 February 2024, Macquarie

### 14 February 2024, Macquarie

### 7 February 2024, Macquarie

### 24 January 2024, Macquarie

### 17 January 2024, Macquarie

- 2pm: James East – A groupoid approach to regular *-semigroups (part 1)
- 4pm: Azeef Muhammed – A groupoid approach to regular *-semigroups (part 2)

### 13 December 2023, Macquarie

### 29 November 2023, Macquarie

### 15 November 2023, Macquarie

- 2pm: Bregje Pauwels – Tensor categories (part 2)

### 8 November 2023, Macquarie

- 2pm: Bregje Pauwels – Tensor categories (part 1)

### 1 November 2023, Macquarie

### 25 October 2023, Macquarie

### 18 October 2023, Macquarie

### 4 October 2023, Macquarie

### 27 September 2023, Macquarie

- 2pm: Michael Johnson – Theories, classical and uncomplemented
- 4pm: Paul Lessard – Categories symmetric monoidal, semi-cartesian and Markov; computads for such and variations of Shulman’s practical type system for each

### 20 September 2023, Macquarie

### 13 September 2023, Macquarie

### 6 September 2023, Macquarie

- 2pm: Adrian Miranda – Opmonoidal pseudomonads (part 2)

### 30 August 2023, Macquarie

- 2pm: Adrian Miranda – Opmonoidal pseudomonads (part 1)

### 26 July 2023, Macquarie

- 2pm: Richard Garner – Volterra series

### 21 June 2023, Macquarie

- 2pm: Giulian Wiggins – A classical recreation of a Day convolution product on strict polynomial functors

### 7 June 2023, Macquarie

### 31 May 2023, Macquarie

### 24 May 2023, Macquarie

### 17 May 2023, Macquarie

### 10 May 2023, Macquarie

### 26 April 2023, Macquarie

- 2pm: Ruben Zilibowitz – Game Semantics for Free Cartesian Closed Categories: A Clear Account of the Correspondence with the ccc-Calculus

### 19 April 2023, Macquarie

### 12 April 2023, Macquarie

### 5 April 2023, Macquarie

### 29 March 2023, Macquarie

### 22 March 2023, Macquarie

- 11am: Bregje Pauwels – Approximation in triangulated categories with partial Serre functors (part 1)

### 15 March 2023, Macquarie

### 8 March 2023, Macquarie

- 2pm: Adrian Miranda – Towards pasting in, and presentations of, semi-strict low dimensional higher categories with weak interchange

### 1 March 2023, Macquarie

- 2pm: Michael Johnson – no title

### 22 February 2023, Macquarie

### 8 February 2023, Macquarie

### 1 February 2023, Macquarie

- 2pm: Emily Riehl – Diagram chasing with the mates correspondence
- 4pm: Richard Garner – Perspectives on V

### 15 December 2022, Macquarie

- 11am: Bob Coecke – From Australian Category Theory to ZX-calculus and quantum computing

### 14 December 2022, Macquarie

### 30 November 2022, Macquarie

### 9 November 2022, Macquarie

### 5 October 2022, Macquarie

### 14 September 2022, Macquarie

### 7 September 2022, Macquarie

### 31 August 2022, Macquarie

### 17 August 2022, Macquarie

### 10 August 2022, Macquarie

### 3 August 2022, Macquarie

- 2pm: Michael Batanin – Distributive operadic categories
- 4pm: Adrian Miranda – Semi-strictness in three-dimensional category theory and a (non-monoidal) closed structure on the category of Gray-categories (Part 2)

### 27 July 2022, Macquarie

- 2pm: Adrian Miranda – Semi-strictness in three-dimensional category theory and a (non-monoidal) closed structure on the category of Gray-categories.
- 4pm: Ruben Zilibowitz – Game semantics for free cartesian closed categories

### 20 July 2022, Macquarie

### 13 July 2022, Macquarie

- 2pm: Ross Street – Thoughts on the paper ``Generic representation theory of finite fields in nondescribing characteristic'' by N.J. Kuhn

### 29 June 2022, Macquarie

### 22 June 2022, Macquarie

- 2pm: Ross Street – Monoidal centres and groupoid-graded categories
- 4pm: Richard Garner – The topological behaviour category of an algebraic theory

### 15 June 2022, Macquarie

- 2pm: John Power – Two questions about binders
- 4pm: Richard Garner – Varieties of [B|M]-sets (part 2)

### 8 June 2022, Macquarie

### 1 June 2022, Macquarie

- 2pm: Soichiro Fujii – The oplax limit of an enriched category
- 4pm: David Farrell – (Homotopy) Type Theory and Awodey's Nautral Models

### 25 May 2022, Macquarie

### 18 May 2022, Macquarie

- 2pm: Matthew Di Meglio – Monoidal extensivity and the comodule fibration
- 4pm: Dimitri Ara – Homotopy theory of strict omega-categories

### 11 May 2022, Macquarie

### 27 April 2022, Macquarie

### 20 April 2022, Macquarie

- 2pm: Steve Lack – Normal isofibrations, split idempotents, and 2-categorical infinity-cosmoi

### 13 April 2022, Macquarie

### 6 April 2022, Macquarie

### 23 March 2022, Macquarie

### 2 March 2022, Macquarie

### 16 February 2022, Macquarie

- 2pm: Ross Street – Report on the book: ``Mackey 2-Functors and Mackey 2-Motives'' by Balmer and Dell'Ambrogio

### 9 February 2022, Macquarie

### 15 December 2021, Online

- 2pm: Matthew di Meglio – Proxy pullbacks in the category of lenses
- 4pm: Eli Hazel – Stone and Priestley dualities via the ultrafilter and prime filter monads

### 1 December 2021, Online

### 24 November 2021, Online

### 17 November 2021, Online

- 2pm: Paul Lesssard – The Lax-Shuffle Decomposition and the Cartesian←Gray→Shift Span

### 10 November 2021, Online

### 27 October 2021, Online

- 2pm: Bryce Clarke – Enriched lenses

### 20 October 2021, Online

### 13 October 2021, Online

### 29 September 2021, Online

### 22 September 2021, Online

### 15 September 2021, Online

### 8 September 2021, Online

### 25 August 2021, Online

### 11 August 2021, Online

### 4 August 2021, Online

### 21 July 2021, Online

### 14 July 2021, Online

- 2pm: Alexander Campbell – On homotopy coherent natural transformations (part 3)
- 4pm: Hardy Hulley – A Consolidated Picture of Signed Measure Monads

### 7 July 2021, Online

- 2pm: Soichiro Fujii – Quantaloid approach to constraint satisfaction
- 4pm: Alexander Campbell – On homotopy coherent natural transformations (part 2)

### 30 June 2021, Online

- 10am: Nicholas Meadows – Higher Theories and Monads
- 12pm: Sophie Raynor – Modular operads, Brauer diagrams, and a graphical nerve theorem for circuit algebras

### 23 June 2021, Online

- 2pm: Takeo Uramoto – Algebraic language theory, Galois theory and class field theory
- 4pm: Zoltan Kocsis – Treewidth via spined categories

### 16 June 2021, Online

- 2pm: Alexander Campbell – On homotopy coherent natural transformations (part 1)

### 2 June 2021, Online

- 2pm: Nicola di Vittorio – 2-derivators

### 26 May 2021, Online

- 11am: Alexander Campbell – On weighted homotopy limits in Kan-enriched categories
- 9am: Simon Henry – The effective and the constructive Kan-Quillen model structure

### 19 May 2021, Online

### 12 May 2021, Online

### 28 April 2021, Online

- 2pm: Alexander Campbell – What is a homotopy epimorphism?
- 4pm: Bryce Clarke – Lenses as coalgebras for a comonad

### 7 April 2021, Online

### 24 March 2021, Online

- 2pm: Alexander Campbell – A convenient model category for tricategories (part 1)

### 10 March 2021, Online

### 3 March 2021, Online

- 2pm: Alexander Campbell – The model category of distinguished Gray-categories
- 4pm: Ross Street – Variations on a comprehensive theme

### 24 February 2021, Online

- 2pm: Aidan Sims – Homotopy of product systems, K-theory of k-graph algebras, and the Yang-Baxter equation
- 4pm: Paul Lessard – A Question About Homotopies of Product Systems, Prefaced with an Introduction to A^1 / Motivic Homotopy Theory and Oestvaers’s Motivic-style Homotopy Theory of C*-algebras

### 17 February 2021, Online

- 2pm: Yuki Maehara – Orientals as free weak ω-categories
- 4pm: Bryce Clarke – What's so nice about the category of lenses?

### 3 February 2021, Online

- 2pm: Amnon Neeman – Uniqueness theorems for dg enhancements
- 4pm: Matthew di Meglio – Polynomials in Symmetric Monoidal Categories (part 2)

### 27 January 2021, Online

- 2pm: Giacomo Tendas – Flat vs. filtered colimits
- 4pm: Matthew di Meglio – Polynomials in Symmetric Monoidal Categories (part 1)

### 20 January 2021, Online

### 16 December 2020, Online

- 2pm: Emily Riehl – A formal language for model-independent (∞,1)-category theory
- 4pm: Alexander Campbell – How nice is the category of condensed sets?

### 2 December 2020, Online

- 2.30pm: Eli Hazel – Stone-type dualities from categorical first principles
- 2pm: Giacomo Tendas – Dualities for accessible categories
- 3pm: Bryce Clarke – Generalising fibrations via multi-valued functions

### 11 November 2020, Online

### 4 November 2020, Online

### 28 October 2020, Online

- 2pm: Bryce Clarke – Cofunctors, monoids, and split epimorphisms
- 4pm: Sophie Raynor – A nerve theorem and graphical calculus for compact closed categories

### 21 October 2020, Online

- 11am: Jason Parker – Isotropy Groups of Quasi-Equational Theories
- 2pm: Sophie Raynor – Graphs and nerves for circuit operads and compact closed categories (part 2)

### 14 October 2020, Online

- 2pm: Alexander Campbell – A model-independent construction of the Gray monoidal structure for (∞,2)-categories
- 4pm: Richard Garner – Cartesian closed varieties (part 2)

### 7 October 2020, Online

- 4pm: Steve Lack – Polynomials, biproducts, and wreaths

### 30 September 2020, Online

- 2pm: Bryce Clarke – Lax double functors into Span-like double categories
- 4pm: Richard Garner – Cartesian closed varieties (part 1)

### 14 September 2020, Online

### 9 September 2020, Online

- 2pm: Ross Street – More on fake pullbacks
- 4pm: Sophie Raynor – Modular operads, compact closed categories and circuits

### 26 August 2020, Online

- 2pm: Bryce Clarke – Lenses as algebras for a monad
- 4pm: Paul Lessard – Elementary reasoning for structuralists, Shulman's practical type theory of symmetric monoidal categories, and sketches of a type theory for symmetric monoidal bicategories (part 3)

### 19 August 2020, Online

- 2pm: Paul Lessard – Elementary reasoning for structuralists, Shulman's practical type theory of symmetric monoidal categories, and sketches of a type theory for symmetric monoidal bicategories (part 2)

### 12 August 2020, Online

- 4pm: Paul Lessard – Elementary reasoning for structuralists, Shulman's practical type theory of symmetric monoidal categories, and sketches of a type theory for symmetric monoidal bicategories (part 1)
- 4pm: Richard Garner – Categories of comodels

### 5 August 2020, Online

- 11am: Giacomo Tendas – Accessible categories with limits of some class
- 9am: Paula Verdugo Hernandez – A tale of two model structures

### 29 July 2020, Online

- 2pm: Alexander Campbell – Straightening a la Joyal
- 4pm: Yuki Maehara – Augmented simplicial sets as M-sets

### 22 July 2020, Online

### 1 July 2020, Online

- 2pm: Sophie Raynor – A distributive law for modular operads
- 4pm: Ross Street – The monoidal centre for group-graded categories

### 17 June 2020, Online

- 2pm: Alexander Campbell – The folk model structure for double categories
- 4pm: Richard Garner – The dependently typed update monad

### 3 June 2020, Online

### 27 May 2020, Online

- 2pm: John Power – Indexed Lawvere theories for local state
- 4pm: Anna Romanov – Representations of representations of sl(2,C)

### 20 May 2020, Online

### 13 May 2020, Online

- 2pm: Dominic Verity – I want to be straight! (part 1)
- 4pm: Richard Garner – Probabilistic automata as comodels in models

### 6 May 2020, Online

- 2pm: Richard Garner – Continuous functions on streams
- 4pm: Ross Street – The nucleus of an adjunction

### 29 April 2020, Online

### 15 April 2020, Online

### 8 April 2020, Online

### 1 April 2020, Online

- 2pm: John Power – Data refinement in a categorical setting: enrichment in a non-symmetric monoidal biclosed category
- 4pm: Giacomo Tendas – Equivalent characterizations of accessible V-categories (part 2)

### 25 March 2020, Online

### 11 March 2020, Macquarie

### 4 March 2020, Macquarie

- 2pm: Paul Lessard – Spectra as locally finite Z-groupoids (part 4)
- 4pm: Sophie Raynor – A forager's guide to infinity operads (with recipes)

### 26 February 2020, Macquarie

- 2pm: Mike Johnson – Multicategories of multilenses (and some more about one good leg)
- 4pm: Ross Street – Examples of abstracted polynomials, and Kleisli bicategories

### 19 February 2020, Macquarie

- 2pm: Christina Vasilakopoulou – Sweedler Theory for Species
- 4pm: Paul Lessard – Spectra as locally finite Z-groupoids (part 3)

### 12 February 2020, Macquarie

- 2pm: Mike Johnson – Lenses, learners, and on the benefits of having one good leg
- 4pm: Christina Vasilakopoulou – Sweedler Theory for Duoidal Categories

### 5 February 2020, Macquarie

- 2pm: Yuki Maehara – Towards the formal theory of homotopy coherent monads
- 4pm: Richard Garner – A view on codifferential categories

### 11 December 2019, Macquarie

### 27 November 2019, Macquarie

- 2pm: Bryce Clarke – Internal split opfibrations, lenses, and decalage
- 4pm: Martina Rovelli – An embedding of 2-categories into (oo,2)-categories

### 20 November 2019, Macquarie

### 13 November 2019, Macquarie

- 2pm: John Power – The finitary monad-Lawvere theory correspondence
- 4pm: Yuki Maehara – Gray tensor product for 2-quasi-categories

### 6 November 2019, Macquarie

- 2pm: Alexander Campbell – Joyal's cylinder conjecture (part 4)
- 4pm: Paul Lessard – Spectra as locally finite Z-groupoids (part 2)

### 30 October 2019, Macquarie

- 2pm: Daniel Murfet – Constructing A-infinite categories of matrix factorisations
- 4pm: Alexander Campbell – Joyal's cylinder conjecture (part 3)

### 23 October 2019, Macquarie

### 16 October 2019, Macquarie

- 2pm: Dror Bar-Natan – Algebraic Knot Theory
- 4pm: Alexander Campbell – Joyal's cylinder conjecture (part 2)

### 9 October 2019, Macquarie

- 2pm: Kevin Coulembier – Tannakian Categories
- 4pm: Alexander Campbell – Joyal's cylinder conjecture (part 1)

### 2 October 2019, Macquarie

### 25 September 2019, Macquarie

- 2pm: Richard Garner – Relative extensivity, multicategories and topological spaces
- 4pm: Bryce Clarke – Symmetric lenses as Mealy morphisms (part 2)

### 18 September 2019, Macquarie

### 4 September 2019, Macquarie

- 2pm: Alexander Campbell – Equivalences of complicial sets (part 2)

### 28 August 2019, Macquarie

- 2pm: Alexander Campbell – Equivalences of complicial sets (part 1)
- 4pm: Richard Garner – Parametric right adjoint functors and polynomials

### 21 August 2019, Macquarie

- 2pm: Bryce Clarke – Symmetric lenses as Mealy morphisms
- 4pm: Edouard Balzin – On lax limits of families of model categories

### 14 August 2019, Macquarie

- 2pm: Edouard Balzin – Operation-indexing categories and Grothendieck fibrations
- 4pm: Steve Lack – Ambrose-Palais-Singer theorem for tangent categories (part 2)

### 7 August 2019, Macquarie

- 2pm: Richard Garner – The free tangent category on an object with affine connection
- 4pm: Younesse Kaddar – Regarding the discrete distribution monad: tricocyloids, effecti, quantum probability, linear logic and other bric-a-brac

### 31 July 2019, Macquarie

- 2pm: Florian de Leger – Theta_2 and weak bimodules over 2-operads (part 2)
- 4pm: Steve Lack – Ambrose-Palais-Singer theorem for tangent categories (part 1)

### 24 July 2019, Macquarie

### 3 July 2019, Macquarie

- 2pm: Henning Krause – Completing triangulated categories
- 4pm: Florian de Leger – Theta_2 and weak bimodules over 2-operads

### 26 June 2019, Macquarie

- 2pm: Richard Garner – Fixpoint toposes

### 19 June 2019, Macquarie

- 2pm: Richard Garner – Topos theoretic aspects of self-similarity
- 4pm: Ross Street – Spans, Relations, and all that

### 5 June 2019, Macquarie

- 2pm: Alexander Campbell – 2-quasi-categories vs Segal 2-categories
- 4pm: Michael Batanin – Explicit Poisson bracket on total complex of n-commutative cosimplicial monoid

### 29 May 2019, Macquarie

- 2pm: Arnaud Brothier – Jones' actions of groups of fractions
- 4pm: Steve Lack – Sketching quasivarieties

### 22 May 2019, Macquarie

- 2pm: David Bulger – Seeking vocabulary and theory to describe spaces of affine symmetries
- 3:30pm: Ross Street – Polynomic rethink

### 15 May 2019, Macquarie

- 2pm: Marcy Robertson – Formality theorems and infinity-(pr)operads
- 3:45pm: Alexander Campbell – A counterexample in quasi-category theory

### 8 May 2019, Macquarie

- 2pm: Bartosz Milewski – Profunctor Optics and Doubles for Monoidal Categories
- 3:45pm: Richard Garner – Cartesian differential categories as skew-enriched categories

### 1 May 2019, Macquarie

- 2pm: Giacomo Tendas – Definable Enriched Categories
- 3:30pm: Dominic Verity – Transformations of Homotopy Coherent Monads (part 2)

### 17 April 2019, Macquarie

- 2pm: Dominic Verity – Transformations of Homotopy Coherent Monads (part 1)
- 4pm: Steve Lack – Weak adjoint functor theorems

### 10 April 2019, Macquarie

- 2pm: Michael Batanin – An explicit E_n-action on total complex of (n-1)-commutative monoid (part 2)
- 4pm: Daniel Lin – Restriction colimits and gluings

### 3 April 2019, Macquarie

- 2pm: Ramon Abud Alcala – Quantum functors a la Chikhladze turned skew
- 4pm: Michael Batanin – An explicit E_n-action on total complex of (n-1)-commutative monoid (part 1)

### 27 March 2019, Macquarie

- 2pm: Yuki Maehara – Inner horns for 2-quasi-categories
- 4pm: Sophie Raynor – An introduction to compact symmetric multicategories and problematic loops (part 3)

### 20 March 2019, Macquarie

- 2pm: Giacomo Tendas – Makkai's theorem in the enriched context
- 4pm: Robin Cockett – Hyperconnections

### 13 March 2019, Macquarie

- 2pm: Robin Cockett – Abstract topology for join restriction categories
- 4pm: Richard Garner – Inner automorphisms of groupoids

### 6 March 2019, Macquarie

- 2pm: Sophie Raynor – An introduction to compact symmetric multicategories and problematic loops (part 2)
- 4pm: Giacomo Tendas – Barr's embedding in the enriched context

### 27 February 2019, Macquarie

- 2pm: Sophie Raynor – An introduction to compact symmetric multicategories and problematic loops (part 1)
- 4pm: Ross Street – Further polynomic thoughts

### 13 February 2019, Macquarie

- 2pm: Ross Street – Polynomic thoughts
- 4pm: Steve Lack – Hopf structures, hyperplanes, and bands

### 6 February 2019, Macquarie

- 2pm: Max Menzies – The p-curvature and Bost's Conjecture for the Gauss-Manin connection on non-abelian cohomology
- 4pm: Richard Garner – J--T, V, L and F

### 19 December 2018, Macquarie

- 2pm: Alexei Davydov – Purely braided module categories
- 4pm: Florian De Leger – Polynomial monad for the Grothendieck construction

### 12 December 2018, Macquarie

- 2pm: Ross Street – Composition algebras

### 5 December 2018, Macquarie

- 2pm: Michael Batanin – Localization of substitudes
- 4pm: Richard Garner – Unary operadic categories and discrete decomposition spaces

### 28 November 2018, Macquarie

- 2pm: Anna Beliakova – Traces in endobicategories and quantized link homology
- 4pm: Martin Markl – Grothendieck's construction in operadic categories

### 21 November 2018, Macquarie

- 2pm: Bryce Clarke – Internal lenses
- 4pm: Adrian Miranda – Internal categories

### 14 November 2018, Macquarie

- 2pm: Ross Street – The scarcity of vector product algebras
- 4pm: Richard Garner – The disintegration operadic category

### 7 November 2018, Macquarie

- 2pm: Vinoth Nandakumar – A categorical approach to representation theory in positive characteristic
- 4pm: Alexander Campbell – The cubical enrichment of Cisinski model categories

### 24 October 2018, Macquarie

- 2pm: Richard Garner – Hypernormalisation and linear exponential monads
- 4pm: Alexander Campbell – On truncated quasi-categories (part 2)

### 10 October 2018, Macquarie

### 26 September 2018, Macquarie

- 2pm: Alexander Campbell – The fundamental theorem of n-quasi-category theory
- 4pm: Giacomo Tendas – An Introduction to Definable Additive Categories

### 19 September 2018, Macquarie

- 2pm: Hyeon Tai Jung – Model categories and homotopy (co)limits
- 4pm: Alexander Campbell – On truncated quasi-categories

### 12 September 2018, Macquarie

- 2pm: Richard Garner – The Vietoris monad via weak distributive laws
- 4pm: Ross Street – Reminiscing on [5]

### 29 August 2018, Macquarie

### 22 August 2018, Macquarie

- 2pm: Alexander Campbell – A skeleton key to Lurie's higher Grothendieck constructions
- 4pm: Michael Batanin – Presheaves of polynomial monads and Thomason's theorem

### 15 August 2018, Macquarie

- 2pm: Alexander Campbell – The model category of algebraically cofibrant 2-categories (part 1)
- 4pm: Alexander Campbell – The model category of algebraically cofibrant 2-categories (part 2)

### 25 July 2018, Macquarie

### 18 July 2018, Macquarie

- 4pm: Philip Hackney – Model structures and categories of graphs

### 27 June 2018, Macquarie

### 20 June 2018, Macquarie

### 13 June 2018, Macquarie

### 6 June 2018, Macquarie

- 3.30pm: Alexander Campbell – Bicategories vs Rezk's weak 2-categories (part 2)

### 30 May 2018, Macquarie

- 2pm: Ross Street – The Burau representation extended to tangles
- 4pm: Alexander Campbell – Bicategories vs Rezk's weak 2-categories (part 1)

### 16 May 2018, Macquarie

### 9 May 2018, Macquarie

- 2pm: Alexander Campbell – Joyal's model structure for quasi-categories is symmetric simplicial
- 4pm: Steve Lack – Internal homs of monads

### 18 April 2018, Macquarie

### 11 April 2018, Macquarie

### 4 April 2018, Macquarie

- 2pm: Ross Street – Polynomials of various hues
- 4pm: Richard Garner – Operadic categories and decalage

### 28 March 2018, Macquarie

### 21 March 2018, Macquarie

### 14 March 2018, Macquarie

- 4pm: Philip Hackney – Maps of undirected graphs (part 2)

### 7 March 2018, Macquarie

- 2pm: Marcy Robertson – Operadic methods in low-dimensional topology
- 4pm: Richard Garner – The Giry tricocycloid

### 28 February 2018, Macquarie

- 2pm: Steven Phillips – What can category theory say about cognition? Naturality and cognitive dual-processes
- 4pm: Michael Batanin – Graphs as an operadic category

### 21 February 2018, Macquarie

- 2pm: Philip Hackney – Maps of undirected graphs (part 1)
- 4pm: Richard Garner – Institutions

### 14 February 2018, Macquarie

- 2pm: Alexander Campbell – Change of base for enriched model categories
- 4pm: Steve Lack – Species, convolution, and bimonoidal structure

### 24 January 2018, Macquarie

### 20 December 2017, Macquarie

- 2pm: Martin Markl – Distributive laws between the Three Graces
- 4pm: Gabriel Drummond-Cole – Model category structures for dg-coalgebras

### 6 December 2017, Macquarie

### 29 November 2017, Macquarie

- 2pm: Karol Szumilo – Internal Language of Higher Categories (part 2)
- 4pm: Philip Hackney – Triple adjoints and anti-involutions

### 22 November 2017, Macquarie

- 2pm: Richard Garner – (Co)localisation of one-dimensional model structures
- 4pm: Karol Szumilo – Internal Language of Higher Categories (part 1)

### 15 November 2017, Macquarie

- 2pm: Edoardo Lanari – On the Homotopy Theory of ∞-groupoids, part 3
- 4pm: Peter Johnstone – What is Modified Realizability?

### 8 November 2017, Macquarie

- 2pm: Geordie Williamson – Actions of Coxeter groups and their braid groups on (higher) categories
- 4pm: Bob Rosebrugh – Symmetric lenses, cospans and universality

### 1 November 2017, Macquarie

- 2pm: Peter Johnstone – The Wonderful World of Realizability, part 2
- 4pm: Alexander Campbell – Strictification of indexed bicategories

### 25 October 2017, Macquarie

- 2pm: Peter Johnstone – The Wonderful World of Realizability
- 4pm: Edoardo Lanari – On the Homotopy Theory of ∞-groupoids, part 2

### 18 October 2017, Macquarie

- 2pm: Richard Garner – A new and improved embedding theorem for tangent categories
- 4pm: Edoardo Lanari – On the Homotopy Theory of ∞-groupoids

### 11 October 2017, Macquarie

### 4 October 2017, Macquarie

- 2pm: Anthony Henderson – Towards character sheaves
- 4pm: John Bourke – Quillen model structures and low dimensional higher dimensional categories

### 27 September 2017, Macquarie

### 20 September 2017, Macquarie

- 2pm: Branko Nikolic – Lifting Cauchy modules through Hopf adjunctions in the setting of 2-sided enrichment
- 4pm: Scott Balchin – Augmented homotopical algebraic geometry, part 2

### 13 September 2017, Macquarie

- 2pm: Scott Balchin – Augmented homotopical algebraic geometry
- 4pm: Richard Garner – Monads and theories

### 6 September 2017, Macquarie

- 2pm: Zsuzsanna Dancso – Lattices and homological algebra
- 4pm: Marcy Robertson – An action of the Grothendieck-Teichmuller group on the operad of stable curves of genus zero

### 23 August 2017, Macquarie

- 2pm: John Bourke – Model structures on algebraically fibrant and cofibrant objects revisited
- 4pm: Philip Hackney – Flippy sets and dagger categories

### 16 August 2017, Macquarie

- 2pm: Eugenia Cheng – Doubly degenerate Trimble 3-categories and braided monoidal categories
- 4pm: Amnon Neeman – Recent developments in Grothendieck duality

### 9 August 2017, Macquarie

- 2pm: Ross Street – Raising Cauchy through a comonadic base change
- 4pm: Alexander Campbell – Skew-proactegories

### 2 August 2017, Macquarie

- 2pm: Richard Garner – Ultraproducts, ultraspans and ultracategories
- 4pm: Michael Batanin – Internal algebras classifiers of polynomial monads and homotopy pushouts

### 26 July 2017, Macquarie

- 2pm: Charles Walker – Distributive laws via admissibility
- 4pm: Emily Riehl – Homotopy coherent structures, redux

### 12 July 2017, Macquarie

### 5 July 2017, Macquarie

- 2pm: Ross Street – Cauchy completeness for DG-categories
- 4pm: Emily Riehl – Homotopy coherent structures

### 28 June 2017, Macquarie

- 2pm: Branko Nikolic – A commutative and cocommutative Hopf algebra in nature
- 4pm: Alexander Campbell – Enriched weak algebraic factorization systems (part 2)

### 21 June 2017, Macquarie

- 2pm: Alexander Campbell – Enriched weak algebraic factorization systems (part 1)
- 4pm: Philip Hackney – Higher properads (part 2)

### 7 June 2017, Macquarie

- 2pm: Oded Yacobi – Introduction to Categorical Representation Theory
- 4pm: Jun Yoshida – Graphical calculus in symmetric monoidal (infty-)categories with duals (part 2)

### 31 May 2017, Macquarie

- 2pm: Dmitri Nikshych – The Witt group of braided fusion categories
- 4pm: Emily Riehl – A synthetic theory of ∞-categories in homotopy type theory

### 24 May 2017, Macquarie

- 2pm: Ross Street – Quadratic forms as complete invariants for autonomous braided monoidal groupoids
- 4pm: Jun Yoshida – Graphical calculus in symmetric monoidal (infty-)categories with duals (part 1)

### 17 May 2017, Macquarie

- 2pm: Philip Hackney – Higher properads (part 1)
- 4pm: Steve Lack – Combinatorial models for associahedra

### 10 May 2017, Macquarie

### 3 May 2017, Macquarie

- 2pm: John Bourke – Skew multicategories
- 4pm: Florian De Leger – Mapping spaces and internal algebra classifiers

### 26 April 2017, Macquarie

- 2pm: Alexander Campbell – Skew categories, skew actegories
- 4pm: Hardy Hulley – The Giry monad as a codensity monad

### 19 April 2017, Macquarie

- 4pm: John Bourke – Equations, orthogonality and Birkhoff's theorem

### 12 April 2017, Macquarie

- 2pm: Diarmuid Crowley – Classifying manifolds: a categorical perspective
- 4pm: Charles Walker – Yoneda Structures and KZ Doctrines

### 29 March 2017, Macquarie

- 2pm: Michael Batanin – Quillen equivalences between categories of algebras
- 4pm: Alexander Campbell – How strict is strictification?

### 22 March 2017, Macquarie

- 2pm: John Bourke – Skew monoidal categories, colax monoidal categories and multicategories
- 4pm: Jonathan Beardsley – A Third Isomorphism Theorem for Thom Spectra and Hopf-Galois Extensions

### 15 March 2017, Macquarie

- 2pm: Ross Street – Series monoidal categories and Zeno functors
- 4pm: Michael Batanin – Mapping spaces and internal algebra classifiers

### 8 March 2017, Macquarie

### 1 March 2017, Macquarie

- 2pm: Emily Riehl – Algebraic and homotopical aspects of general Reedy categories
- 4pm: Dominic Verity – Power to the people (part 2)

### 22 February 2017, Macquarie

- 2pm: Dominic Verity – Power to the people (part 1)
- 4pm: Richard Garner – Chu spaces and the funny tensor product

### 15 February 2017, Macquarie

- 2pm: Emily Riehl – When is a diagram cofibrant?
- 4pm: Philip Hackney – A Reedy category for cyclic operads

### 8 February 2017, Macquarie

- 2pm: John Bourke – Algebraic weak equivalences
- 4pm: Emily Riehl – Cell complex presentations for Reedy categories

### 1 February 2017, Macquarie

- 2pm: Ross Street – Toil and trouble with Drinfeld's double
- 4pm: Steve Lack – Braidings on skew monoidal categories

### 18 January 2017, Macquarie

- 2pm: Philip Hackney – Higher cyclic operads
- 4pm: James Dolan – Quantales from kaleidoscopes

### 11 January 2017, Macquarie

- 2pm: Ross Street – Local convolution and MonCat-bicategories
- 4pm: David White – Model categories, the Grothendieck construction, and operads

### 14 December 2016, Macquarie

- 2pm: Brendan Fong – All hypergraph categories are decorated corelation categories
- 4pm: Mark Weber – Faa di Bruno for operads and internal algebras

### 7 December 2016, Macquarie

- 2pm: Walter Tholen – V-topological spaces
- 4pm: Remy Tuyeras – Systems of weak pre-models

### 30 November 2016, Macquarie

- 2pm: Walter Tholen – Approximate injectivity
- 4pm: Branko Nikolic – Relativity via enrichment

### 23 November 2016, Macquarie

- 1.45pm: Remy Tuyeras – Category theory and the real world
- 4pm: Martin Markl – Open-closed modular operads, Cardy condition and string field theory

### 16 November 2016, Macquarie

- 1.30pm: James Dolan – The quantale of alternating sign matrices

### 9 November 2016, Macquarie

- 1.30pm: John Bourke – Iterated injectivity
- 4pm: Christopher Nguyen – Label structures - another kind of parity structure

### 2 November 2016, Macquarie

- 4pm: Mitch Buckley – Skew warpings in Hopf algebras

### 19 October 2016, Macquarie

- 2pm: John Bourke – Monads and theories
- 4pm: Alexander Campbell – Verdier's hypercovering theorem in higher topos theory

### 12 October 2016, Macquarie

- 1:30pm: Alexander Campbell – A factorisation system for indexed pseudofunctors
- 4pm: James Dolan – Projective planes and 3=infinity

### 5 October 2016, Macquarie

- 2pm: Ross Street – Reminder on Kock-Zoberlein monads
- 4pm: Richard Garner – In search of a terminal biring

### 28 September 2016, Macquarie

- 1:30pm: John Bourke – Flat cocompletions and lex colimits
- 4pm: James Dolan – Incidence geometries as enriched categories

### 21 September 2016, Macquarie

- 1:30pm: John Bourke – Weak maps and accessibility
- 4pm: James Dolan – Incidence geometries as enriched categories (part 1)

### 14 September 2016, Macquarie

- 1:30pm: Daniel Lin – A hitchhiker's guide to cocompleting locally small restriction categories
- 4pm: Simon Burton – A homological perspective on quantum codes

### 7 September 2016, Macquarie

- 1:30pm: John Bourke – Makkai's generalised sketches and two-dimensional universal algebra
- 4pm: Michael Batanin – Cosimplicial monoids, E_n-algebras and Davydov-Yetter cohomology

### 31 August 2016, Macquarie

- 1:30pm: Richard Garner – Generalised Lawvere theories via enrichment
- 4pm: Steve Lack – Universal properties of slice constructions

### 24 August 2016, Macquarie

- 1:30pm: John Power – Theorem proving in logic programming: embracing the laxness
- 4pm: James Dolan – Projective planes as enriched categories (part 2)

### 17 August 2016, Macquarie

- 1:30pm: Marcy Robertson – Quasi-Properads
- 4pm: Steve Lack – (Generalized) operadic categories, skew monoidal categories, and comprehensive factorization

### 27 July 2016, Macquarie

- 2pm: Michael Batanin – Comprehensive factorization for operadic categories
- 2pm: Robert Burklund – Classifying properties of the Catalan simplicial set

### 20 July 2016, Macquarie

- 2pm: James Dolan – Projective planes as enriched categories (part 1)
- 4pm: Richard Garner – Non-standard arities

### 13 July 2016, Macquarie

- 2pm: Pierre-Louis Curien – Algebraic structure on the faces of the families of simplices, associahedra, permutohedra respectively
- 4pm: Steve Lack – Du Pareigis

### 6 July 2016, Macquarie

- 2pm: Pierre-Louis Curien – Hypergraph polytopes and weak Cat-operads, after Dosen and Petric
- 4pm: Edoardo Lanari – n-quasicategories and Theta_n-spaces

### 29 June 2016, Macquarie

- 2pm: Edoardo Lanari – Homotopy theory of (complete) Segal spaces
- 4pm: Richard Garner – Mixed opwreaths and coherence spaces

### 22 June 2016, Macquarie

- 2pm: Richard Garner – Right properness of simplicial sets a la arXiv:1510.00669
- 4pm: Steve Lack – A microcosm for opmonoidal monads

### 1 June 2016, Macquarie

- 2pm: Richard Garner – Monads extending from Set to Rel
- 4pm: Branko Nikolic – Strictification tensor product of 2-categories (part 3)

### 25 May 2016, Macquarie

- 2pm: Branko Nikolic – Strictification tensor product of 2-categories (part 2)
- 4pm: Ross Street – Monoidal twisted coactions

### 18 May 2016, Macquarie

- 4pm: Branko Nikolic – Strictification tensor product of 2-categories (part 1)

### 11 May 2016, Macquarie

- 2pm: Ramon Abud Alcala – Right skew monoidales are monads of lax actions (part 2)
- 4pm: Hardy Hulley – A category-theoretic approach to probability theory (part 3)

### 4 May 2016, Macquarie

- 2pm: Ramon Abud Alcala – Right skew monoidales are monads of lax actions (part 1)
- 4pm: Hardy Hulley – A category-theoretic approach to probability theory (part 2)

### 27 April 2016, Macquarie

- 4pm: Hardy Hulley – A category-theoretic approach to probability theory (part 1)

### 6 April 2016, Macquarie

- 4pm: Ross Street – Mixed wreaths

### 23 March 2016, Macquarie

### 16 March 2016, Macquarie

- 2pm: Edoardo Lanari – Homotopy colimits and realization fibrations
- 4pm: Alexander Campbell – A slightly incoherent approach to 2-stacks (part 2)

### 9 March 2016, Macquarie

- 2pm: Alexander Campbell – A slightly incoherent approach to 2-stacks (part 1)
- 4pm: Richard Garner – Ultrafilters, restriction categories and "Maschke's lemma"

### 24 February 2016, Macquarie

- 2pm: Richard Garner – The model bicategory of model categories
- 4pm: James Dolan – Category-theoretic logic and geometric relationships, or: Why you should be interested in double cosets

### 17 February 2016, Macquarie

- 2:30pm: Ramon Abud Alcala – Monads and enriched icons

### 3 February 2016, Macquarie

- 2pm: Ross Street – Wreath convolution
- 4pm: Steve Lack – An example of skew reflection involving representations of bialgebroids

### 16 December 2015, Macquarie

- 2pm: Ross Street – The twisted arrow category
- 4pm: James Dolan – The moduli stack of elliptic curves

### 9 December 2015, Macquarie

- 2pm: Simona Paoli – Rigidifying weakly globular pseudo n-fold categories
- 4pm: James Dolan – Moduli stacks with and without algebraic geometry (part 2)

### 2 December 2015, Macquarie

- 2pm: Charles Walker – Local reflections between relations, spans and polynomials
- 4pm: Simona Paoli – Segalic pseudo-functors and their strictification

### 25 November 2015, Macquarie

- 2pm: Daniel Lin – Restriction free cocompletion via restriction presheaves
- 4pm: James Dolan – Moduli stacks with and without algebraic geometry (part 1)

### 11 November 2015, Macquarie

- 2pm: Simona Paoli – Weakly globular n-fold categories (part 2)
- 4pm: Roald Koudenburg – A double-dimensional approach to formal category theory (part 5)

### 4 November 2015, Macquarie

- 2pm: Roald Koudenburg – A double-dimensional approach to formal category theory (part 4)
- 4pm: Remy Tuyeras – Universal construction of models for generalised sketches (part 3)

### 28 October 2015, Macquarie

- 2pm: Simona Paoli – Weakly globular n-fold categories (part 1)
- 4pm: Remy Tuyeras – Universal construction of models for generalised sketches (part 2)

### 21 October 2015, Macquarie

- 2pm: Remy Tuyeras – Universal construction of models for generalised sketches (part 1)
- 4pm: Roald Koudenburg – A double-dimensional approach to formal category theory (part 3)

### 14 October 2015, Macquarie

- 2pm: Roald Koudenburg – A double-dimensional approach to formal category theory (part 2)
- 4pm: Alexander Campbell – Higher categorical foundations of non-abelian cohomology (part 3)

### 7 October 2015, Macquarie

- 2pm: Roald Koudenburg – A double-dimensional approach to formal category theory (part 1)
- 4pm: Alexander Campbell – Higher categorical foundations of non-abelian cohomology (part 2)

### 30 September 2015, Macquarie

- 2pm: Richard Garner – Toric varieties and manifolds a la Grandis--Cockett
- 4pm: Simona Paoli – Weakly globular pseudo n-fold categories

### 23 September 2015, Macquarie

- 2pm: Alexander Campbell – Higher categorical foundations of non-abelian cohomology (part 1)
- 4pm: James Dolan – Toposes of toric quasicoherent sheaves (part 3)

### 16 September 2015, Macquarie

- 2pm: Simona Paoli – Homotopically discrete n-fold categories (part 2)
- 4pm: James Dolan – Toposes of toric quasicoherent sheaves (part 2)

### 9 September 2015, Macquarie

- 2pm: Simona Paoli – Homotopically discrete n-fold categories (part 1)
- 4pm: James Dolan – Toposes of toric quasicoherent sheaves (part 1)

### 2 September 2015, Macquarie

- 2pm: Branislav Jurčo – Operads, homotopy algebras and strings
- 4pm: Richard Garner – Shapely monads and analytic functors on presheaf categories (part 4)

### 19 August 2015, Macquarie

- 2pm: Simona Paoli – Weak globularity: an overview (part 2)
- 4pm: Mitch Buckley – The orientals as iterated cones

### 12 August 2015, Macquarie

- 2pm: Simona Paoli – Weak globularity: an overview
- 4pm: Richard Garner – Shapely monads and analytic functors on presheaf categories (part 3)

### 5 August 2015, Macquarie

- 2pm: Richard Garner – Shapely monads and analytic functors on presheaf categories (part 2)
- 4pm: Steve Lack – Pseudo-commutativity d'apres Bourke

### 29 July 2015, Macquarie

- 2pm: Richard Garner – Shapely monads and analytic functors on presheaf categories (part 1)
- 4pm: James Dolan – Galois theory for beginners (part 3)

### 22 July 2015, Macquarie

- 2pm: Steve Lack – Hochschild cohomology and paracyclic structures (part 2)
- 4pm: Ross Street – Tambara's work on finite categories (part 2)

### 15 July 2015, Macquarie

- 2pm: Steve Lack – Hochschild cohomology and paracyclic structures (part 1)
- 4pm: Ross Street – Tambara's work on finite categories (part 1)

### 8 July 2015, Macquarie

- 2pm: Richard Garner – An embedding theorem for tangent categories
- 4pm: James Dolan – Galois theory for beginners (part 2)

### 1 July 2015, Macquarie

- 2pm: James Dolan – Galois theory for beginners (part 1)
- 4pm: Ross Street – The free mixed distributive law

### 3 June 2015, Macquarie

- 2pm: Poon Leung – Towards an extended tangent structure
- 4pm: Ramon Abud Alcala – Coalgebroids and their comodules

### 27 May 2015, Macquarie

- 2pm: Paul Slevin – Paracyclic objects
- 4pm: Remy Tuyeras – Free (co)completion without Yoneda

### 20 May 2015, Macquarie

- 2pm: Matthew Burke – Lie's second theorem in the Cahiers topos
- 4pm: Richard Garner – Synthetic differentiation of species

### 13 May 2015, Macquarie

- 2pm: Matthew Burke – Jet categories in the Cahiers topos
- 4pm: Richard Garner – The Campbell--Baker--Hausdorff adjunction

### 6 May 2015, Macquarie

- 2pm: Ross Street – A skew view of lax algebras
- 4pm: James Dolan – Algebraic geometry for category theorists: toric varieties (part 3)

### 29 April 2015, Macquarie

- 2pm: James Dolan – Algebraic geometry for category theorists: toric varieties (part 2)
- 4pm: Richard Garner – When coproducts are biproducts

### 22 April 2015, Macquarie

- 2pm: Steve Lack – Another Catalan simplicial set
- 4pm: James Dolan – Algebraic geometry for category theorists: toric varieties

### 15 April 2015, Macquarie

- 2pm: James Dolan – Algebraic geometry for category theorists: the projective line in detail (part 3)
- 4pm: Paul Slevin – Cyclic homology from adjunctions

### 8 April 2015, Macquarie

- 2pm: Steve Lack – Skew collages
- 4pm: Richard Garner – Remarks on crossed internal categories in toposes

### 1 April 2015, Macquarie

- 2pm: Richard Garner – How not to enrich over a duoidal category
- 4pm: James Dolan – Algebraic geometry for category theorists: the projective line in detail (part 2)

### 25 March 2015, Macquarie

- 2pm: Joachim Kock – Schmitt's restriction species, and a related general construction of decomposition spaces
- 4pm: Steve Lack – The Catalan simplicial set strikes again

### 18 March 2015, Macquarie

- 2pm: Joachim Kock – Decomposition spaces and incidence algebras
- 4pm: Mark Weber – Props from operads via codescent

### 11 March 2015, Macquarie

- 2pm: Joachim Kock – Graphs, hypergraphs and properads (part 2)
- 4pm: James Dolan – Algebraic geometry for category theorists: the projective line in detail (part 1)

### 4 March 2015, Macquarie

- 2pm: Joachim Kock – Graphs, hypergraphs and properads (part 1)
- 4pm: Mark Weber – Codescent for crossed internal categories

### 25 February 2015, Macquarie

- 2pm: Joachim Kock – Joyal theorems for homotopical species
- 4pm: Michael Batanin – Model structures on algebras of operads

### 18 February 2015, Macquarie

- 2pm: James Dolan – Algebraic geometry for category theorists: commutative monads and belief doctrines (part 2)
- 4pm: Ross Street – Weighted convolution of Joyal species, and related concepts (part 2)

### 4 February 2015, Macquarie

- 2pm: Ross Street – Weighted convolution of Joyal species, and related concepts (part 1)
- 4pm: James Dolan – Algebraic geometry for category theorists: commutative monads and belief doctrines (part 1)

### 21 January 2015, Macquarie

- 2pm: Richard Garner – An efficient construction of the orientals
- 4pm: James Dolan – Algebraic geometry for category theorists: a catalog of algebro-geometric theories (part 2)

### 14 January 2015, Macquarie

- 2pm: Ross Street – A factorization for closed functors
- 4pm: James Dolan – Algebraic geometry for category theorists: a catalog of algebro-geometric theories (part 1)

### 7 January 2015, Macquarie

- 2pm: Alexei Davydov – Lagrangian Algebras in Braided Categories
- 4pm: James Dolan – Algebraic geometry for category theorists

### 17 December 2014, Macquarie

- 2pm: Paul Slevin – Factorizations of distributive laws
- 4pm: Alexei Davydov – All things modular: categories, data and invariants

### 10 December 2014, Macquarie

- 2pm: Mark Weber – Clubs and operads II
- 4pm: Richard Garner – Dendroidal resolution of dg-operads

### 3 December 2014, Macquarie

- 2pm: Richard Garner – Homological lalis (part 1)
- 4pm: Richard Garner – Homological lalis (part 2)

### 19 November 2014, Macquarie

- 1.30pm: Jim Andrianopoulos – Skew monoidales in Span
- 2pm: Remy Tuyeras – On reflective subcategories
- 3.30pm: Ramon Abud Alcala – Hopf algebroids
- 3pm: Poon Leung – The free tangent structure
- 4pm: Alexander Campbell – Combinatorial aspects of higher-dimensional algebra

### 18 November 2014, Macquarie

- 3pm: Christopher Nguyen – Towards a polytope interpretation of parity complexes

### 12 November 2014, Macquarie

- 2pm: Ross Street – A monoidal miscellany
- 4pm: Richard Garner – Quasicategorical lalis, with applications to quasicategorical limits and colimits, Grothendieck fibrations, Kan extensions, and so on

### 5 November 2014, Macquarie

- 2pm: Tom Hirschowitz – Concurrent game semantics (part 2)
- 4pm: Dominic Verity – The 2-category theory of cartesian fibrations of quasi-categories (part 2)

### 29 October 2014, Macquarie

- 2pm: Tom Hirschowitz – Concurrent game semantics (part 1)
- 4pm: Dominic Verity – The 2-category theory of cartesian fibrations of quasi-categories (part 1)

### 22 October 2014, Macquarie

- 2pm: Steve Lack – Multiplier bialgebras in braided monoidal categories
- 4pm: Richard Garner – Fibred lex colimits (part 2)

### 8 October 2014, Macquarie

- 2pm: Richard Garner – Fibred lex colimits (part 1)
- 4pm: Ross Street – Semiadjoints

### 24 September 2014, Macquarie

- 2pm: Jonas Frey – Realizability toposes, uniform preorders, and quantaloid enriched categories (part 3)
- 4pm: Richard Garner – The uniform family approach to realizability toposes

### 17 September 2014, Macquarie

- 2pm: Jonas Frey – Realizability toposes, uniform preorders, and quantaloid enriched categories (part 2)
- 4pm: Remy Tuyeras – On right lifting properties in homotopy theory (part 2)

### 10 September 2014, Macquarie

- 2pm: Jonas Frey – Realizability toposes, uniform preorders, and quantaloid enriched categories (part 1)
- 4pm: Remy Tuyeras – On right lifting properties in homotopy theory (part 1)

### 27 August 2014, Macquarie

- 2pm: Richard Garner – The formal theory of monads 1.5
- 4pm: Ross Street – Skew reflections

### 20 August 2014, Macquarie

- 4pm: Dominic Verity – Quasi-categories, profunctors and equipments
- 4pm: Remy Tuyeras – Spines, or how to prove the 2-out-of-3 property (part 3)

### 13 August 2014, Macquarie

- 2pm: Richard Garner – Re-revisiting the nerve theorem
- 4pm: Remy Tuyeras – Spines, or how to prove the 2-out-of-3 property (part 2)

### 6 August 2014, Macquarie

- 2pm: Oleg Bogopolski – Introduction to limit groups
- 4pm: Remy Tuyeras – Spines, or how to prove the 2-out-of-3 property (part 1)

### 30 July 2014, Macquarie

- 2pm: Michael Batanin – A short operadic proof of the Baez-Dolan stabilization hypothesis
- 4pm: Mark Weber – Clubs and operads

### 16 July 2014, Macquarie

- 2pm: David White – Eilenberg-Moore model categories and monoidal Bousfield localization (part 1)
- 4pm: David White – Eilenberg-Moore model categories and monoidal Bousfield localization (part 2)

### 11 June 2014, Macquarie

- 2pm: Alexander Campbell – Parity complexes redux (part 2)
- 4pm: Jim Andrianopoulos – Skew monoidales in Span

### 4 June 2014, Macquarie

- 2pm: David Jordan – Some aspects of Australian category theory in topological field theory
- 4pm: Matthew Burke – A synthetic perspective on the integrability of Lie algebroids (part 3)

### 28 May 2014, Macquarie

- 2pm: Poon Leung – More on talking about Weil algebras (part 2)
- 4pm: Matthew Burke – A synthetic perspective on the integrability of Lie algebroids (part 2)

### 21 May 2014, Macquarie

- 2pm: Matthew Burke – A synthetic perspective on the integrability of Lie algebroids (part 1)
- 4pm: Poon Leung – More on talking about Weil algebras (part 1)

### 14 May 2014, Macquarie

- 2pm: Alexander Campbell – Parity complexes redux (part 1)
- 4pm: Ross Street – Comparison of adjunctions between free cocompletions

### 7 May 2014, Macquarie

- 2pm: Clemens Berger – Moment categories and operads (part 2)
- 4pm: Richard Garner – The Isbell monad

### 30 April 2014, Macquarie

- 2pm: Clemens Berger – Moment categories and operads (part 1)
- 4pm: Mark Weber – pi_0-exact squares of 2-categories (part 3)

### 23 April 2014, Macquarie

- 2pm: Mark Weber – pi_0-exact squares of 2-categories (part 2)
- 4pm: Steve Lack – Further skew aspects of operads

### 16 April 2014, Macquarie

- 2pm: Mark Weber – pi_0-exact squares of 2-categories (part 1)
- 4pm: Richard Garner – Reedy categories, Grothendieck fibrations, and the Isbell envelope

### 9 April 2014, Macquarie

- 2pm: Ezra Getzler – Derived stacks in algebraic geometry and categories of fibrant objects
- 4pm: Michael Batanin – Operadic categories and duoidal Deligne's conjecture (part 5)

### 2 April 2014, Macquarie

- 2pm: Steve Lack – Skew aspects of operads
- 4pm: Michael Batanin – Operadic categories and duoidal Deligne's conjecture (part 4)

### 26 March 2014, Macquarie

- 2pm: Michael Batanin – Operadic categories and duoidal Deligne's conjecture (part 3)
- 4pm: Remy Tuyeras – Descent conditions and vertebras (part 3)

### 19 March 2014, Macquarie

- 2pm: Remy Tuyeras – Descent conditions and vertebras (part 2)
- 4pm: Michael Batanin – Operadic categories and duoidal Deligne's conjecture (part 2)

### 12 March 2014, Macquarie

- 2pm: Michael Batanin – Operadic categories and duoidal Deligne's conjecture (part 1)
- 4pm: Remy Tuyeras – Descent conditions and vertebras (part 1)

### 5 March 2014, Macquarie

- 2pm: Richard Garner – More ordinal notation
- 4pm: Dominic Verity – Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions (part 2)

### 26 February 2014, Macquarie

- 2pm: Mark Weber – Exact squares via codescent
- 4pm: Richard Garner – Ordinal notation

### 19 February 2014, Macquarie

- 2pm: Dominic Verity – Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions (part 1)
- 4pm: Ross Street – Even more on combinatorial categorical equivalences

### 12 February 2014, Macquarie

- 2pm: Steve Lack – Combinatorial categorical equivalences
- 4pm: Richard Garner – Remarks on Catalan sets

### 5 February 2014, Macquarie

- 2pm: Ross Street – A setting for some equivalences of additive presheaf categories
- 4pm: Mark Weber – Codescent for crossed internal categories

### 11 December 2013, Macquarie

- 2pm: Ross Street – Relations
- 4pm: Richard Garner – Reedy remarks

### 4 December 2013, Macquarie

- 2pm: Gabriella Bhm – On Hopf monoids in duoidal categories
- 4pm: Ramon Abud Alcala – Hereditary Torsion Theories in Module Categories

### 27 November 2013, Macquarie

- 2pm: Jim Andrianopoulos – Elementary remarks on units in a skew monoidal category
- 4pm: Steve Lack – Torsion-free subcategories of semiabelian categories (part 2)

### 20 November 2013, Macquarie

- 2pm: Martin Markl – Algebraic structures of string field theory
- 4pm: Steve Lack – Torsion-free subcategories of semiabelian categories

### 6 November 2013, Macquarie

- 2pm: Ross Street – Morita equivalence of strong epimorphisms and partial maps
- 4pm: Richard Garner – Universal properties of Poly(E) (part 2)

### 30 October 2013, Macquarie

- 2pm: Mark Weber – On the duoidal structure of functorial factorisations
- 4pm: Richard Garner – Universal properties of Poly(E) (part 1)

### 23 October 2013, Macquarie

- 2pm: Ross Street – An equivalence of categories relevant to combinatorics and representation theory
- 4pm: Richard Garner – Combinatorial structure of type dependency (part 3)

### 16 October 2013, Macquarie

- 2pm: Steve Lack – Quantum matrices and *-autonomy
- 4pm: Richard Garner – Combinatorial structure of type dependency (part 2)

### 9 October 2013, Macquarie

- 2pm: Poon Leung – Tangent Structure, Graphs are the Weil to go
- 4pm: Remy Tuyeras – Vertebras, or, how to build model structures (part 3)

### 2 October 2013, Macquarie

- 2pm: Richard Garner – Combinatorial structure of type dependency (part 1)
- 4pm: Remy Tuyeras – Vertebras, or, how to build model structures (part 2)

### 25 September 2013, Macquarie

- 2pm: Remy Tuyeras – Vertebras, or, how to build model structures (part 1)
- 4pm: Ignacio Lpez Franco – Quasi Hopf algebras and Eilenberg-Moore objects (part 2)

### 18 September 2013, Macquarie

- 2pm: Benjamin Alarcn Heredia – Homotopy pullbacks induced by bicategories
- 4pm: Ignacio Lpez Franco – Quasi Hopf algebras and Eilenberg-Moore objects (part 1)

### 11 September 2013, Macquarie

- 2pm: Ross Street – The Davydov-Runkel BMC alternative
- 4pm: Ignacio Lpez Franco – Hopf-Galois extensions (part 4)

### 4 September 2013, Macquarie

- 2pm: Mark Weber – Wreath product with Delta (part 2)
- 4pm: Ignacio Lpez Franco – Hopf-Galois extensions (part 3)

### 28 August 2013, Macquarie

- 2pm: Mark Weber – Wreath product with Delta (part 1)
- 4pm: Ignacio Lpez Franco – Hopf-Galois extensions (part 2)

### 21 August 2013, Macquarie

- 2pm: Ignacio Lpez Franco – Hopf-Galois extensions (part 1)
- 4pm: Ross Street – Limit sketches in bicategories

### 14 August 2013, Macquarie

- 2pm: Benjamin Alarcn Heredia – Nerves of tricategories
- 4pm: Ross Street – Pointwise extensions in bicategories

### 7 August 2013, Macquarie

- 2pm: Remy Tuyeras – On different ways of being small (part 2)
- 4pm: Steve Lack – Right normalization of skew monoidal categories, with applications to monads

### 31 July 2013, Macquarie

- 2pm: Steve Lack – The no-iteration approach to monads, and its bicategorical and skew variants
- 4pm: Richard Garner – Expository remarks on Dedekind--Mac Neille--Isbell--Lambek completion

### 24 July 2013, Macquarie

- 2pm: Tom Leinster – The magnitude of a graph
- 4pm: Thomas Athorne – Cell complexes are sometimes presheaves

### 17 July 2013, Macquarie

- 2pm: Cecilia Flori – Compositories and gleaves
- 4pm: John Bourke – Double categories, algebraic weak factorisation systems and lali's

### 26 June 2013, Macquarie

- 2pm: Remy Tuyeras – On different ways of being small (part 1)
- 4pm: Richard Garner – Topological = total (part 2)

### 19 June 2013, Macquarie

- 2pm: Richard Garner – Topological = total (part 1)
- 4pm: Ross Street – Convolution

### 5 June 2013, Macquarie

- 2pm: Steve Lack – Quasialgebraic aspects of topology

### 22 May 2013, Macquarie

- 2pm: Ross Street – Flocks askew
- 4pm: Ignacio Lpez Franco – Exponentiability of spaces: another proof (part 3)

### 15 May 2013, Macquarie

- 2pm: Ignacio Lpez Franco – Exponentiability of spaces: another proof (part 2)
- 4pm: Richard Garner – Expository remarks on fat orthogonal reflection

### 8 May 2013, Macquarie

- 2pm: Richard Garner – Finitary monads, Lawvere theories, and Cauchy completion (part 2)
- 4pm: Ignacio Lpez Franco – Exponentiability of spaces: another proof (part 1)

### 1 May 2013, Macquarie

- 2pm: Richard Garner – Finitary monads, Lawvere theories, and Cauchy completion (part 1)
- 4pm: Michael Batanin – When the category of algebras of a polynomial monad can not have a transferred model structure

### 10 April 2013, Macquarie

- 2pm: Samson Abramsky – The Sheaf-Theoretic Structure Of Non-Locality and Contextuality
- 4pm: Jamie Vicary – The Geometry of Quantum and Classical Information

### 3 April 2013, Macquarie

- 2pm: Mark Weber – Pointwise left extensions in 2-categories of algebras of a 2-monad
- 4pm: Richard Garner – More on cofibrant simplicial sets

### 27 March 2013, Macquarie

- 2pm: Mitchell Buckley – Skew-monoidal categories as simplicial maps into nerves
- 4pm: Steve Lack – The Catalan simplicial set

### 20 March 2013, Macquarie

- 2pm: Richard Garner – Cofibrant simplicial sets
- 4pm: Ignacio Lpez Franco – Hopf monads and dualizations

### 6 March 2013, Macquarie

- 2pm: Mike Johnson – Coherence geometrically: Thoughts on last week's talks
- 4pm: Ignacio Lpez Franco – Duoidal categories of Eilenberg-Moore algebras

### 27 February 2013, Macquarie

- 2pm: Prakash Panangaden – Duality for Probabilistic Automata
- 4pm: Steve Lack – Coherence for skew monoidal categories

### 20 February 2013, Macquarie

- 2pm: Remy Tuyeras – Can topological weak equivalences be seen as equivalences of weak omega-categories?
- 4pm: Michael Batanin – h-monoidal model categories and left properness

### 19 December 2012, Macquarie

- 2pm: Alexei Davydov – Quasi-annihilators for module categories
- 4pm: Mark Weber – Guitart-exact squares from morphisms of polynomial monads (part 3)

### 12 December 2012, Macquarie

- 2pm: Richard Garner – Remarks on comprehensive factorisation (part 2)

### 5 December 2012, Macquarie

- 2pm: Richard Garner – Remarks on comprehensive factorisation (part 1)
- 4pm: Mark Weber – Guitart-exact squares from morphisms of polynomial monads (part 2)

### 28 November 2012, Macquarie

- 2pm: Ross Street – Another tilt at free skew-monoidal categories
- 4pm: Mark Weber – Guitart-exact squares from morphisms of polynomial monads (part 1)

### 21 November 2012, Macquarie

- 2pm: Ignacio Lpez Franco – Tensor products of finitely cocomplete and abelian categories
- 4pm: Dominic Verity – "It's all in the weights!" (part 5)

### 14 November 2012, Macquarie

- 2pm: Ross Street – Oriented simplexes and the Tamari lattice
- 4pm: Dominic Verity – "It's all in the weights!" (part 4)

### 7 November 2012, Macquarie

- 2pm: Dominic Verity – "It's all in the weights!" (part 3)
- 4pm: Steve Lack – Coherence for skew monoidal categories: first steps

### 31 October 2012, Macquarie

- 2pm: Nick Rozenblyum – (\infty,2)-categories and duality
- 4pm: Richard Garner – T-multicategories and their morphisms, for T a 2-monad on Cat which extends to Prof, characterised, under mild side conditions, as the Eilenberg-Moore category for the lax morphism classifier comonad on T-Alg_s (part 4)

### 24 October 2012, Macquarie

- 2pm: Richard Garner – T-multicategories and their morphisms, for T a 2-monad on Cat which extends to Prof, characterised, under mild side conditions, as the Eilenberg-Moore category for the lax morphism classifier comonad on T-Alg_s (part 3)

### 17 October 2012, Macquarie

- 2pm: Dominic Verity – "It's all in the weights!" (part 2)
- 4pm: Richard Garner – T-multicategories and their morphisms, for T a 2-monad on Cat which extends to Prof, characterised, under mild side conditions, as the Eilenberg-Moore category for the lax morphism classifier comonad on T-Alg_s (part 2)

### 10 October 2012, Macquarie

- 2pm: Dominic Verity – "It's all in the weights!" (part 1)
- 4pm: Richard Garner – T-multicategories and their morphisms, for T a 2-monad on Cat which extends to Prof, characterised, under mild side conditions, as the Eilenberg-Moore category for the lax morphism classifier comonad on T-Alg_s (part 1)

### 19 September 2012, Macquarie

- 2pm: Ignacio Lpez Franco – Tensor products of finitely cocomplete categories, biduals and finiteness conditions (part 2)
- 4pm: Steve Lack – Recognizing lax morphism classifiers

### 12 September 2012, Macquarie

- 2pm: Ignacio Lpez Franco – Tensor products of finitely cocomplete categories, biduals and finiteness conditions (part 1)
- 4pm: Ross Street – On Appendix 2 of Brian Day's PhD Thesis

### 5 September 2012, Macquarie

- 2pm: Robin Cockett – Tangent structures (part 2)
- 4pm: Camell Kachour – The importance of omega-operad of coendomorphism in Higher Category Theory (part 2)

### 29 August 2012, Macquarie

- 2pm: Robin Cockett – Tangent structures (part 1)
- 4pm: Camell Kachour – The importance of omega-operad of coendomorphism in Higher Category Theory (part 1)

### 15 August 2012, Macquarie

- 2pm: Ignacio Lpez Franco – Lax-idempotent 2-monads on slices
- 4pm: Steve Lack – Two constructions in Morita theory

### 8 August 2012, Macquarie

- 2pm: Ezra Getzler – n-stacks as a category of fibrant objects
- 4pm: Michael Batanin – Algebraic adjunctions and their applications

### 1 August 2012, Macquarie

- 2pm: Steve Lack – A simplicial approach to skewing (part 2)
- 4pm: Ross Street – Skew-monoidal 2-functors

### 27 July 2012, Macquarie

- 2pm: Ezra Getzler – Higher stacks as a category of fibrant objects
- 4pm: Mark Weber – Weak n-categories with strict units via iterated enrichment (part 4)

### 18 July 2012, Macquarie

- 2pm: Mark Weber – Weak n-categories with strict units via iterated enrichment (part 3)
- 4pm: Richard Garner – Monads that extend from Set to Rel

### 11 July 2012, Macquarie

- 2pm: Steve Lack – A simplicial approach to skewing (part 1)
- 4pm: Mark Weber – Weak n-categories with strict units via iterated enrichment (part 2)

### 4 July 2012, Macquarie

- 2pm: Mark Weber – Weak n-categories with strict units via iterated enrichment (part 1)
- 4pm: Steve Lack – Skew Eckmann-Hilton

### 27 June 2012, Macquarie

- 2pm: Daniel Schppi – Characterizing categories of coherent sheaves (part 5)
- 4pm: Michael Batanin – Polynomial monads and symmetric monoidal categories

### 13 June 2012, Macquarie

- 2pm: Mitchell Buckley – Fibred 2-categories (part 3)
- 4pm: Ross Street – Skew-promonoidal categories

### 6 June 2012, Macquarie

- 2pm: Steve Lack – The skew approach to quantum categories
- 4pm: Daniel Schppi – Characterizing categories of coherent sheaves (part 4)

### 30 May 2012, Macquarie

- 2pm: Mitchell Buckley – Fibred 2-categories (part 2)
- 4pm: Daniel Schppi – Characterizing categories of coherent sheaves (part 3)

### 23 May 2012, Macquarie

- 2pm: Steve Lack – The relational approach to exactness conditions
- 4pm: Daniel Schppi – Characterizing categories of coherent sheaves (part 2)

### 16 May 2012, Macquarie

- 2pm: Mitch Buckley – Fibred 2-categories (part 1)
- 2pm: Daniel Schppi – Characterizing categories of coherent sheaves

### 2 May 2012, Macquarie

- 2pm: Steven Phillips – A category theory explanation for the systematicity of human cognition
- 4pm: Richard Garner – The fformal theory of monads

### 18 April 2012, Macquarie

- 2pm: Ross Street – Quantum categories following Kornel Szlachanyi (arXiv:1201.4981v1) (part 2)
- 4pm: Richard Garner – The so-exact completion of a 2-category

### 4 April 2012, Macquarie

- 2pm: Daniel Schppi – Hopf algebroids, algebraic stacks, and a conjecture by Richard Pink
- 4pm: Richard Garner – Regular 2-categories (part 3)

### 28 March 2012, Macquarie

- 2pm: Mark Weber – Structured colimits via internal algebras
- 4pm: Richard Garner – Regular 2-categories (part 2)

### 21 March 2012, Macquarie

- 2pm: Richard Garner – Regular 2-categories (part 1)
- 4pm: Ross Street – Quantum categories following Kornel Szlachanyi (arXiv:1201.4981v1) (part 1)

### 14 March 2012, Macquarie

### 29 February 2012, Macquarie

- 2pm: Mark Weber – Free monads in bicategories of polynomials (part 3)
- 4pm: Ross Street – Pointwise left extensions inside 2-categories

### 22 February 2012, Macquarie

- 2pm: Mark Weber – Free monads in bicategories of polynomials (part 2)
- 4pm: Daniel Schppi – The formal theory of Tannaka duality (part 5)

### 15 February 2012, Macquarie

- 2pm: Mark Weber – Free monads in bicategories of polynomials (part 1)
- 4pm: Daniel Schppi – The formal theory of Tannaka duality (part 4)

### 8 February 2012, Macquarie

- 2pm: John Baez – Symmetric Monoidal Categories in Chemistry and Biology
- 4pm: Daniel Schppi – The formal theory of Tannaka duality (part 3)

### 1 February 2012, Macquarie

- 2pm: Daniel Schppi – The formal theory of Tannaka duality (part 2)

### 25 January 2012, Macquarie

- 2pm: Daniel Schppi – The formal theory of Tannaka duality (part 1)
- 4pm: Richard Garner – Une catade, qu'est-ce que c'est? (part 2)

### 18 January 2012, Macquarie

- 2pm: Mark Weber – The canonical copromonoidal structure on Delta
- 4pm: Richard Garner – Une catade, qu'est-ce que c'est? (part 1)

### 21 December 2011, Macquarie

- 2pm: Richard Garner – More Mal'cev musings (part 2)
- 4pm: Ross Street – Categories in categories (part 3)

### 14 December 2011, Macquarie

- 2pm: Ross Street – Categories in categories (part 2)
- 4pm: Richard Garner – More Mal'cev musings (part 1)

### 7 December 2011, Macquarie

- 2pm: Michael Batanin – Nontrivial relations between transferring and localization of model structures (part 2)
- 4pm: Ross Street – Categories in categories (part 1)

### 30 November 2011, Macquarie

- 2pm: Dominic Verity – Coherently generic adjunctions (part 3)
- 4pm: Michael Batanin – Nontrivial relations between transferring and localization of model structures (part 1)

### 23 November 2011, Macquarie

- 2pm: Richard Garner – Pushouts characteristic of the pretopos
- 4pm: Dominic Verity – Coherently generic adjunctions (part 2)

### 16 November 2011, Macquarie

- 2pm: Dominic Verity – Coherently generic adjunctions (part 1)
- 4pm: Steve Lack – Induced representations, dcalage and comprehensive factorisation

### 9 November 2011, Macquarie

- 2pm: Ross Street – Hopf bimonoids in duoidal categories
- 4pm: Richard Garner – Weighted limits

### 2 November 2011, Macquarie

- 2pm: Steve Lack – Induced representations, exactness, and Hopf monads
- 4pm: Ross Street – Back to normality

### 26 October 2011, Macquarie

- 4pm: Mark Weber – Extended 2-cells of lax algebras

### 19 October 2011, Macquarie

- 2pm: John Huerta – A higher supergroup for string theory
- 4pm: Steve Lack – Homology and homotopy for symmetric cat-groups

### 12 October 2011, Macquarie

- 2pm: David Roberts – 2-categorical localisation
- 4pm: Richard Garner – Yes, you, too, could have invented plethysm

### 28 September 2011, Macquarie

- 2pm: Ross Street – Well-formed words

### 14 September 2011, Macquarie

- 2pm: Camell Kachour – An algebraic approach to weak omega groupoids
- 4pm: Richard Garner – Three flavours of pie

### 7 September 2011, Macquarie

- 2pm: John Iskra – First Steps Toward a Categorical Approach to Smoothness and Desingularization
- 4pm: Fabio Trova – Dendroidal Sets and their geometric realization: a light introduction to an obscure problem

### 31 August 2011, Macquarie

- 2pm: Michael Batanin – A unified approach for transferring model structures on monoids, n-operads and symmetric operads
- 4pm: David Blanc – Higher order homological algebra

### 24 August 2011, Macquarie

- 2pm: Richard Garner – A characterisation of algebraic exactness

### 19 August 2011, Macquarie

### 17 August 2011, Macquarie

- 2pm: David Blanc – Cohomology of (various kinds of) categories
- 4pm: Bob Rosebrugh – A distributive law for universal insertion and deletion

### 10 August 2011, Macquarie

- 2pm: Richard Garner – A somewhat malleable proof that finite limits commute with filtered colimits
- 2pm: Emily Riehl – Parametrised mates

### 3 August 2011, Macquarie

- 2pm: David Blanc – n-groupoids, n-types, and n-track categories (joint with Simona Paoli)
- 4pm: Richard Garner – Categories in which effective descent = regular epimorphism

### 27 July 2011, Macquarie

- 2pm: Richard Garner – Restriction categories as enriched categories

### 6 July 2011, Macquarie

- 2pm: Ross Street – Remarks on cartesian morphisms

### 29 June 2011, Macquarie

- 2pm: Richard Garner – On "On the essentially algebraic theory generated by a sketch"
- 4pm: Jeff Egger – Doubly-{involutive monoidal} categories

### 22 June 2011, Macquarie

- 2pm: Mark Weber – Polynomials in a category with pullbacks

### 15 June 2011, Macquarie

- 2pm: Richard Garner – 1001 characterisations of pie
- 4pm: Vaughan Pratt – Pointed categories as a much richer source of structure than pointed sets

### 8 June 2011, Macquarie

- 2pm: Michael Batanin – Thoughts about Swiss-Cheese
- 4pm: Jeff Egger – Dagger Hopf algebras and Hermitian modules

### 1 June 2011, Macquarie

- 2pm: Denis-Charles Cisinski – The universal Chern character and a non-commutative Hirzebruch-Riemann-Roch theorem
- 4pm: Steve Lack – Grothendieck quasitoposes

### 25 May 2011, Macquarie

- 2pm: Jeff Egger – Involutive monoidal categories, again (part 2)

### 18 May 2011, Macquarie

- 2pm: Steve Lack – Embedding theorems for adhesive and quasiadhesive categories
- 4pm: Clemens Berger – Strong Monads and Homotopical Morita Theory

### 11 May 2011, Macquarie

- 2pm: Jeff Egger – Involutive monoidal categories, again (part 1)
- 4pm: Richard Garner – The Schanuel topos

### 20 April 2011, Macquarie

- 3pm: Richard Garner – Introduction to type theory (part 3)

### 13 April 2011, Macquarie

- 3pm: Richard Garner – Introduction to type theory (part 2)

### 6 April 2011, Macquarie

- 2pm: Ross Street – Aspects of duoidal categories
- 4pm: Richard Garner – Introduction to type theory (part 1)

### 30 March 2011, Macquarie

- 2pm: Micah Blake McCurdy – Differential Restriction Categories (part 2)
- 4pm: Richard Garner – What I did on my holidays

### 23 March 2011, Macquarie

- 2pm: Richard Garner – Stone Duality
- 4pm: Michael Batanin – Duoidal center and duoidal Deligne's conjecture

### 16 March 2011, Macquarie

- 2pm: Ross Street – Charades
- 4pm: Micah Blake McCurdy – Differential Restriction Categories (part 1)

### 9 March 2011, Macquarie

- 2pm: Michael Batanin – Tamarkin complex as many object Hochschild complex (part 5)
- 4pm: Micah Blake McCurdy – When is a Frobenius monoidal functor a Frobenius monoid?

### 2 March 2011, Macquarie

- 2pm: Michael Batanin – Tamarkin complex as many object Hochschild complex (part 4)
- 4pm: Ross Street – Remarks on the work of Davydov

### 23 February 2011, Macquarie

- 2pm: Michael Batanin – Tamarkin complex as many object Hochschild complex (part 3)
- 4pm: Richard Garner – Lex colimits (part 2)

### 16 February 2011, Macquarie

- 2pm: Michael Batanin – Tamarkin complex as many object Hochschild complex (part 2)
- 4pm: Richard Garner – Lex colimits (part 1)

### 9 February 2011, Macquarie

- 2pm: Michael Batanin – Tamarkin complex as many object Hochschild complex (part 1)
- 4pm: Ross Street – Monoidal monoidal thoughts

### 3 February 2011, Macquarie

### 2 February 2011, Macquarie

- 4pm: Mike Johnson – Some unexpectedly algebraic coalgebras

### 8 December 2010, Macquarie

- 2pm: Richard Garner – Type theory, weak omega-categories, and all that

### 24 November 2010, Macquarie

- 2pm: Pasquale Zito – An overview of Ng and Schauenburg's proof of the congruence subgroup conjecture for modular tensor categories (arXiv:0806.2493v3)
- 4pm: Mark Weber – Some remarks on the monad for groupoids (part 2)

### 17 November 2010, Macquarie

- 2pm: Ross Street – Trace la arXiv:1010.4527v1
- 4pm: Mark Weber – Some remarks on the monad for groupoids (part 1)

### 27 October 2010, Macquarie

- 2pm: Steve Lack – Tensor products of chain complexes and the Dold-Kan correspondence

### 20 October 2010, Macquarie

- 2pm: Richard Garner – Revisiting the nerve theorem (part 2)

### 13 October 2010, Macquarie

- 2pm: John Bourke – Pie, flexible and semi-flexible colimits
- 4pm: Mark Weber – Polynomial 2-functors and colimit completions (part 2)

### 6 October 2010, Macquarie

- 2pm: Richard Garner – Revisiting the nerve theorem (part 1)
- 4pm: Mark Weber – Polynomial 2-functors and colimit completions (part 1)

### 22 September 2010, Macquarie

- 2pm: Richard Garner – Abstractly analysing analyticity (part 2)
- 4pm: Steve Lack – The 2-category of weak distributive laws

### 15 September 2010, Macquarie

- 2pm: Camell Kachour – Steps toward the Operadic definition of the Weak Category of Weak Categories (part 3)
- 4pm: Richard Garner – Abstractly analysing analyticity (part 1)

### 8 September 2010, Macquarie

- 2pm: Camell Kachour – Steps toward the Operadic definition of the Weak Category of Weak Categories (part 2)
- 4pm: Steve Lack – Weakly Locally Presentable 2-Categories

### 1 September 2010, Macquarie

- 2pm: Camell Kachour – Steps toward the Operadic definition of the Weak Category of Weak Categories (part 1)
- 4pm: Richard Garner – Commutativity

### 25 August 2010, Macquarie

- 2pm: Steve Lack – Accessibitly and purity in enriched and unenriched contexts
- 4pm: Michael Batanin – What is endomorphism operad?

### 18 August 2010, Macquarie

### 11 August 2010, Macquarie

- 2pm: Richard Garner – Extremely elementary group cohomology
- 4pm: Ross Street – Separable enriched categories and their modules

### 4 August 2010, Macquarie

- 2pm: Jean-Baptiste Boyer – Concerning smash products and pointed compactly generated Hausdorff spaces
- 4pm: Steve Lack – Theories, theories, and theories

### 21 July 2010, Macquarie

- 2pm: Richard Garner – Simplicial Homotopies
- 4pm: Ross Street – Simple Roots Of Separability

### 14 July 2010, Macquarie

- 2.30pm: David Oury – On the duality between trees and disks
- 4.15pm: Ross Street – Enrichment of Hiratas Morita theory (with Tom Booker)

### 2 June 2010, Macquarie

- 2pm: Steve Lack – Playing with ordinals

### 19 May 2010, Macquarie

- 2pm: Micah Blake McCurdy – Cyclicity is the appropriate commutativity for the passage from V to V-prof
- 4pm: Steve Lack – Presentations for monads

### 5 May 2010, Macquarie

- 2pm: Branislav Jurco – Nonabelian bundle 2-gerbes
- 4pm: Steve Lack – Strictification

### 21 April 2010, Macquarie

- 2pm: Ross Street – Recollections on DG-categories
- 4pm: Steve Lack – Yet another approach to modules over a bialgebra

### 31 March 2010, Macquarie

- 2pm: Ross Street – Drinfeld's approach to geometric realization
- 4pm: Dominic Verity – More ruminations on a derivateur inspired approach to abstract quasi-category theory

### 24 March 2010, Macquarie

- 2pm: Dominic Verity – More ruminations on a derivateur inspired approach to abstract quasi-category theory (part 2)

### 17 March 2010, Macquarie

- 2pm: Dominic Verity – More ruminations on a derivateur inspired approach to abstract quasi-category theory (part 1)
- 4pm: John Bourke – Strongly finitary 2-monads, sifted colimits and codescent objects

### 10 March 2010, Macquarie

- 2pm: Micah Blake McCurdy – Cyclic Structures on braided linearly distributive categories and tortile structures
- 4pm: Mike Johnson – Lenses and Universal Updates

### 3 March 2010, Macquarie

- 2pm: Emily Riehl – Levels in the toposes of simplicial and cubical sets
- 4pm: Mike Johnson – States as functors, and universal updates

### 24 February 2010, Macquarie

- 2pm: Marcelo Aguiar – 2-Monoidal Categories
- 4pm: Dominic Verity – Higher Derivateurs and Quasi-Category Theory (part 2)

### 22 February 2010, Macquarie

### 17 February 2010, Macquarie

- 2pm: Dominic Verity – Higher Derivateurs and Quasi-Category Theory (part 1)
- 4pm: Dimitri Chikhladze – qCat

### 10 February 2010, Macquarie

- 2pm: Richard Garner – Something for everyone
- 4pm: Micah Blake McCurdy – Weak Hopf algebras in star-autonomous categories

### 3 February 2010, Macquarie

### 20 January 2010, Macquarie

- 2pm: Mikhail Borovoi – Group cohomology and Galois cohomology
- 4pm: Jeff Egger – Involutive Monoidal Categories (part 2)

### 13 January 2010, Macquarie

- 2pm: Jeff Egger – Involutive Monoidal Categories (part 1)
- 4pm: Alexei Davydov – Centre Of An Algebra

### 16 December 2009, Macquarie

- 2pm: Dominic Verity – The power and the glory
- 4pm: Richard Garner – Presentations of factorisation systems

### 9 December 2009, Macquarie

- 2pm: Richard Garner – Weak maps
- 4pm: Michael Batanin – On natural operations on Hochschild complex

### 2 December 2009, Macquarie

- 2pm: Emily Riehl – Natural weak factorization systems in model structures
- 4pm: Steve Lack – Non-canonical isomorphisms

### 25 November 2009, Macquarie

- 2pm: Micah Blake McCurdy – Connectedness and acyclicity in string diagrams and proof nets III
- 4pm: Dimitri Chikhladze – Tannaka representation theorem with respect to a frobenius fiber functor

### 18 November 2009, Macquarie

- 2pm: Micah Blake McCurdy – Connectedness and acyclicity in string diagrams and proof nets II
- 4pm: Richard Garner – Ionads: a generalisation of the notion of topological space II

### 11 November 2009, Macquarie

- 2pm: Micah Blake McCurdy – Connectedness and acyclicity in string diagrams and proof nets I
- 4pm: Mark Weber – Funny tensor products

### 4 November 2009, Macquarie

- 2pm: Alexei Davydov – Operads, algebras, modules and tensor products
- 4pm: Steve Bennoun – From quantum groups to weak Hopf algebras (and hopefully weak Hopf algebroids)

### 28 October 2009, Macquarie

- 2pm: Richard Garner – Ionads: a generalisation of the notion of topological space
- 4pm: Tom Booker – The trip from Herds to Flocks and back again

### 21 October 2009, Macquarie

- 2pm: Steve Lack – Normality, separability, and weakness

### 14 October 2009, Macquarie

- 2pm: John Corbett – Variable real numbers for quantum particles; an application of topos theory to quantum mechanics

### 7 October 2009, Macquarie

- 2pm: Steve Lack – Enriched weakness II
- 4pm: Michael Batanin – Monoid axiom and model structure for operads

### 30 September 2009, Macquarie

- 2pm: Steve Lack – Enriched weakness

### 9 September 2009, Macquarie

- 2pm: Micah Blake McCurdy – Some examples of weak Hopf algebras
- 4pm: Ross Street – Flocks: some more on torsors

### 2 September 2009, Macquarie

- 2pm: Ezra Getzler – The role of gerbes in 4-dimensional supergravity

### 12 August 2009, Macquarie

- 2pm: Dominic Verity – Powerful maps of quasicategories
- 4pm: John Bourke – Sesquicategories and bijections/surjections on objects

### 5 August 2009, Macquarie

- 2pm: Micah Blake McCurdy – Weak morphisms of weak Hopf algebras
- 4pm: Ross Street – Remarks on the Day reflection theorem

### 29 July 2009, Macquarie

- 2pm: Dominic Verity – On the relationship between certain descent notions III
- 4pm: Ross Street – Elementary results on torsors

### 22 July 2009, Macquarie

### 17 June 2009, Macquarie

- 2pm: Phil Mulry – Monad compositions and Kleisli strength
- 4pm: Dimitri Chikhladze – Quantum modules

### 10 June 2009, Macquarie

- 2pm: John Bourke – An exactness property of T-Alg
- 4pm: Alexei Davydov – Schur-Weyl duality

### 3 June 2009, Macquarie

- 2pm: Dominic Verity – Powerful stuff
- 4pm: Michael Batanin – n-Multitensors and symmetric multitensors

### 27 May 2009, Macquarie

- 2pm: Dominic Verity – On the relationship between certain descent notions
- 4pm: Michael Batanin – On tensor product of A_{\infty}-categories, E_n-algebras and higher categories

### 13 May 2009, Macquarie

- 2pm: Ross Street – Powerful morphisms, comprehensive factorization, and torsors: some proofs
- 4pm: Steve Lack – Multicategories, hom-multicategories, and more

### 6 May 2009, Macquarie

- 2pm: Ross Street – Powerful morphisms, comprehensive factorization, and torsors
- 4pm: Steve Lack – Opmonoidal monads

### 15 April 2009, Macquarie

- 2pm: Steve Lack – Return to weak world
- 4pm: Tom Booker – Kanzaki Teruo and Tom

### 1 April 2009, Macquarie

- 2pm: Steve Lack – Weak world
- 4pm: Micah Blake McCurdy – The Tannaka construction in general monoidal categories, Part Two

### 25 March 2009, Macquarie

- 2pm: Steve Lack – Gray-categories, Gray-groupoids, and homotopy 3-types
- 4pm: Michael Batanin – Higher braided operads and the stabilisation hypothesis

### 18 March 2009, Macquarie

- 2pm: Teodor Rus – Using higraphs for ontology representation
- 4pm: Micah Blake McCurdy – Graphical calculus for bicategories

### 11 March 2009, Macquarie

- 2pm: Bob Rosebrugh – Algebras and view updates
- 4pm: Steve Lack – A Quillen model structure for Gray-categories

### 4 March 2009, Macquarie

- 2pm: Clemens Berger – The lattice path operad and Hochschild cochains II
- 4pm: John Bourke – Frobenius functors between bicategories

### 25 February 2009, Macquarie

- 2pm: Clemens Berger – The lattice path operad and Hochschild cochains
- 4pm: Bob Rosebrugh – EASIK: Database design and manipulation implemented categorically

### 18 February 2009, Macquarie

- 2pm: John Bourke – Two sided discrete fibrations and a CCC
- 4pm: Lee Flax – Elementary definition of Restricted Entailment and some related categories

### 4 February 2009, Macquarie

- 2pm: Dimitri Chikhladze – Semidirect product quantum category
- 4pm: Ross Street – Some observations about monads such as doctrinal adjunction, Hopf monads, and weak distributive laws

### 21 January 2009, Macquarie

- 2pm: Micah Blake McCurdy – Every planar *-autonomous diagram commutes
- 4pm: Ross Street – Weak distributive laws

### 10 December 2008, Macquarie

- 2pm: Alain Bruguires – Hopf monads on monoidal categories, and modularity of the centre
- 4pm: Martin Markl – Combinatorial differential geometry: reduction theroems revisited II

### 3 December 2008, Macquarie

- 2pm: Alexis Virelizier – Distributive laws between Hopf monads
- 4pm: Martin Markl – Combinatorial differential geometry: reduction theroems revisited

### 19 November 2008, Macquarie

- 2pm: Alexis Virelizier – Hopf monads and quantum invariants
- 4pm: Alain Bruguires – Hopf monads

### 12 November 2008, Macquarie

- 2pm: Alexei Davydov – Modular categories II
- 4pm: Ross Street – Filtered colimits and other concepts

### 29 October 2008, Macquarie

- 2pm: Micah Blake McCurdy – The Tannaka-Krein reconstruction of a separable Frobenius functor is a weak Hopf algebra
- 4pm: Alexei Davydov – Modular categories

### 22 October 2008, Macquarie

### 8 October 2008, Macquarie

- 2pm: Steve Lack – Multitudes of trees
- 4pm: Ross Street – Bicategories of modules

### 1 October 2008, Macquarie

- 2pm: Ross Street – Bimonoidal and separable monoidal functors
- 4pm: Brian Day – Cayley functors and promonoidal categories

### 24 September 2008, Macquarie

- 2pm: Steve Lack – How to smash trees
- 4pm: Denis-Charles Cisinski – Quasi-algebras III: Higher quasi-categories versus weak higher categories

### 17 September 2008, Macquarie

- 2pm: Denis-Charles Cisinski – Quasi-algebras II
- 4pm: Ross Street – Separable functors, Yang-Baxter operators, and bimonoids

### 10 September 2008, Macquarie

- 2pm: John Bourke – When is a 2-category of the form Cat(E) and for which E?
- 4pm: Denis-Charles Cisinski – Quasi-algebras I

### 3 September 2008, Macquarie

- 2pm: Denis-Charles Cisinski – Waldhausen K-theory and derived equivalences
- 4pm: Steve Lack – Clubs, wreaths, and ordinals

### 27 August 2008, Macquarie

- 2pm: Micah Blake McCurdy – Hopf objects in monoidal catgories and their categories of representations
- 4pm: Dimitri Chikhladze – The 2-category of quantum categories

### 20 August 2008, Macquarie

- 2pm: Michael Batanin – Locally constant n-operads as higher braided operads II
- 4pm: Mark Weber – Enriched Graphs, lax monoidal structures and the Gray tensor product II

### 13 August 2008, Macquarie

- 2pm: Michael Batanin – Locally constant n-operads as higher braided operads
- 4pm: Mark Weber – Enriched Graphs, lax monoidal structures and the Gray tensor product

### 6 August 2008, Macquarie

- 2pm: James Wallbridge – Yoneda in homotopical algebraic geometry
- 4pm: Micah Blake McCurdy – Taking profunctors preserves pseudo-cyclicity

### 30 July 2008, Macquarie

- 2pm: Dominic Verity – More about cobordisms and weak complicial sets (II)
- 4pm: James Wallbridge – Stable categories and categories of modules

### 23 July 2008, Macquarie

- 2pm: Dominic Verity – More about cobordisms and weak complicial sets
- 4pm: Ezra Getzler – Filtered operads

### 11 June 2008, Macquarie

- 2pm: Steve Lack – Limits for weak morphisms III
- 4pm: Micah Blake McCurdy – Cyclic structures on functor categories

### 4 June 2008, Macquarie

- 2pm: Steve Lack – Limits for weak morphisms II
- 4pm: Jonathan Cohen – Decidability and finite axiomatisability of finitary discrete 2-theories

### 28 May 2008, Macquarie

- 2pm: Alexei Davydov – Commutative algebras in modular categories and modular invariants II
- 4pm: Ross Street – Double categories for better or worse

### 21 May 2008, Macquarie

- 2pm: Simona Paoli – Andr-Quillen cohomology and higher categorical structures
- 4pm: Steve Lack – Limits for weak morphisms

### 14 May 2008, Macquarie

- 2pm: Alexei Davydov – Commutative algebras in modular categories and modular invariants
- 4pm: Ross Street – Lax adjunction

### 7 May 2008, Macquarie

### 23 April 2008, Macquarie

### 9 April 2008, Macquarie

- 2pm: Micah Blake McCurdy – When is a linearly distributive category pivotal?
- 4pm: Ross Street – Quantum presheaves II

### 2 April 2008, Macquarie

- 2pm: Ross Street – Quantum presheaves
- 4pm: Brian Day – Cockett-Seely and the middle four map

### 26 March 2008, Macquarie

- 2pm: Isar Stubbe – Exponentiable functors between quantaloid-enriched categories
- 4pm: Peter Johnstone – What I don't know about the free topos

### 19 March 2008, Macquarie

- 2pm: Dominic Verity – Cobordisms and weak complicial sets (cont.)
- 4pm: Boris Chorny – Smallness in the model category and smallness in the homotopy category

### 12 March 2008, Macquarie

- 2pm: Isar Stubbe – Skew local homeomorphisms
- 4pm: Micah Blake McCurdy – Cyclic structures on *-autonomous categories

### 27 February 2008, Macquarie

### 20 February 2008, Macquarie

- 2pm: Isar Stubbe – Totally continuous and totally algebraic cocomplete Q-categories
- 4pm: Dominic Verity – Cobordisms and weak complicial sets

### 13 February 2008, Macquarie

- 2pm: Richard Wood – Duals invert
- 4pm: Steve Lack – Free monoids

### 6 February 2008, Macquarie

- 2pm: Richard Wood – Bicategories of spans as cartesian bicategories
- 4pm: Craig Pastro – Frobenius monoidal functors

### 16 January 2008, Macquarie

- 2pm: Richard Wood – Frobenius objects in cartesian bicategories
- 4pm: Jonathan Cohen – Catalan categories

### 28 November 2007, Macquarie

### 21 November 2007, Macquarie

- 2pm: Jiri Rosicky – Homotopy accessible categories
- 4pm: Simona Paoli – Model structures on double categories, part III

### 7 November 2007, Macquarie

- 2pm: Michael Batanin – Cocrossed cosimplicial groups and the Deligne conjecture
- 4pm: Simona Paoli – Model structures on double categories, part II

### 31 October 2007, Macquarie

- 2pm: Jiri Rosicky – Generalized Brown representability
- 4pm: Robert Wisbauer – Hopf monads on categories

### 24 October 2007, Macquarie

- 2pm: Daniel Murfet – Compactly generated homotopy categories and Grothendieck duality
- 4pm: Micah Blake McCurdy – Coherence and canonical isomorphisms in tensor categories

### 17 October 2007, Macquarie

- 2pm: Mikael Vejdomo Johansson – A-infinity structures in group cohomology

### 26 September 2007, Sydney

- 2pm: Dominic Verity – Towards a coherence theorem for weak complicial sets II

### 19 September 2007, Sydney

- 2pm: Dominic Verity – Towards a coherence theorem for weak complicial sets

### 29 August 2007, Macquarie

- 2pm: Mark Weber – Higher operad algebras as enriched categories III
- 4pm: Ross Street – Localizations; centres and doubles

### 22 August 2007, Macquarie

- 2pm: Mark Weber – Higher operad algebras as enriched categories II
- 4pm: Bob Rosebrugh – Two or three views on database views

### 15 August 2007, Macquarie

- 2pm: Mark Weber – Higher operad algebras as enriched categories
- 4pm: Ross Street – Fine tuning on last week's talk

### 8 August 2007, Macquarie

- 2pm: Dimitri Chikhladze – Barr's theorem for monoidal V-enriched categories
- 4pm: Ross Street – More work based on Tambara's

### 18 July 2007, Macquarie

- 2pm: Alexei Davydov – Fusion rule of modular invariants for simple current CFT
- 4pm: Dorette Pronk – Translation groupoids and orbifold Bredon cohomology

### 23 May 2007, Macquarie

- 2pm: Jon Cohen – Computational coherence (cont. 2)
- 4pm: Vafa Khalighi – Mathematical applications of category theory in synthetic calculus of variations
- 6pm: Thorsten Palm – Slicing sites as categories with left-fastidious factorization systems (cont.)

### 16 May 2007, Macquarie

- 2pm: Jon Cohen – Computational coherence (cont.)
- 4pm: Thorsten Palm – Slicing sites as categories with left-fastidious factorization systems

### 9 May 2007, Macquarie

- 2pm: Jon Cohen – Computational coherence
- 4pm: Ross Street – Hom lifting

### 2 May 2007, Macquarie

- 2pm: Ross Street – Comonads and *-autonomy
- 4pm: Dominic Verity – A model structure whose fibrant objects are internal quasi-categories III

### 18 April 2007, Macquarie

- 2pm: Dominic Verity – A model structure whose fibrant objects are internal quasi-categories II
- 4pm: Alexei Davydov – Dijkgraaf-Witten topological field theory

### 11 April 2007, Macquarie

- 2pm: Dominic Verity – A model structure whose fibrant objects are internal quasi-categories
- 4pm: Dimitri Chikhladze – On the existence of fibre functors

### 4 April 2007, Macquarie

- 2pm: Steve Lack – Density presentations
- 4pm: Craig Pastro – Hopf-Galois objects and quantum torsors

### 28 March 2007, Macquarie

- 2pm: Simona Paoli – Model structures on the category of double categories, part I

### 14 March 2007, Macquarie

- 2pm: Rob van Glabbeek – The category of Chu spaces
- 4pm: Thorsten Palm – A polytopic approach to (fairly) general infinity-computads V

### 7 March 2007, Macquarie

- 2pm: Clemens Berger – Small CW-models for Eilenberg-MacLane spaces
- 4pm: Steve Bennoun – Tannaka duality for comodules over a Hopf algebra

### 28 February 2007, Macquarie

- 2pm: Steve Lack – Notions of Lawvere theory
- 4pm: Mark Weber – Nerves and parametric right adjoints II

### 21 February 2007, Macquarie

- 2pm: Discussion led by Mike Johnson, Jon Cohen, Rob van Glabbeek, and Richard Buckland – Concurrency and n-categories

### 14 February 2007, Macquarie

- 2pm: Thorsten Palm – A polytopic approach to (fairly) general infinity-computads, IV.
- 4pm: Mark Weber – Nerves and parametric right adjoints

### 24 January 2007, Macquarie

- 2pm: Thorsten Palm – A polytopic approach to (fairly) general infinity-computads, III.
- 4pm: Alexei Davydov – Nuclei, bits and pieces

### 17 January 2007, Macquarie

- 2pm: Ross Street – Another category of G-sets
- 4pm: Ross Street – Doubles for monoidal categories

### 20 December 2006, Macquarie

- 2pm: Glynn Winskel – Event structures with synmetry
- 4pm: Pawel Sobocinski – Distributed transactions and reversibility

### 13 December 2006, Macquarie

- 2pm: Steve Lack – Bicat is not triequivalent to Gray
- 4pm: Alexei Davydov – Duality for outer actions

### 6 December 2006, Macquarie

- 2pm: Dorette Pronk – Orbifolds and groupoids

### 15 November 2006, Macquarie

- 2pm: Thorsten Palm – A polytopic approach to (fairly) general infinity-computads, part II

### 8 November 2006, Macquarie

### 1 November 2006, Macquarie

- 2pm: Ross Street – Kan extensions in basic group representation theory
- 4pm: Dorette Pronk – Conformal field theory as a nuclear functor

### 25 October 2006, Macquarie

- 2pm: Paolo Bertozzini – Horizontal categorification of Gel'fand theory and categorical non-commutative geometry

### 11 October 2006, Macquarie

- 2pm: Simona Paoli – Semistrictification of Tamsamani's weak 3-groupoids: the non path-connected case.
- 4pm: Dorette Pronk – Bicategories of fractions II

### 4 October 2006, Macquarie

- 2pm: Ross Street – Weak bimonoids in braided monoidal categories
- 4pm: Dorette Pronk – Bicategories of fractions

### 20 September 2006, Macquarie

- 2pm: Frank Valckenborgh – On the structure of observables and symmetries in quantum logic
- 4pm: Alexei Davydov – Composing monoidal auto-equivalences

### 13 September 2006, Macquarie

- 2pm: Mark Weber – Familial 2-functors II
- 4pm: Craig Pastro – The logic of message passing (joint with Robin Cockett)

### 6 September 2006, Macquarie

- 2pm: Mark Weber – Familial 2-functors
- 4pm: Craig Pastro – Proofs as processes, and finite product and coproduct completions

### 30 August 2006, Macquarie

- 2pm: Robert Coquereaux – From paths on graphs to quantum groupoids I
- 4pm: Robert Coquereaux – From paths on graphs to quantum groupoids II

### 23 August 2006, Macquarie

- 2pm: Marni Sheppeard – Ribbon diagrams in particle physics
- 4pm: John Corbett – The quantum world is a topoidal world

### 9 August 2006, Macquarie

- 2pm: Steve Lack – Homotopy-theoretic aspects of 2-monads
- 4pm: Ross Street – Some remarks on 'When Hopf algebras are Frobenius algebras', a paper of Bodo Pareigis

### 2 August 2006, Macquarie

- 2pm: Brian Day – Partial tensor products in quantum theory
- 4pm: Michael Batanin – The funny tensor product and DG-categories

### 26 July 2006, Macquarie

- 2pm: Michael Batanin – What do DG-categories form? (after Tamarkin)
- 4pm: Amnon Neeman – The homotopy category of flat modules, and Grothendieck local duality

### 19 July 2006, Macquarie

- 2pm: Mark Weber – 2-toposes
- 4pm: Mark Weber – 2-toposes (cont.)

### 5 July 2006, Macquarie

- 2pm: William Joyce – Characterization in monoidal categories
- 4pm: William Joyce – Characterization in monoidal categories (continued)

### 24 May 2006, Macquarie

- 2pm: Simona Paoli – Internal weak n-groupoids II
- 4pm: Thorsten Palm – Categories with slicing, finale

### 10 May 2006, Macquarie

- 2pm: Jonathan Cohen – Logical clubs
- 4pm: Dominic Verity – Nerves of complicial Gray-categories

### 3 May 2006, Macquarie

- 2pm: Simona Paoli – Internal weak n-groupoids
- 4pm: Ross Street – Autonomous categories, autonomous bicategories, and quantum modules

### 26 April 2006, Macquarie

- 2pm: Thorsten Palm – Categories with slicing: the true story
- 4pm: Alexei Davydov – Symmetries of chorded categories III

### 12 April 2006, Macquarie

- 2pm: Alexei Davydov – More on symmetries of chorded categories
- 4pm: Steve Lack – More on 2-nerves

### 5 April 2006, Macquarie

- 2pm: Alexei Davydov – Symmetries of chorded categories
- 4pm: Ross Street – *-Autonomy for the category of Mackey functors

### 29 March 2006, Macquarie

- 2pm: Bob Rosebrugh – Constant complements, reversibility and universal view updates II
- 4pm: Elango Panchadcharam – Mackey functors on lextensive categories

### 15 March 2006, Macquarie

- 2pm: Mike Johnson – Constant complements, reversibility and universal view updates
- 4pm: Steve Lack – 2-nerves of bicategories

### 8 March 2006, Macquarie

- 2pm: Mike Johnson – Higher icons
- 4pm: Craig Pastro – From Frobenius monoids to Hopf algebroids

### 1 March 2006, Macquarie

- 2pm: Michael Batanin – More about complementary orders and configuration spaces
- 4pm: Steve Lack – Stricts, costricts, and icons

### 15 February 2006, Macquarie

- 2pm: Steve Lack – Centres and derivations
- 4pm: Alexei Davydov – Vassiliev invariants of links

### 1 February 2006, Macquarie

- 2pm: Simona Paoli – On bicategories and Tamsamani's weak 2-categories
- 4pm: Michael Batanin – Internal algebras of cartesian monads

### 25 January 2006, Macquarie

- 2pm: Simona Paoli – On bicategories and Tamsamani's weak 2-categories
- 4pm: Alexei Davydov – Chording and Lie algebras

### 21 December 2005, Macquarie

- 2pm: Thorsten Palm – Categories with slicing and their sites

### 14 December 2005, Macquarie

- 2pm: Hugh Robinson – Quasi-category derived functors and localization
- 4pm: Steve Lack – Enrichment through partiality

### 7 December 2005, Macquarie

- 2pm: Ross Street – Centres of localization
- 4pm: Alexei Davydov – Categorical operads

### 30 November 2005, Macquarie

- 2pm: Simona Paoli – Strictifying bicategories in Tamsamani's model - work in progress
- 4pm: Alexei Davydov – Infinitesimal braiding

### 23 November 2005, Macquarie

- 2pm: Michael Batanin – Complementary orders and n-fold loop spaces

### 16 November 2005, Macquarie

- 2pm: Dominic Verity – Internalising the theory of weak complicial sets III
- 4pm: Ross Street – What is the Cauchy completion of a monoidal functor?

### 9 November 2005, Sydney

- 2pm: Steve Lack – Dold-Kan, internal categories, and polyads
- 4pm: Dominic Verity – Internalising the theory of weak complicial sets (cont)

### 26 October 2005, Macquarie

- 2pm: Dominic Verity – Internalising the theory of weak complicial sets
- 4pm: Alexei Davydov – More on Frobenius algebras

### 5 October 2005, Macquarie

- 2pm: Michael Batanin – Coherence for n-fold loop spaces explicitly (work in progress)
- 4pm: Simona Paoli – Semistrict models of connected 3-types and Tamsamani's weak 3-groupoids

### 21 September 2005, Macquarie

- 2pm: Dominic Verity – On work in progress
- 4pm: Ross Street – Comodules and coproduct decomposition

### 7 September 2005, Macquarie

### 31 August 2005, Macquarie

- 2pm: Denis-Charles Cisinski – More on derivators
- 4pm: Alexei Davydov – A categorical approach to Maslov index

### 24 August 2005, Macquarie

- 2pm: Denis-Charles Cisinski – Derivators
- 4pm: Simona Paoli – From Cat^2-groups to Tamsamani weak 3-groupoids: part II

### 10 August 2005, Sydney

- 2pm: Simona Paoli – From Cat^2-groups to Tamsamani weak 3-groupoids: part I
- 4pm: Dominic Verity – Weak complicial sets II

### 3 August 2005, Macquarie

- 2pm: Michael Mger – Modular categories and group actions on braided tensor categories
- 4pm: Dominic Verity – Weak complicial sets I

### 27 July 2005, Macquarie

- 2pm: Andr Joyal – Quasicategories
- 4pm: Robin Cockett – A manifold construction for restriction categories

### 6 July 2005, Macquarie

- 2pm: Thorsten Palm – More on categories of extensions
- 4pm: Simona Paoli – From Cat^2-groups to Tamsamani's weak 3-groupoids: An overview

### 29 June 2005, Macquarie

- 2pm: Steve Lack – Comonads, restriction categories, and generalized partial maps

### 22 June 2005, Macquarie

- 2pm: Michael Batanin – E_n-operads: a street directory II
- 4pm: Robin Cockett – Ehresmann's theorem for restriction categories

### 15 June 2005, Macquarie

- 2pm: Michael Batanin – E_n-operads: a street directory
- 4pm: Ross Street – Convolution-enriched categories and centre

### 25 May 2005, Macquarie

- 2pm: Thorsten Palm – Dendrotopic sets, encore, continued - and finished
- 4pm: Ross Street – Higher adjoint equivalences

### 18 May 2005, Macquarie

- 2pm: Thorsten Palm – Dendrotopic sets, encore, continued
- 4pm: Robin Cockett – Theory of products and coproducts in the semantics of communication

### 11 May 2005, Sydney

- 2pm: Thorsten Palm – Dendrotopic sets, encore, continued
- 4pm: Alexei Davydov – Free braided monoidal 2-categories, II

### 4 May 2005, Macquarie

- 2pm: Thorsten Palm – Dendrotopic sets, encore: composition and representability
- 4pm: Alexei Davydov – Free braided monoidal 2-categories

### 20 April 2005, Macquarie

- 2pm: Robin Cockett – Tricategorical logic: 1-representation

### 13 April 2005, Sydney

- 2pm: Robin Cockett – The logic of tricategories
- 4pm: Vincent Schmitt – Enriched categories with colimits of some class

### 6 April 2005, Macquarie

- 2pm: Thorsten Palm – A polytopic approach to (fairly) general infinity-computads, part I
- 4pm: Richard Wood – Cartesian bicategoires II

### 1 April 2005, Macquarie

- 2pm: Bertrand Toen – On the uniqueness of the theory of higher categories

### 30 March 2005, Macquarie

- 2pm: Ross Street – Frobenius algebras and quantum groupoids
- 4pm: Michael Batanin – Operadic compactification

### 16 March 2005, Macquarie

- 2pm: Richard Wood – Cartesian (Bicategories 1.5 and Equipments 2.5)
- 4pm: Steve Lack – Traces, duals, and composition

### 2 March 2005, Macquarie

- 2pm: Michael Batanin – Categorical Getzler-Jones operad II
- 4pm: Alexei Davydov – Adding duals

### 23 February 2005, Macquarie

- 2pm: Michael Batanin – Categorical Getzler-Jones operad
- 4pm: Ross Street – Lax braidings and lax centres

### 16 February 2005, Macquarie

- 2pm: Aurelio Carboni – Syntax and semantics of Gauss elimination procedure
- 4pm: Dominic Verity – Surface diagrams and permutohedra II

### 9 February 2005, Sydney

- 2pm: Richard Wood – Pro W-categories II
- 4pm: Steve Lack – Comonads, corings, and collages

### 19 January 2005, Macquarie

- 2pm: Richard Wood – Pro W-categories
- 4pm: Dominic Verity – Surface diagrams and permutohedra

### 12 January 2005, Sydney

- 2pm: Mark Weber – Operads within monoidal pseudo-algebras
- 4pm: Ross Street – Promonoidal braiding and centre II

### 5 January 2005, Macquarie

- 2pm: Richard Wood – Exactness via distributivity
- 4pm: Ross Street – Promonoidal braiding and centre

### 15 December 2004, Macquarie

- 2pm: Thorsten Palm – Polytopes viewed differently
- 4pm: Ross Street – The lax centre for cartesian presheaf categories

### 10 December 2004, Macquarie

- 2pm: Marni Sheppeard – Guts and descent

### 17 November 2004, Macquarie

- 2pm: Steve Lack – Colimit completions, flat functors, and connected G-sets
- 4pm: Ross Street – Application of the special adjoint functor theorem

### 10 November 2004, Sydney

- 2pm: Ross Street – Functors between categories of G-sets
- 4pm: Steve Lack – Quasiadhesive categories

### 27 October 2004, Macquarie

- 2pm: Michael Batanin – Opetopes and polynomial functors
- 4pm: Steve Lack – Lax morphisms, oplax limits, and double categories

### 20 October 2004, Macquarie

- 2pm: Alexei Davydov – Representations of categorical groups
- 4pm: Thorsten Palm – Categories with a slice-category construction as categories of certain set-valued functors, cont.

### 6 October 2004, Macquarie

- 2pm: Frank Valckenborgh – Some elementary constructions in foundational physics
- 4pm: Thorsten Palm – Categories with a slice-category construction as categories of certain set-valued functor

### 22 September 2004, Macquarie

- 2pm: Alexei Davydov – On 2-vector spaces
- 4pm: Ross Street – Elementary category theory

### 15 September 2004, Macquarie

- 2pm: Thorsten Palm – Dendrotopic sets for weak omega-categories II
- 4pm: Ross Street – Monoids and things monoidal

### 8 September 2004, Sydney

- 2pm: Thorsten Palm – Dendrotopic sets for weak omega-categories
- 4pm: Dominic Verity – Complicial Sets - A proof of the Street-Roberts conjecture regarding nerves of omega-categories V

### 1 September 2004, Macquarie

- 2pm: Ezra Getzler – Differential graded Lie algebras and n-groupoids
- 4pm: Steve Lack – Restriction theories

### 25 August 2004, Macquarie

- 2pm: Bob Rosebrugh – Sketches, databases and incomplete information
- 4pm: Dominic Verity – Complicial Sets - A proof of the Street-Roberts conjecture regarding nerves of omega-categories IV

### 18 August 2004, Macquarie

- 2pm: Steve Lack – Twisted modules and crossed braidings
- 4pm: Dominic Verity – Complicial Sets - A proof of the Street-Roberts conjecture regarding nerves of omega-categories III

### 4 August 2004, Macquarie

- 2pm: Dominic Verity – Complicial Sets - A proof of the Street-Roberts conjecture regarding nerves of omega-categories II
- 4pm: Ross Street – String diagrams for monoidal categories

### 28 July 2004, Macquarie

- 2pm: Dominic Verity – Complicial Sets - A proof of the Street-Roberts conjecture regarding nerves of omega-categories
- 4pm: Steve Lack – Report on CT04

### 30 June 2004, Macquarie

- 2pm: William Joyce – Recoupling Lie Algebra, the next step beyond superalgebra

### 26 May 2004, Macquarie

- 2pm: Michael Batanin – A_infty n-categories

### 12 May 2004, Sydney

- 2pm: Steve Lack – Pure-braided monoidal categories
- 4pm: Alexei Davydov – Balanced monoids in balanced monoidal categories

### 21 April 2004, Macquarie

- 2pm: Yuri Bahturin – Bicharacters on cocommutative Hopf algebras
- 4pm: Steve Lack – Pure ribbons and reversible operads

### 7 April 2004, Macquarie

- 2pm: Ross Street – Cauchy completion, centres, and Frobenius algebras
- 4pm: George Janelidze – Categories with large zeros and nice copointed objects, III

### 17 March 2004, Macquarie

- 2pm: Ross Street – G-sets and V-actegories as enriched categories
- 4pm: George Janelidze – Noncommutative descent in classical algebra

### 10 March 2004, Sydney

- 2pm: Zurab Janelidze – A unified approach to Mal'tsev, unital, and subtractive categories

### 3 March 2004, Macquarie

- 2pm: George Janelidze – Categories with large zeros and nice copointed objects, II
- 4pm: Alexei Davydov – On separable algebras

### 25 February 2004, Macquarie

- 2pm: Alexei Davydov – Quasi-commutative monoids II
- 4pm: George Janelidze – Categories with large zeros and nice copointed objects, I

### 18 February 2004, Macquarie

- 2pm: Michael Batanin – Lax monoids and configuration spaces II
- 4pm: Ross Street – Convolution and actegories

### 11 February 2004, Sydney

- 2pm: Michael Batanin – Lax monoids and configuration spaces
- 4pm: George Janelidze – Galois theory and cartesian adjunctions

### 28 January 2004, Macquarie

- 2pm: George Janelidze – What are split effective descent morphisms?
- 4pm: Ross Street – Frobenius equals star-autonomous

### 21 January 2004, Macquarie

- 2pm: Alexei Davydov – Quasi-commutative monoids
- 4pm: Ross Street – Frobenius algebras and pseudo-algebras

### 10 December 2003, Sydney

- 2pm: Zurab Janelidze – Categories with normal local projections
- 4pm: George Janelidze – Representable actions in semi-abelian categories (joint work with F. Borceux and G. M. Kelly)

### 3 December 2003, Macquarie

- 2pm: Zurab Janelidze – Subtractive categories
- 4pm: Ross Street – Categorically less radical radicals

### 26 November 2003, Macquarie

- 2pm: Steve Lack – Finite limit structures in monoidal categories
- 4pm: George Janelidze – Radicals (joint work with L.Mrki)

### 19 November 2003, Macquarie

- 2pm: Steve Lack – More on internal categories in the operadic context
- 4pm: Simona Paoli – Operadic crossed n-cubes of algebras

### 5 November 2003, Macquarie

### 29 October 2003, Sydney

- 2pm: Alexei Davydov – $\lambda$-ring of semisimple algebras
- 4pm: Steve Lack – Internal categories in the protomodular and operadic contexts

### 22 October 2003, Macquarie

- 2pm: Simona Paoli – Operads, algebras and (co)homology
- 4pm: Ross Street – Objective numbers

### 15 October 2003, Macquarie

- 2pm: Michael Batanin – Does an E_n-analogue of Stasheff's operad exist?

### 8 October 2003, Sydney

### 1 October 2003, Macquarie

- 2pm: Alexei Davydov – Gerstenhaber homotopy and braiding in a monoidal category
- 4pm: Ross Street – Update on the efficient construction of real numbers

### 17 September 2003, Macquarie

### 10 September 2003, Sydney

- 2pm: Simona Paoli – Comparing homotopy models
- 4pm: Steve Lack – Operads, algebras, modules, and crossed modules

### 3 September 2003, Macquarie

- 2pm: Simona Paoli – Operadic aspects of crossed modules of algebras: Report on recent work of Baues-Minian-Richter
- 4pm: Ross Street – A more explicit description of quantum groupoids II

### 20 August 2003, Macquarie

- 2pm: Simona Paoli – Cat^n-groups in homological and homotopical algebra: Part III
- 4pm: Ross Street – A more explicit description of quantum groupoids

### 13 August 2003, Sydney

- 2pm: Simona Paoli – Cat^n-groups in homological and homotopical algebra: Part II
- 4pm: Steve Lack – Composing PROPs

### 6 August 2003, Macquarie

- 2pm: Simona Paoli – Cat^n-groups in homological and homotopical algebra: Part I
- 4pm: Michael Batanin – On some properties of free operad construction

### 9 July 2003, Macquarie

- 2pm: Ben Cox – Quantum groups defined over commutative rings
- 4pm: Max Kelly – A lemma on 2-naturality with applications to enriched monads

### 25 June 2003, Macquarie

- 2pm: Various – Informal discussions

### 4 June 2003, Sydney

- 2pm: Alexei Davydov – Braids and symplectic spaces II
- 4pm: Steve Lack – A Quillen model structure for bicategories

### 28 May 2003, Macquarie

- 2pm: Mark Weber – Analytic 2-functors
- 4pm: Alexei Davydov – Compositions of A_infty-homotopies III

### 14 May 2003, Macquarie

- 2pm: Alexei Davydov – Compositions of A_infty-homotopies II
- 4pm: Max Kelly – A further generalization of the Kelly-Lack work on monoidal functors generated by adjunctions

### 7 May 2003, Macquarie

- 2pm: Ross Street – Filtered, percolated or espresso?
- 4pm: Alexei Davydov – Compositions of A_infty-homotopies

### 26 March 2003, Sydney

- 2pm: Ross Street – The monoidal centre as a limit
- 4pm: Steve Lack – Properness of factorization systems in the enriched and bicategorical contexts

### 19 March 2003, Macquarie

- 2pm: Ross Street – Weak orientals and the simplicial nerve of a weak n-category
- 4pm: Alexei Davydov – A_n-algebras and Hochschild cohomology

### 12 March 2003, Sydney

- 2pm: Mike Fellows – A category of graphs for modeling resource availability
- 4pm: Ross Street – Categorical and combinatorial aspects of descent theory, Part II

### 5 March 2003, Macquarie

- 2pm: Michael Batanin – Internal operads and iterated monoidal categories, Part II
- 4pm: Ross Street – Categorical and combinatorial aspects of descent theory

### 26 February 2003, Sydney

- 2pm: John Baez – Categorifying quantum mechanics, Part IV
- 4pm: Michael Batanin – Internal operads and iterated monoidal categories

### 19 February 2003, Macquarie

- 2pm: Alexei Davydov – A_infinity-algebras and Hochschild cohomology
- 4pm: John Baez – Categorifying quantum mechanics, Part III

### 5 February 2003, Macquarie

- 2pm: Isar Stubbe – The principle of 'causal duality' establishes quantum logics with (external) implication as quantaloid-enriched categories
- 4pm: John Baez – Categorifying quantum mechanics, Part II

### 29 January 2003, Sydney

- 2pm: John Baez – Categorifying quantum mechanics
- 4pm: Alexei Davydov – Grothendieck-Teichmuller group as symmetries of operads

### 22 January 2003, Macquarie

- 2pm: John Baez – A categorical approach to division algebras
- 4pm: Max Kelly – Monoidal functors generated by adjunctions

### 15 January 2003, Sydney

- 2pm: Isar Stubbe – Categories without units enriched in a quantaloid: from Louvain-la-Neuve to Sydney and back
- 4pm: Ross Street – Quantum categories (continued)

### 18 December 2002, Sydney

- 2pm: Eric Goubault – A first attempt to describe the fundamental category of a po-space
- 4pm: Michael Batanin – Coherence for n-fold loop spaces

### 11 December 2002, Macquarie

- 2pm: Shahn Majid – Braided Lie algebras
- 4pm: Eric Goubault – A directed homotopy category

### 4 December 2002, Sydney

- 2pm: William Joyce – Braided premonoidal coherence and the quark state confinement
- 4pm: Eric Goubault – Introduction to geometry of concurrency

### 27 November 2002, Macquarie

- 2pm: Max Kelly – Adjunctions in a 2-category and applications to transport of structure
- 4pm: Ross Street – Quantum groupoids, modules and star-autonomy, II: Star-autonomy, Chu, and antipodes

### 20 November 2002, Sydney

- 2pm: Ross Street – Quantum groupoids, modules and star-autonomy
- 4pm: Alexei Davydov – Obstruction to associativity

### 30 October 2002, Macquarie

- 2pm: Alexei Davydov – Braids and symplectic spaces
- 4pm: Ross Street – Even more braidings

### 28 August 2002, Sydney

- 2pm: Max Kelly – Transport of structure along equivalences, with applications
- 4pm: Ross Street – A need for descent in variable bicategories

### 21 August 2002, Macquarie

- 2pm: Alexei Davydov – R-matrices from categorical point of view
- 4pm: Michael Batanin – Computads and slices of operads

### 14 August 2002, Sydney

- 2pm: Alexei Davydov – Symmetry of 6j-symbols
- 4pm: Ross Street – A factorization system inter alia pertaining to descent

### 7 August 2002, Macquarie

- 2pm: Alexei Davydov – Loop structure on the categories of extensions
- 4pm: Michael Batanin – One example of an n-operad with its n-suspension being E_n-operad

### 3 July 2002, Sydney

- 2pm: Mike Johnson – On the polarized products of Cockett and Seeley
- 4pm: – Informal discussion of polarized products, props, and polyads

### 19 June 2002, Sydney

- 2pm: Ross Street – A collage of odds and coends related to operads
- 4pm: Steve Lack – Pointing a category

### 12 June 2002, Macquarie

- 2pm: Ross Street – Modules for substitudes
- 4pm: Michael Batanin – Q_n operads

### 22 May 2002, Sydney

- 2pm: Max Kelly – Limits in the category of algebras and lax morphisms
- 4pm: Steve Lack – Partial functions, matrices, and extensivity

### 15 May 2002, Macquarie

- 2pm: Max Kelly – The 2-category of D-algebras, lax morphisms, and modifications: some of its properties established in Blackwell's 1976 thesis, but now provided with elementary proofs replacing the use of Gray's op-quasi-adjunctions
- 4pm: Alexei Davydov – Homological algebra in monoidal categories II. Deformation theory

### 1 May 2002, Macquarie

- 2pm: Yefim Katsov – Tensor product and structural theory in functor context

### 17 April 2002, Macquarie

- 2pm: Steve Lack – The real van Kampen theorem for toposes
- 4pm: Ross Street – Roots of unity as a Lie algebra II

### 27 March 2002, Sydney

- 2pm: George Janelidze – The monotone-light factorization for categories via orders and preorders: work of J.J.Xarez
- 4pm: Mark Weber – Distributing with the monoid monad

### 20 March 2002, Macquarie

- 2pm: Bob Rosebrugh – Coherence requirements for pseudo-algebras for the 2-monad (-)^2 on CAT
- 4pm: Max Kelly – An adjunction in the context of monoidal categories

### 13 March 2002, Sydney

- 2pm: Jrgen Koslowski – Poly-categories via spans and monads
- 4pm: George Janelidze – Some internal categorical structures II

### 6 March 2002, Macquarie

- 2pm: George Janelidze – Some internal categorical structures
- 4pm: Michael Batanin – Combinatorics of internal n-operads

### 20 February 2002, Macquarie

- 2pm: George Janelidze – Iterated smash product, associativity, and related questions
- 4pm: Ross Street – Remarks on the simplicial categories

### 13 February 2002, Sydney

- 2pm: Alexei Davydov – Homological algebra in monoidal categories (cont.)
- 4pm: Steve Lack – Homotopy theory in 2-categories; homotopy theory of 2-monads

### 6 February 2002, Macquarie

- 2pm: Alexei Davydov – Homological algebra in monoidal categories
- 4pm: Michael Batanin – Operadic suspension, n-operads and symmetric operads

### 23 January 2002, Macquarie

- 2pm: Konstantinos Tourlas – Algebraic foundations for higraphs and statecharts
- 4pm: Michael Batanin – Operadic suspension and n-fold lax monoidal categories

### 19 December 2001, Sydney

- 2pm: Michael Batanin – Computads, Eckmann-Hilton argument and operadic suspension
- 4pm: Aurelio Carboni – A complicated proof of a simple fact: An undergraduate introduction to rewriting systems

### 12 December 2001, Macquarie

- 2pm: George Janelidze – Abstract commutative algebra I: Associativity of tensor (=co-smash) products
- 4pm: George Janelidze – Abstract commutative algebra II: Exactness properties

### 5 December 2001, Sydney

- 2pm: Dusko Pavlovic – Minimal bicompletion of a category
- 4pm: Tony Dekker – A category-theoretic approach to social network analysis

### 28 November 2001, Macquarie

- 2pm: George Janelidze – Some remarks on semi-abelian categories II
- 4pm: Max Kelly – Why local boundedness is a useful notion

### 14 November 2001, Macquarie

- 2pm: Steve Lack – A van Kampen theorem for toposes
- 4pm: Marta Bunge – Locally path simply connected toposes and their fundamental groupoids

### 7 November 2001, Sydney

### 31 October 2001, Macquarie

- 2pm: George Janelidze – Some remarks on semi-abelian categories
- 4pm: Alexei Davydov – On higher products

### 17 October 2001, Macquarie

- 2pm: Daniel Steffen – A cartesian closed category of games and take-back strategies, cont.
- 4pm: Ross Street – More on lax monoids

### 10 October 2001, Sydney

- 2pm: Daniel Steffen – A cartesian closed category of games and take-back strategies
- 4pm: Marta Bunge – The fundamental group of a (universal) branched covering in topos theory

### 26 September 2001, Sydney

- 2pm: Alexei Davydov – Associative centres of incoherent monoidal categories
- 4pm: Steve Lack – A Quillen model structure for V-categories

### 12 September 2001, Macquarie

### 5 September 2001, Macquarie

### 1 August 2001, Sydney

- 2pm: Marta Bunge – Spreads and their completions
- 4pm: Steve Lack – Limits for partial map categories

### 18 July 2001, Sydney

- 2pm: Marta Bunge – Aspects of the symmetric topos
- 4pm: Michael Batanin – 1-operads versus nonsymmetric operads: two universal examples

### 11 July 2001, Macquarie

- 2pm: Michael Batanin – Contractible multitensors of higher dimensional structures
- 4pm: Robert Colomb – Application of category theory to information systems design

### 4 July 2001, Sydney

- 2pm: Marta Bunge – A monadicity theorem for distribution algebras
- 4pm: Steve Lack – Symmetric spectra

### 27 June 2001, Macquarie

- 2pm: Marta Bunge – Constructive Galois toposes
- 4pm: William Joyce – The Racah-Wigner calculus, Feynman diagrams and symmetric premonoidal categories

### 20 June 2001, Sydney

- 2pm: Michael Batanin – Higher dimensional homotopical algebra and Deligne's conjecture
- 4pm: Joost van Hamel – Picard categories and Poincar duality for curves with continuous coefficients

### 6 June 2001, Sydney

- 2pm: Bob Rosebrugh – Bisimulation and compositional minimization
- 4pm: Alexei Davydov – Homology of associative algebras: Hochschild, Gerstenhaber, Deligne, Kontsevich ...

### 23 May 2001, Sydney

- 2pm: Bob Rosebrugh – Modelling sketches and ERA models
- 4pm: Mike Johnson – Half-duplex interoperations from cartesian arrows

### 16 May 2001, Macquarie

- 2pm: Steve Lack – A Quillen model structure for 2-categories
- 4pm: James Dolan – Free cartesian closed categories and games, cont.

### 2 May 2001, Macquarie

- 2pm: Ross Street – Lax monoids and convolutions
- 4pm: Max Kelly – The new Barr preprint on derived functors without projectives

### 11 April 2001, Sydney

- 2pm: Max Kelly – Comments on free bicompletions
- 4pm: Mark Weber – Clubs as operads

### 4 April 2001, Macquarie

- 2pm: Mark Weber – Suspending globular monads
- 4pm: James Dolan – Free cartesian closed categories and games

### 21 March 2001, Macquarie

- 2pm: Mark Weber – Generic morphisms (cont.)
- 4pm: Michael Batanin – On the Pnon method of weakening algebraic structures

### 14 March 2001, Sydney

- 2pm: Mark Weber – Generic morphisms
- 4pm: Ross Street – More on autonomous pseudomonoids

### 7 March 2001, Macquarie

- 2pm: Alexei Davydov – Twisting of monoidal structures
- 4pm: Steve Lack – V-Cat is nice when V is

### 21 February 2001, Macquarie

- 2pm: William Joyce – Natural associativity without the pentagon condition II
- 4pm: Amnon Neeman – K-theory and localisation for non-commutative rings

### 14 February 2001, Sydney

- 2pm: William Joyce – Wigner's Dream, Feynman's Reality
- 4pm: Ross Street – Autonomous monoidal functors and their categorification

### 7 February 2001, Macquarie

- 2pm: Alexei Davydov – K-theory of braided categories; Gerstenhaber and Batalin-Vilkovisky algebras
- 4pm: James Dolan – Feynman diagrams, Euler characteristics, decategorification, and mobs (cont.)

### 31 January 2001, Peace Park

- 2pm: Ross Street – New PROPS and 2-PROPS
- 4pm: Max Kelly – A tentative consideration of clubs based on cospans

### 24 January 2001, Peace Park

- 2pm: Ross Street – Extraordinary stuff for the antipodes
- 4pm: James Dolan – Feynmann diagrams, Euler characteristics, decategorification, and mobs (cont.)

### 20 December 2000, Sydney

- 2pm: Heinrich Kleisli – Duality theory for vector spaces and abelian groups: a categorical approach
- 4pm: James Dolan – Feynman diagrams, Euler characteristics, decategorification, and clubs

### 13 December 2000, Macquarie

- 2pm: William Joyce – Natural associativity and coherence in the absence of the pentagon condition
- 4pm: James Dolan – Weak infinity-functors between strict infinity-categories IV

### 6 December 2000, Sydney

- 2pm: James Dolan – Weak infinity-functors between strict infinity-categories III
- 4pm: Max Kelly – On completion of monoidal closed categories

### 29 November 2000, Macquarie

- 2pm: Ekaterina Blagoveshchenskaya – Almost completely decomposable groups and their endomorphism rings
- 4pm: Alexei Davydov – Monoidal categories and finite groups

### 22 November 2000, Sydney

- 2pm: Bachuki Mesablishvili – Descent morphisms and Galois theory II
- 4pm: James Dolan – Weak infinity-functors between strict infinity-categories II

### 15 November 2000, Macquarie

- 2pm: Mike Johnson – Elementary insertions and Kan extensions
- 4pm: James Dolan – Weak infinity-functors between strict infinity-categories I

### 8 November 2000, Sydney

- 2pm: Bachuki Mesablishvili – Descent morphisms and Galois theory
- 4pm: Steve Lack – Entity/attribute sketches

### 1 November 2000, Macquarie

- 2pm: Paddy McCrudden – A characterization theorem for cosemisimple quantum groups, Part II
- 4pm: Steve Lack – Codescent objects and coherence

### 25 October 2000, Sydney

- 2pm: Paddy McCrudden – A characterization theorem for cosemisimple quantum groups, Part II
- 4pm: Mike Johnson – A universal solution to the view update problem

### 11 October 2000, Peace Park

- 2pm: Paddy McCrudden – A characterization theorem for cosemisimple quantum groups, Part I
- 4pm: Max Kelly – New observations on some reflexions arising from an action of a monoidal category

### 27 September 2000, Peace Park

- 2pm: James Dolan – Calculation of cohomology of K(Z/2Z,2) using globoplexes
- 4pm: Ross Street – Yang-Baxter operators on monoids

### 6 September 2000, Macquarie

- 2pm: Max Kelly – A note on actions of a monoidal category
- 4pm: James Dolan – Combinatorics of trees, stabilisation, and higher-dimensional categories

### 30 August 2000, Sydney

- 2pm: Fang Li – Right braids, quasi-braided pre-tensor categories and general Yang-Baxter operators
- 4pm: Ross Street – On the cellular nerves of omega-categories

### 23 August 2000, Macquarie

- 2pm: Mark Weber – Species in a weakly cartesian world
- 4pm: Ross Street – Berger's homogeneous theory structure on Joyal's category Theta

### 16 August 2000, Sydney

- 2pm: James Dolan – Joyal's theta-categories and the cohomology of Eilenberg-Mac Lane spaces II
- 4pm: Vincent Schmitt – Applications of enriched categories

### 9 August 2000, Macquarie

- 2pm: Ross Street – Batanin-Joyal higher categories without trees (Deforestation for a global village)
- 4pm: James Dolan – Joyal's theta-categories and the cohomology of Eilenberg-Mac Lane spaces

### 24 May 2000, Sydney

- 2pm: Wolfram Bentz – Semigroup presentations and deficiency
- 4pm: Mark Weber – Symmetric globular operads II

### 17 May 2000, Macquarie

- 2pm: Ross Street – Duality for finite groups
- 4pm: Mark Weber – Symmetric globular operads

### 3 May 2000, Macquarie

- 2pm: Ezra Getzler – The Deligne 2-groupoid of a differential graded Lie algebra
- 4pm: Max Kelly – Central extensions in Mal'tsev varieties (joint work with George Janelidze)

### 12 April 2000, Sydney

- 2pm: Anne Heyworth – Rewriting and Kan extensions
- 4pm: Steve Lack – The gaucho approach to coherence

### 5 April 2000, Macquarie

- 2pm: William Joyce – Projection of recoupling diagrams
- 4pm: Michael Batanin – Operad of shuffle polytopes

### 29 March 2000, Sydney

- 2pm: William Joyce – Recoupling coefficients and diagram projection
- 4pm: Steve Lack – More on extended distributive laws

### 22 March 2000, Macquarie

- 2pm: William Joyce – Coupling, recoupling and recoupling coefficients in the Racah-Wigner category
- 4pm: Bodo Pareigis – Double quantum groups II

### 15 March 2000, Sydney

- 2pm: Bodo Pareigis – Double quantum groups
- 4pm: Mark Weber – Graphical species

### 8 March 2000, Macquarie

- 2pm: Bodo Pareigis – Graphic calculus of braided categories
- 4pm: Ross Street – Multicategories and operads in Cat-operads

### 1 March 2000, Sydney

- 2pm: Max Kelly – A note on actions of a monoidal category
- 4pm: Paddy McCrudden – Opmonoidal monads

### 23 February 2000, Macquarie

- 2pm: George Janelidze – Strongly separable morphisms II
- 4pm: Ross Street – Monads and extended distributive laws

### 15 December 1999, Macquarie

- 2pm: Christian Kassel – Dehornoy's linear ordering on braids
- 4pm: George Janelidze – Strongly separable morphisms

### 8 December 1999, Sydney

- 2pm: Christian Kassel – Completion of braided monoidal categories and action of the Grothendieck-Teichmller group
- 4pm: George Janelidze – Central extensions in universal algebra

### 1 December 1999, Macquarie

- 2pm: Christian Kassel – Constructing braided monoidal categories from infinitesimal data
- 4pm: George Janelidze – Internal crossed modules II

### 24 November 1999, Sydney

- 2pm: George Janelidze – Internal crossed modules
- 4pm: Mark Weber – Non-permutative operads in a presheaf topos II (cont.)

### 17 November 1999, Macquarie

- 2pm: Mark Weber – Non-permutative operads in a presheaf topos II
- 4pm: Ross Street – An extension of Grothendieck's semidirect/wreath product construction arising from enriched category theory

### 10 November 1999, Sydney

- 2pm: George Janelidze – Finite preorders and topological descent (joint work with Manuela Sobral)
- 4pm: Max Kelly – Thoughts on transport of structure for 2-monads

### 27 October 1999, Sydney

- 2pm: Steve Lack – When small limits of small functors are small
- 4pm: Ross Street – From modules to accessible functors

### 20 October 1999, Macquarie

- 2pm: Sun Shu-Hao – Classification of compact ringed spaces using sheaf representations II
- 4pm: Jiri Velebil – Local smallness of cocompletions

### 13 October 1999, Sydney

- 2pm: Sun Shu-Hao – Classification of compact ringed spaces using sheaf representations
- 4pm: Max Kelly – Further thoughts on comparing monads

### 29 September 1999, Sydney

- 2pm: Mark Weber – Non-permutative operads in a presheaf topos (cont.)
- 4pm: Max Kelly – On proving the faithfulness of monad-morphisms

### 22 September 1999, Macquarie

- 2pm: Mark Weber – Non-permutative operads in a presheaf topos
- 4pm: Michael Batanin – Pnon's 5-minute definition of weak omega-category

### 15 September 1999, Sydney

- 2pm: Daniel Steffen – Modular categories after Turaev II: Invariants of 3-manifolds & the skein category
- 4pm: Steve Lack – More on contractilbe presentations

### 8 September 1999, Macquarie

- 2pm: Daniel Steffen – Modular categories after Turaev
- 4pm: Ross Street – Cohomology with coefficients in a category

### 1 September 1999, Sydney

- 2pm: Marie-Anne Moens – Azumaya graphs
- 4pm: Steve Lack – Pseudo-actions of braid monoids (d'aprs Deligne)

### 25 August 1999, Macquarie

- 2pm: Marie-Anne Moens – On regular presheaves and regular graphs
- 4pm: Ross Street – Oh no! Not even weaker 3-categories!

### 18 August 1999, Sydney

- 2pm: Adriano Scutell – Selecting without comparing: A small theorem in linear algebra and its abstract implementation using the bicategory Span(RGraph)
- 4pm: Isar Stubbe – The role in theoretical physics of the category of complete semilattices

### 23 June 1999, Sydney

- 2pm: Andr Joyal – A new model structure for simplicial sets
- 4pm: Ross Street – The formal theory of monads revisited

### 16 June 1999, Macquarie

- 2pm: Myles Tierney – Simplicial homotopy theory (lecture 6)
- 4pm: Alexei Davydov – Hochschild homology classes of fusion algebras

### 9 June 1999, Sydney

- 2pm: Myles Tierney – Short course on simplicial homotopy theory (lecture 5)
- 4pm: Luigi Santocanale – When circular proofs are good proofs

### 2 June 1999, Macquarie

- 2pm: Myles Tierney – Simplicial homotopy theory (lecture 4)
- 4pm: Claudio Hermida – Coherence for representable multicategories

### 26 May 1999, Sydney

- 2pm: Myles Tierney – Short course on simplicial homotopy theory (lecture 3)
- 4pm: Steve Lack – When do completion processes give rise to extensive categories?

### 19 May 1999, Macquarie

- 2pm: Andr Joyal – Quillen model structures
- 4pm: Michael Batanin – Cooperative games, permutoresultohedra and 4-D coherence

### 12 May 1999, Sydney

- 2pm: Andr Joyal – Quillen model structures

### 5 May 1999, Macquarie

- 2pm: Brian Day – *-Autonomous convolution
- 4pm: Andr Joyal – Introduction to Quillen model structures

### 21 April 1999, Macquarie

- 2pm: Max Kelly – Some happy new insights into base-change for categories enriched over bicategories
- 4pm: Ross Street – Categories enriched on two sides

### 14 April 1999, Sydney

- 2pm: Luigi Santocanale – The $\mu$-lattice $J(P)$

### 31 March 1999, Sydney

- 2pm: Luigi Santocanale – Least and greatest fixpoints in games, least and greatest fixpoints as games
- 4pm: Steve Lack – Second meditation on pseudomonads

### 24 March 1999, Macquarie

- 2pm: Julien Bichon – Galois reconstruction of finite quantum groups
- 4pm: Max Kelly – Objects in two categories and monoidal closed structures

### 10 March 1999, Macquarie

- 2pm: Julien Bichon – Quantum automorphism groups of finite graphs
- 4pm: Michael Batanin – Informal discussion on homotopy 4-types

### 3 March 1999, Sydney

- 2pm: Daniel Ford – Machiavellian games
- 4pm: Bob Rosebrugh – The distributive law for complete distributivity

### 24 February 1999, Macquarie

- 2pm: Kit Dampney – CT for IS - How CT enlivens a body of knowledge
- 4pm: John Corbett – A sheaf model of quantum mechanics

### 17 February 1999, Sydney

- 2pm: Michael Batanin and Andr Joyal – Discussion on 4-teisi

### 10 February 1999, Macquarie

- 2pm: Max Kelly – The use of the pseudo-limit of an arrow in simplifying the work on monadicity of Steve Lack and GMK
- 4pm: Bob Rosebrugh – Spans, trees and minimal realization

### 3 February 1999, Sydney

- 2pm: Max Kelly – Single-space homology axioms

### 27 January 1999, Macquarie

- 2pm: Michael Roy – Some toposes of spaces (cont.)
- 4pm: Steve Lack – On the monadicity of enriched categories with chosen colimits

### 13 January 1999, Macquarie

- 2pm: Michael Roy – Some toposes of spaces
- 4pm: Ross Street – Cohomology of groups

### 16 December 1998, Sydney

- 2pm: Jeremy Gunawardena – The unreasonable ineffectiveness of mathematics in computer engineering
- 4pm: Max Kelly – Polyads, locally-bounded categories, and monadicity

### 9 December 1998, Macquarie

- 2pm: Claudio Hermida – Some reflections on 2-fibrations
- 4pm: Andr Joyal – Higher-dimensional category theory II

### 2 December 1998, Sydney

- 2pm: Michael Batanin – Iterated localization for operads and the n-categorical tensor product problem (cont.)
- 4pm: Andr Joyal – Higher-dimensional category theory

### 25 November 1998, Macquarie

- 2pm: Max Kelly – New results on the monadicity over graphs of categories with finite limits III
- 4pm: Michael Batanin – Iterated localization for operads and the n-categorical tensor product problem

### 18 November 1998, Sydney

- 2pm: Henry Weld – An algebra of asynchronous binary circuits
- 4pm: Ross Street – Long modules, half-Long modules, and the Knizhnik-Zamolodchikov equation

### 11 November 1998, Macquarie

- 2pm: Andr Joyal – Homology theory of multiplicative systems
- 4pm: Max Kelly – New results on the monadicity over graphs of categories with finite limits II

### 4 November 1998, Sydney

- 2pm: Max Kelly – New results on the monadicity of categories with limits over graphs
- 4pm: Steve Lack – Exact completions of regular categories

### 28 October 1998, Macquarie

- 2pm: Andr Joyal – Homology operations
- 4pm: Ross Street – Morita Rivista

### 14 October 1998, Sydney

- 2pm: Enrico Vitale – Localizations of algebraic categories
- 4pm: Giulio Katis – On the algebra of systems governed by the continuity equation

### 7 October 1998, Macquarie

- 2pm: Enrico Vitale – A categorical approach to the Brauer Groups
- 4pm: Henry Weld – Towards a category of pipelines

### 23 September 1998, Sydney

- 2pm: Graeme Segal – Braided monoidal categories and topology
- 4pm: Claudio Hermida – A (multi)categorical approach to weak n-cats (Part I)

### 16 September 1998, Macquarie

- 2pm: Bob Walters – On the algebra of systems with boundary
- 4pm: Paddy McCrudden – Tannaka duality for Maschkean categories

### 9 September 1998, Sydney

- 2pm: Andr Joyal – Q-rings and the homology of the symmetric groups
- 4pm: Diming Lu – Finite dimensional corepresentations of the quantum group GL(q)(2)

### 2 September 1998, Macquarie

- 2pm: Steve Lack – Meditation on pseudomonads
- 4pm: Dominic Verity – Pseudomonads

### 26 August 1998, Sydney

- 2pm: Francisco Marmolejo – 2-monads and Makkai's theorem for pretoposes
- 4pm: Paul Taylor – A categorical approach to the ordinals and the axiom of replacement

### 19 August 1998, Macquarie

- 2pm: Hongde Hu – Contractible coherence spaces and free bicompletions of categories
- 4pm: Sjoerd Crans – The role of teisi in post-modern algebra

### 12 August 1998, Sydney

- 2pm: Claudio Hermida – Simulations and modal logic
- 4pm: Paul Taylor – A unified treatment of geometric and higher order logic

### 5 August 1998, Macquarie

- 2pm: Francisco Marmolejo – Pseudomonads and distributive laws
- 4pm: Paul Taylor – What is the generalized notion of algebraic theory that includes the theory of categories?

### 29 July 1998, Sydney

- 2pm: Vaughan Pratt – Universal topology: Representing concrete objects by Chu spaces
- 4pm: Paddy McCrudden – Snapshots of four conferences

### 22 July 1998, Macquarie

- 2pm: Mark Weber – Impressions of certain maths conferences
- 4pm: Ross Street – The chain rule

### 15 July 1998, Macquarie

- 2pm: Robin Cockett – Linear bicategories

### 8 July 1998, Macquarie

- 2pm: Karl-Georg Schlesinger – Quantum set theory, manifold notions and non-abelian cohomology
- 4pm: Steve Lack – Cofinite sieves and free restriction categories

### 1 July 1998, Sydney

- 2pm: Robin Cockett – Linear bicategories
- 4pm: Giulio Katis – An algebra for systems governed by differential and integral equations

### 24 June 1998, Macquarie

- 2pm: Sjoerd Crans – v^: R^ => R~^
- 4pm: Mike Johnson – Travel report

### 17 June 1998, Sydney

- 2pm: Robbie Gates – Generic separables and images in extensive categories
- 4pm: Ross Street – The naturality of twist

### 10 June 1998, Macquarie

- 2pm: Michael Batanin – Some properties of generalized computads
- 4pm: Robin Cockett – Characterizing partial map classifiers

### 3 June 1998, Sydney

- 2pm: Terry Bisson – Q-rings and the algebraic theory of homology operations
- 4pm: Ross Street – Internal categories

### 27 May 1998, Macquarie

- 2pm: Gwangwu Xu – Operator spaces and group algebras
- 4pm: Robin Cockett – Partial map classifiers and restriction classifiers (more from last week)

### 20 May 1998, Sydney

- 2pm: Barry Jay – Using categorical concepts in programming language design: FISH
- 4pm: Robin Cockett – A characterization of categories of partial maps

### 13 May 1998, Macquarie

- 2pm: Sjoerd Crans – What is symmetry again?
- 4pm: Ross Street – Analytic functors on globular sets

### 6 May 1998, Sydney

### 29 April 1998, Macquarie

- 2pm: Robin Cockett – Full completeness for categories enriched in commutative monoids
- 4pm: Giulio Katis – On accounting and quantities distributed over space and time

### 22 April 1998, Sydney

- 2pm: Stephen Eriksson-Bique – Some parallel programming examples using homomorphisms
- 4pm: George Janelidze – Galois theory in symmetric monoidal categories

### 15 April 1998, Macquarie

- 2pm: Steve Lack – Free cocompletions
- 4pm: George Janelidze – Galois theory in symmetric monoidal categories

### 8 April 1998, Sydney

- 2pm: Ryan Shelswell – Logic in a tos
- 4pm: George Janelidze – Central extensions of universal algebras

### 25 March 1998, Sydney

- 2pm: Mike Fourman – Formal methods for system integration
- 4pm: Sjoerd Crans – Z tensor product for (Gray-Cat)_tensor-categories

### 18 March 1998, Macquarie

- 2pm: Michael Batanin – How to define an operad by generators and relations
- 4pm: Max Kelly – The canonical enrichment of a category

### 11 March 1998, Sydney

- 2pm: Mark Weber – Lawvere theories and an analogous characterisation problem
- 4pm: Ross Street – Operads without numbers

### 4 March 1998, Macquarie

- 2pm: Jonathon Burns – Vector bases, arrays, and adjunctions
- 4pm: George Janelidze – Boolean Galois theories

### 25 February 1998, Sydney

- 2pm: Giulio Katis – Compositional verification of distributed algorithms
- 4pm: George Janelidze – Functorial factorization, well-pointedness, and separability

### 11 February 1998, Sydney

- 2pm: Sjoerd Crans – Some geometry of 2-categorical k-tensor calculus
- 4pm: Ross Street, George Janelidze, and Steve Lack – Three short talks

### 4 February 1998, Macquarie

- 2pm: Ross Street – A braiding for Pointed Groups
- 4pm: Paddy McCrudden – A tensor product for V-actegories

### 21 January 1998, Macquarie

- 2pm: Steve Lack – On the monadicity of categories with chosen weighted limits
- 4pm: George Janelidze – Semidirect products and extensions in protomodular categories (III)

### 14 January 1998, Sydney

- 2pm: Max Kelly – On free (enriched) categories with a class of colimits
- 4pm: George Janelidze – Semidirect products and extensions in protomodular categories (II)

### 7 January 1998, Macquarie

- 2pm: Sjoerd Crans – Two ways to make a braiding into a transfor
- 4pm: George Janelidze – Semidirect products and extensions in protomodular categories

### 3 December 1997, Sydney

- 2pm: George Janelidze – Commutator Theory III
- 4pm: Margaret McIntyre – Some geometry of Gray-categories

### 26 November 1997, Macquarie

- 2pm: Giulio Katis – Distributed algorithms II
- 4pm: Paddy McCrudden – A characterization of the image of Comod

### 19 November 1997, Sydney

- 2pm: George Janelidze – Commutator Theory II
- 4pm: Giulio Katis – Distributed Algorithms I

### 12 November 1997, Macquarie

- 2pm: Sun Shu-Hao – On representations of local compact groups which are not necessarily commutative
- 4pm: George Janelidze – Commutator theory

### 5 November 1997, Sydney

- 2pm: Steve Lack – A general notion of operad
- 4pm: Sjoerd Crans – E tensor product of Gray-categories

### 29 October 1997, Macquarie

- 2pm: Max Kelly – On recent joint work with Adamek
- 4pm: Michael Batanin – Montreal's progress in weak categories (notes on Joyal's and Hermida's talks and Joyal-Street's conversations)

### 22 October 1997, Sydney

- 2pm: Michael Batanin – Montreal's progress in weak categories (notes on Joyal's and Hermida's talks and Joyal-Street's conversations)
- 4pm: Bob Walters – Circuits and feedback

### 15 October 1997, Macquarie

- 2pm: Sun Shu-Hao – Remarks on Poincar-Birkhoff-Witt theorem and quantum enveloping algebra
- 4pm: Sjoerd Crans – D tensor product of Gray-categories

### 8 October 1997, Sydney

- 2pm: Michael Bush – Computing left Kan extensions
- 4pm: Steve Lack – Van Kampen squares, pushouts, and retract equivalences

### 1 October 1997, Macquarie

### 24 September 1997, Sydney

- 2pm: Max Kelly – A general notion of accessibility (conc.)
- 4pm: Paddy McCrudden – Quantum groups in V

### 10 September 1997, Sydney

- 2pm: Max Kelly – A general notion of accessibility (cont.)
- 4pm: Steve Lack – On the general coherence result of Power

### 3 September 1997, Macquarie

- 2pm: Alex Iltyakov – On polynomial invariants of exceptional simple linear algebraic groups
- 4pm: Paddy McCrudden – Linearly recursive sequences, braided hopf algebras and ring

### 27 August 1997, Sydney

- 2pm: Max Kelly – A general notion of accessibility (cont.)
- 4pm: Bob Walters – Concurrency theory and the rise of capitalism: span(graph), Paciolo, and partita doppia

### 20 August 1997, Macquarie

- 2pm: Sun Shu-Hao – On the fundamental theorem of coalgebra and Tannakian recovery of categories
- 4pm: Sjoerd Crans – B tensor product of Gray-categories

### 13 August 1997, Sydney

- 2pm: Max Kelly – A general notion of accessibility (cont.)
- 4pm: Sun Shu-Hao – On the fundamental theorem of coalgebra

### 6 August 1997, Macquarie

- 2pm: Sjoerd Crans – A tensor product of Gray-categories
- 4pm: Max Kelly – A general notion of accessibility

### 2 July 1997, Sydney

- 2pm: Giulio Katis – Categories with feedback: some examples
- 4pm: Steve Lack – The extensive reflection of a distributive category

### 25 June 1997, Macquarie

- 2pm: Sjoerd Crans – Pasting potpourri
- 4pm: Ross Street – Footnote to parenthetic remarks

### 18 June 1997, Sydney

- 2pm: Giulio Katis – Categories with feedback
- 4pm: Ross Street – Parenthetic remarks

### 11 June 1997, Macquarie

- 2pm: Ivan LeCreurer – Descent, fibrations, and internal categories
- 4pm: Marino Gran – Internal categories in Malcev varieties

### 4 June 1997, Sydney

- 2pm: Ren Lavendhomme – On De Rham's Theorem
- 4pm: Carmen Quinteiro – Enriched accessible categories

### 28 May 1997, Macquarie

- 2pm: Ren Lavendhomme – Small is beautiful -- An Introduction to Synthetic Differential Geometry
- 4pm: Steve Lack – Plus-constructions I have known

### 21 May 1997, Sydney

- 2pm: Paddy McCrudden – A characterization of the image of Comod: Coalg(R) --> Cat/(R-Mod)
- 4pm: Michael Batanin – Finitary monads on globular sets and notions of computad they generate

### 14 May 1997, Macquarie

- 2pm: Ross Street – Finite coproducts in variable categories
- 4pm: Mike Johnson – Categorical consultancy and finite cocompleteness

### 7 May 1997, Sydney

- 2pm: Max Kelly – Equipments (cont.)
- 4pm: Margaret McIntyre – On the construction of free Gray-categories from deformation classes of legible progressive 3-surface diagrams

### 30 April 1997, Macquarie

### 23 April 1997, Sydney

- 2pm: Max Kelly – The 2-category of equipments and adjunctions therein
- 4pm: Giulio Katis – An algebra for constructing Petri nets as transition systems

### 16 April 1997, Macquarie

- 2pm: Nico Pumpln – Banach spaces and convex modules
- 4pm: Sjoerd Crans – Transfors and their localizations

### 9 April 1997, Sydney

### 26 March 1997, Sydney

- 2pm: Jiri Admek – Finitary Sketches
- 4pm: Sjoerd Crans – On the nerve of 4-dimensional teisi

### 19 March 1997, Macquarie

- 2pm: Ross Street – The higher operads of Michael Batanin
- 4pm: Jiri Admek – Injectivity in locally presentable categories

### 12 March 1997, Sydney

- 2pm: Jiri Admek – Injectivity in locally presentable categories
- 4pm: Clemens Berger – Nerves of braided monoidal categories and lax 3-categories

### 5 March 1997, Macquarie

- 2pm: Clemens Berger – On braided monoidal categories and double loop spaces
- 4pm: Max Kelly – On the monadicity over graphs of categories with limits

### 26 February 1997, Sydney

- 2pm: Giulio Katis – On concurrent impertaive programming
- 4pm: Steve Lack – Dynamic Evaluation

### 19 February 1997, Macquarie

- 2pm: Sjoerd Crans – On coherent situations
- 4pm: Richard Buckland – Cell diagrams for choice

### 12 February 1997, Sydney

- 2pm: Richard Buckland – Using pasting diagrams to represent programs II: Properties of schemes
- 4pm: Steve Lack – Lax World

### 5 February 1997, Macquarie

- 2pm: Sjoerd Crans – The combinatorics of higher-dimensional lax natural transformations
- 4pm: Richard Buckland – Using pasting diagrams to represent programs

### 29 January 1997, Sydney

- 2pm: Mike Johnson – Prototypic weak interactive categories
- 4pm: Steve Lack – Hopf algebras and combinatorics

### 22 January 1997, Macquarie

- 2pm: Giulio Katis – Bicategories and abstract specifications of concurrent systems
- 4pm: Ross Street – The Charade Braid

### 15 January 1997, Sydney

- 2pm: Paddy McCrudden – Descent
- 4pm: Ross Street – Holiday thoughts on Tannaka duality

### 18 December 1996, Macquarie

- 2pm: Ross Street – Group Cohomology

### 4 December 1996, Macquarie

- 2pm: Sjoerd Crans – Kassel: Ore, Noether, Gauss
- 4pm: Ross Street – Transfer of limits across functors

### 27 November 1996, Sydney

- 2pm: Giulio Katis – Graphic toposes
- 4pm: Steve Lack – The free T-category on a T-graph

### 20 November 1996, Macquarie

- 2pm: Mike Johnson – Unity and synthesis in higher dimensional category theory
- 4pm: Sjoerd Crans – Higher dimensional Zamoldchikov

### 13 November 1996, Sydney

- 2pm: Steve Lack – One construction on lax functors
- 4pm: Ross Street – Fusion operators as generalised Hopf structures

### 6 November 1996, Macquarie

- 2pm: Paddy McCrudden – From the good book (Quantum Groups by Kassels)
- 4pm: Michael Batanin – Higher order operads and their algebras from the point of view of the theory of monoidal globular categories

### 30 October 1996, Sydney

- 2pm: Michael Batanin – Coherence for monoidal globular categories
- 4pm: Steve Lack – U_q(sl(2)), SL_q(2), and duality for Hopf algebras

### 23 October 1996, Macquarie

- 2pm: Michael Batanin – Monoidal globular categories as a natural environment for the theory of weak n-categories
- 4pm: Steve Lack – The world of Chu according to Pavlovic

### 16 October 1996, Sydney

- 2pm: Max Kelly – For which classes L of limits is the forgetful functor from the category of L-complete categories and L-continuous functors to the category of graphs and graph-morphisms a monadic functor? (cont.)
- 4pm: Sjoerd Crans – Some things you always wanted to know about Xy-pic but were afraid to ask

### 9 October 1996, Macquarie

- 2pm: Hu Hung Bui – Compact Quantum Groups
- 4pm: Ross Street – The Chu Construction

### 2 October 1996, Sydney

- 2pm: Max Kelly – For which classes L of limits is the forgetful functor from the category of L-complete categories and L-continuous functors to the category of graphs and graph-morphisms a monadic functor?
- 4pm: Henry Weld – The Book Part II

### 18 September 1996, Sydney

- 2pm: Giulio Katis – On Bivariant theories and extensive categories
- 4pm: Barry Jay – Extensive Challenges for Static Typing

### 11 September 1996, Macquarie

- 2pm: Sjoerd Crans – Why the centre is the way it is
- 4pm: Carolyn Kennett – The Book Part I, or Let's meet a quantum group

### 4 September 1996, Sydney

- 2pm: Michael Batanin – 2-operads and bicategories
- 4pm: Giulio Katis – On bivariant theories

### 28 August 1996, Macquarie

- 2pm: Michael Batanin – On the definition of weak n-categories III
- 4pm: Ross Street – Opcategories (cont.)

### 21 August 1996, Sydney

- 2pm: Ross Street – Coming to terms with opcategories
- 4pm: Sjoerd Crans – Looping and delooping, suspension, the stabilization theorem

### 14 August 1996, Macquarie

- 2pm: Michael Batanin – On the definition of weak n-categories II
- 4pm: Steve Lack – Categories of fractions and infinitary structures