## Talks from 2012

Here is a list of all talks given in 2012 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
all years, or from
any of the following individual years:

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

### 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

### 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)