Australian Category Seminar

• About AusCat
• Recent talks
• Past talks
• CoACT

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 

4 October 2023, Macquarie

• 2pm: Soichiro Fujii – Enrichment preserves fibrations

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

• 2pm: JS Lemay – Algebras of classified restriction categories

13 September 2023, Macquarie

• 2pm: JS Lemay – Classical distributive restriction categories

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

• 2pm: Nuiok Dicaire – The theory of localisable monads

31 May 2023, Macquarie

• 2pm: Soichiro Fujii – Open maps of preordered sets

24 May 2023, Macquarie

• 2pm: JS Lemay – Traced monads and Hopf monads

17 May 2023, Macquarie

• 2pm: Richard Garner – Some recherche monoidal structures

10 May 2023, Macquarie

• 2pm: JS Lemay – Moore-Penrose Dagger Categories

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

• 2pm: Ryuya Hora – Internal Parameterization of Hyperconnected Quotients

12 April 2023, Macquarie

• 4pm: Adrian Miranda – Tricategorical limits and colimits (part 2 of 2)

5 April 2023, Macquarie

• 2pm: Adrian Miranda – Tricategorical limits and colimits (part 1 of 2)

29 March 2023, Macquarie

• 2pm: Bregje Pauwels – Approximation in triangulated categories with partial Serre functors (part 2)

22 March 2023, Macquarie

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

15 March 2023, Macquarie

• 2pm: Giulian Wiggins – Categorical actions of the Heisenberg algebra

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

• 2pm: Richard Garner – Centralisers, centres and all that

8 February 2023, Macquarie

• 2pm: Ross Street – Wood fusion for closed comonads

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

• 2pm: Alexei Davydov – Deformation cohomology of tensor categories and extensions

30 November 2022, Macquarie

• 2pm: Yuki Maehara – Coinductive equivalences in algebraic weak ω-categories

9 November 2022, Macquarie

• 2pm: Soichiro Fujii – Ordered semirings and subadditive morphisms

5 October 2022, Macquarie

• 2pm: Giulian Wiggins – Towards a tilting theory for stratifications of abelian categories

14 September 2022, Macquarie

• 2pm: Giulian Wiggins – Stratifications of abelian categories

7 September 2022, Macquarie

• 2pm: Ross Street – The groupoid core can suffice

31 August 2022, Macquarie

• 2pm: Adrian Miranda – Progress towards semi-strictification for tetracategories

17 August 2022, Macquarie

• 2pm: Ehud Meir – Interpolations of monoidal categories by invariant theory

10 August 2022, Macquarie

• 2pm: Adrian Miranda – Comparing enrichment contexts on Gray-Cat

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

• 2pm: Jason Brown – An op/lax Fam construction

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

• 2pm: John Power – A general notion of sketch
• 4pm: Bryce Clarke – The right-connected completion

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

• 2pm: Richard Garner – Varieties of [B|M]-sets

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

• 2pm: John Power – Substitution and binders: a story of pseudo-monads

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

• 1.30pm: David Roberts – How to be concrete when you don't have a choice

27 April 2022, Macquarie

• 2pm: Axel Osmond – Bi-accessible and bipresentable 2-categories

20 April 2022, Macquarie

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

13 April 2022, Macquarie

• 2pm: Richard Garner – Bisimulation versus trace equivalence

6 April 2022, Macquarie

• 2pm: Giacomo Tendas – A survey on saturated and pre-saturated classes of colimits

23 March 2022, Macquarie

• 2pm: Adrian Miranda – Abstract Kleisli Structures

2 March 2022, Macquarie

• 2pm: Giacomo Tendas – Some facts about sound classes of weights

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

• 2pm: Nicola Di Vittorio – A Gray-categorical pasting theorem

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

• 2pm: Hardy Hulley – The Signed Measure Monad

24 November 2021, Online

• 2pm: Ross Street – Two sides to every storey

17 November 2021, Online

• 2pm: Paul Lesssard – The Lax-Shuffle Decomposition and the Cartesianâ†�Gray→Shift Span

10 November 2021, Online

• 1pm: Jason Parker – Locally bounded enriched categories

27 October 2021, Online

• 2pm: Bryce Clarke – Enriched lenses

20 October 2021, Online

• 2pm: Adrian Miranda – Kleisli Constructions for Pseudomonads

13 October 2021, Online

• 2pm: Alexander Campbell – What is an ∞-topos?

29 September 2021, Online

• 2pm: Giacomo Tendas – On small accessible V-categories and continuity of accessible functors

22 September 2021, Online

• 2pm: Bryce Clarke – The double category of generalised lenses

15 September 2021, Online

• 2pm: Alexander Campbell – What is a stable ∞-category?

8 September 2021, Online

• 2pm: Adrian Miranda – Kleisli Constructions on Simplicial sets and Quasi-categories

25 August 2021, Online

• 2pm: Geoff Edington-Cheater – Catalan Objects in Categories (part 2)

11 August 2021, Online

• 2pm: Matthew di Meglio – The category of lenses is regular-ish

4 August 2021, Online

• 2pm: Geoff Edington-Cheater – Catalan Objects in Categories

21 July 2021, Online

• 2pm: Ross Moore – Colourful linear algebra: knot invariants, Jones polynomial, Khovanov cohomology

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

• 2pm: Marcy Robertson – An elementary model for infinity (cyclic) operads

12 May 2021, Online

• 4pm: Felix Cherubini – Cartan Geometry in Modal Homotopy Type Theory

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

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

24 March 2021, Online

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

10 March 2021, Online

• 10am: Mathieu Anel – Small object argument for enriched factorisation systems

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

• 2pm: Emily Riehl – A Chevalley criterion for cartesian arrows

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

• 2pm: Richard Garner – Cartesian closed varieties (part 3)

4 November 2020, Online

• 2pm: Sophie Raynor – A operadic model structure on compact closed categories

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

• 4pm: Adrian Miranda – The decalage comonads and their restrictions

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

• 2pm: Richard Garner – Completeness for comodels

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

• 2pm: Yuki Maehara – A cubical model for weak omega-categories

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

• 4pm: James East – Presentations for tensor categories

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

• 2pm: John Power – State: a story of hidden structure

15 April 2020, Online

• 2pm: John Power – Adequacy for algebraic effects

8 April 2020, Online

• 4pm: Richard Garner – Tensor products of models and comodels in computer science

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

• 4pm: Paul Lessard – Spectra as locally finite Z-groupoids (part 5)

11 March 2020, Macquarie

• 2pm: Giacomo Tendas – Equivalent characterizations of accessible V-categories (part 1)

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

• 2pm: Michael Batanin – Comparing Feynman and Operadic categories

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

• 2pm: Richard Garner – Comonads and enrichment

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

• 2pm: Dror Bar-Natan – Everything around sl(2+,\eps) is DoPeGDO. So what?

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

• 2pm: Paul Lessard – Spectra as locally finite Z-groupoids
• 4pm: Ross Street – The free dual pair

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

• 2pm: Vidit Nanda – Discrete Morse theory and localization

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

• 2pm: Nathan McMahon – Category theory in Physics: Applications in Quantum Resource Theories

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

• 2pm: Ross Street – Parcels (joint with Branko Nikolic)

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

• 2pm: Richard Garner – Polynomial monads as fibred PROPs

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

• 4pm: Giacomo Tendas – Strongly preserved formulas in toposes

18 July 2018, Macquarie

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

27 June 2018, Macquarie

• 4pm: Branko Nikolic – Lax monoidal structure on the category of 2-categories and lax functors

20 June 2018, Macquarie

• 4pm: Michael Batanin – W-locally constant functors and localisation of operads

13 June 2018, Macquarie

• 4pm: David Gepner – K-theory of endomorphisms, Witt vectors, and cyclotomic spectra

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

• 4pm: Philip Hackney – Dwyer-Kan homotopy theory for cyclic operads

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

• 4pm: Richard Garner – The locally connected classifying topos

11 April 2018, Macquarie

• 4pm: David White – Equivariant Operads, the Kervaire Invariant, and the Blumberg-Hill Conjecture

4 April 2018, Macquarie

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

28 March 2018, Macquarie

• 4pm: Steve Lack – Legitimizing operadic categories

21 March 2018, Macquarie

• 2pm: Alexander Campbell – Fiat lax
• 4pm: Edoardo Lanari – Cat as a localization of (oo,1)-categories

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

• 4pm: Alexander Campbell – A homotopy coherent cellular nerve for bicategories

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

• 4pm: Peter Johnstone – Perfect toposes and infinitesimal weak generation

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

• 4pm: Alexander Campbell – How strict is strictification?, part 2

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

• 2pm: Steve Lack – Cobraidings for monoidal comonads
• 4pm: Alexander Campbell – The 2-stack of stacks

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

• 4pm: Ross Street – Cauchy completeness for DG-categories, part 2

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

• 4pm: Richard Garner – A practical introduction to weighted limits

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

• 2pm: Steve Lack – Coherence for skew monoidal categories, revisited
• 4pm: Ross Street – Real sets

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

• 2pm: Christopher Nguyen – Associahedra and parity structure

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 Böhm – 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 López Franco – Quasi Hopf algebras and Eilenberg-Moore objects (part 2)

18 September 2013, Macquarie

• 2pm: Benjamin Alarcón Heredia – Homotopy pullbacks induced by bicategories
• 4pm: Ignacio López Franco – Quasi Hopf algebras and Eilenberg-Moore objects (part 1)

11 September 2013, Macquarie

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

4 September 2013, Macquarie

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

28 August 2013, Macquarie

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

21 August 2013, Macquarie

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

14 August 2013, Macquarie

• 2pm: Benjamin Alarcón 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 López Franco – Exponentiability of spaces: another proof (part 3)

15 May 2013, Macquarie

• 2pm: Ignacio López 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 López 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 López Franco – Hopf monads and dualizations

6 March 2013, Macquarie

• 2pm: Mike Johnson – Coherence geometrically: Thoughts on last week's talks
• 4pm: Ignacio López 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 López 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 López 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 López 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 López 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 Schäppi – 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 Schäppi – Characterizing categories of coherent sheaves (part 4)

30 May 2012, Macquarie

• 2pm: Mitchell Buckley – Fibred 2-categories (part 2)
• 4pm: Daniel Schäppi – Characterizing categories of coherent sheaves (part 3)

23 May 2012, Macquarie

• 2pm: Steve Lack – The relational approach to exactness conditions
• 4pm: Daniel Schäppi – Characterizing categories of coherent sheaves (part 2)

16 May 2012, Macquarie

• 2pm: Mitch Buckley – Fibred 2-categories (part 1)
• 2pm: Daniel Schäppi – 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 Schäppi – 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

• 2pm: Ross Street – More on internal full subcategories

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 Schäppi – 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 Schäppi – The formal theory of Tannaka duality (part 4)

8 February 2012, Macquarie

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

1 February 2012, Macquarie

• 2pm: Daniel Schäppi – The formal theory of Tannaka duality (part 2)

25 January 2012, Macquarie

• 2pm: Daniel Schäppi – The formal theory of Tannaka duality (part 1)
• 4pm: Richard Garner – Une catéade, 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 catéade, 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, décalage 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

• 3pm: Ezra Getzler – Higher analytic stacks

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

• 4pm: Jeff Egger – What is a morphism of Frobenius functors?

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

• 2pm: Bob Rosebrugh – Fibrations and universal translations

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 Hirata’s 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

• 1pm: Marcelo Aguiar – Quantum groups and Hopf algebras in combinatorics

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

• 2pm: Gabriella Böhm – A 2-category of weak mixed distributive laws

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

• 2pm: Dominic Verity – On the relationship between certain descent notions II

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 Bruguières – 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 Bruguières – 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

• 2pm: Jérome Scherer – Injective resolutions for unbounded chain complexes

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

• 2pm: Mike Shulman – Enriched derived functors and homotopy limits

23 April 2008, Macquarie

• 2pm: Mike Shulman – Equipments, double categories, and monoidal fibrations

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

• 2pm: Isar Stubbe – Locally principally generated Q-modules

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

• 2pm: Jonathan Cohen – Coherent presentations of structural monoids

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

• 2pm: Stephen Allen – Universal higher rank graphs generated by categories

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

• 2pm: Jonathon Cohen – Logical challenges for category theory

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 Müger – 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.Márki)

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

• 2pm: Joost van Hamel – Crossed modules and Galois cohomology of reductive groups

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

• 2pm: Steve Lack – Van Kampen squares and adhesive categories

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

• 2pm: Simona Paoli – Comparing homotopy models, Part II

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: Jürgen 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

• 2pm: Ross Street – Roots of unity as a Lie algebra
• 4pm: Steve Lack – Extensivity for 2-categories

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

• 2pm: Ross Street – L'
• 4pm: Marta Bunge – A comparison theorem for two types of single universes

5 September 2001, Macquarie

• 2pm: Marta Bunge – Path-linearizable categories
• 4pm: Ross Street – Weak omega-categories

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 Pénon 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-Teichmüller 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 – Pénon'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'après 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

• 2pm: Robin Cockett – A categorical semantics for P-time
• 4pm: Steve Lack – Lax morphisms and limits

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

• 2pm: Sjoerd Crans – C tensor product of Gray-categories

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

• 2pm: Sjoerd Crans – Tensors and transfors
• 4pm: Steve Lack – On the monadicity of finitary monads

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 Pumplün – Banach spaces and convex modules
• 4pm: Sjoerd Crans – Transfors and their localizations

9 April 1997, Sydney

• 2pm: Ross Street – Zen from three conferences
• 4pm: Steve Lack – On property-like structures

26 March 1997, Sydney

• 2pm: Jiri Adámek – 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 Adámek – Injectivity in locally presentable categories

12 March 1997, Sydney

• 2pm: Jiri Adámek – 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

31 July 1996, Macquarie

• 2pm: Michael Batanin – On the definition of weak n-categories
• 4pm: Ross Street – More on the Quantum Double