Australian Category Seminar

Generalized multicategories and change-of-base

⤳ from 12 June

T-categories, T-simplicial structure, and horizontal units

Normal isofibrations, split idempotents, and 2-categorical infinity-cosmoi

Polynomials, biproducts, and wreaths

Hopf structures, hyperplanes, and bands

Weak adjoint functor theorems (abs)

Sketching quasivarieties

Ambrose-Palais-Singer theorem for tangent categories

⤳ from 31 July

Species, convolution, and bimonoidal structure (abs)

Legitimizing operadic categories (abs)

Internal homs of monads (abs)

Braidings on skew monoidal categories (abs)

Coherence for skew monoidal categories, revisited (abs)

Combinatorial models for associahedra (abs)

Cobraidings for monoidal comonads (abs)

An example of skew reflection involving representations of bialgebroids

A microcosm for opmonoidal monads

Du Pareigis

(Generalized) operadic categories, skew monoidal categories, and comprehensive factorization

Universal properties of slice constructions

The Catalan simplicial set strikes again

Skew collages

Another Catalan simplicial set

Hochschild cohomology and paracyclic structures

⤳ from 15 July

Pseudo-commutativity d'apres Bourke

Combinatorial categorical equivalences

Skew aspects of operads

Further skew aspects of operads

Multiplier bialgebras in braided monoidal categories

Coherence for skew monoidal categories

The Catalan simplicial set

Quasialgebraic aspects of topology

The no-iteration approach to monads, and its bicategorical and skew variants

Right normalization of skew monoidal categories, with applications to monads

Quantum matrices and *-autonomy

Torsion-free subcategories of semiabelian categories

⤳ from 20 November

The relational approach to exactness conditions

The skew approach to quantum categories

Skew Eckmann-Hilton

A simplicial approach to skewing

⤳ from 11 July

Two constructions in Morita theory

Recognizing lax morphism classifiers

Coherence for skew monoidal categories: first steps

Embedding theorems for adhesive and quasiadhesive categories

Grothendieck quasitoposes

Homology and homotopy for symmetric cat-groups

Induced representations, exactness, and Hopf monads

Induced representations, décalage and comprehensive factorisation

Yet another approach to modules over a bialgebra

Strictification

Presentations for monads

Playing with ordinals

Theories, theories, and theories

Accessibitly and purity in enriched and unenriched contexts

Weakly locally presentable 2-categories

The 2-category of weak distributive laws

Tensor products of chain complexes and the Dold-Kan correspondence

A Quillen model structure for Gray-categories

Gray-categories, Gray-groupoids, and homotopy 3-types (abs)

Weak world

Return to weak world

Opmonoidal monads

Multicategories, hom-multicategories, and more

Enriched weakness

⤳ from 30 September

Normality, separability, and weakness

Non-canonical isomorphisms

Free monoids (abs)

Limits for weak morphisms (abs)

⤳ from 21 May

⤳ from 4 June

Clubs, wreaths, and ordinals

How to smash trees

Multitudes of trees

Notions of Lawvere theory

Density presentations

Centres and derivations

Stricts, costricts, and icons

2-nerves of bicategories (abs)

⤳ from 15 March

Homotopy-theoretic aspects of 2-monads (abs)

Bicat is not triequivalent to Gray (abs)

Comonads, corings, and collages

Traces, duals, and composition

Comonads, restriction categories, and generalized partial maps

Dold-Kan, internal categories, and polyads

Enrichment through partiality

Pure ribbons and reversible operads

Pure-braided monoidal categories

Report on CT04

Twisted modules and crossed braidings

Restriction theories

Lax morphisms, oplax limits, and double categories (abs)

Quasiadhesive categories

Colimit completions, flat functors, and connected G-sets

Properness of factorization systems in the enriched and bicategorical contexts (abs)

A Quillen model structure for bicategories (abs)

Composing PROPs (abs)

Operads, algebras, modules, and crossed modules

Van Kampen squares and adhesive categories (abs)

Internal categories in the protomodular and operadic contexts

More on internal categories in the operadic context (abs)

Finite limit structures in monoidal categories (abs)

Homotopy theory in 2-categories; homotopy theory of 2-monads

The real van Kampen theorem for toposes (abs)

Partial functions, matrices, and extensivity

Pointing a category

V-Cat is nice when V is (abs)

A Quillen model structure for 2-categories (abs)

Symmetric spectra (abs)

Limits for partial map categories

A Quillen model structure for V-categories

Extensivity for 2-categories (abs)

⤳ from 7 November

More on extended distributive laws (abs)

The gaucho approach to coherence

Codescent objects and coherence (abs)

Entity/attribute sketches

On the monadicity of enriched categories with chosen colimits (abs)

⤳ from 2 September 1998

When do completion processes give rise to extensive categories? (abs)

Pseudo-actions of braid monoids (d'après Deligne) (abs)

More on contractilbe presentations

When small limits of small functors are small

On the monadicity of categories with chosen weighted limits (abs)

Free cocompletions (abs)

Lax morphisms and limits (abs)

Cofinite sieves and free restriction categories (abs)

Meditation on pseudomonads (abs)

Exact completions of regular categories (abs)

Hopf algebras and combinatorics (abs)

Lax World (abs)

Dynamic Evaluation (abs)

On property-like structures (abs)

On the monadicity of finitary monads (abs)

Plus-constructions I have known (abs)

The extensive reflection of a distributive category (abs)

On the general coherence result of Power (abs)

Van Kampen squares, pushouts, and retract equivalences

A general notion of operad

Categories of fractions and infinitary structures (abs)

The world of Chu according to Pavlovic (abs)

U_q(sl(2)), SL_q(2), and duality for Hopf algebras (abs)

One construction on lax functors (abs)

The free T-category on a T-graph (abs)