- Australian Astronomical ObservatoryAU873 papers
- The University of SydneyAU566 papers
- Australian National UniversityAU467 papers
- Centre National de la Recherche ScientifiqueFR410 papers
- Australian Astronomical OpticsAU324 papers
- International Centre for Radio Astronomy ResearchAU318 papers
- UNSW SydneyAU309 papers
- Swinburne University of TechnologyAU299 papers
- University of CambridgeGB297 papers
- ARC Centre of Excellence for All-sky AstrophysicsAU289 papers
- University College LondonGB269 papers
- Princeton UniversityUS264 papers
6 papers · 2 filters
The Catalan simplicial set
Mitchell Buckley, Richard Garner, Stephen Lack +1
The Catalan numbers are well-known to be the answer to many different counting problems, and so there are many different families of sets whose cardinalities are the Catalan number…
Lawvere theories, finitary monads and Cauchy-completion
Richard Garner
We consider the equivalence of Lawvere theories and finitary monads on Set from the perspective of Endf(Set)-enriched category theory, where Endf(Set) is the category of finitary e…
Homotopy theory for algebras over polynomial monads
Michael Batanin, Clemens Berger
We study the existence and left properness of transferred model structures for "monoid-like" objects in monoidal model categories. These include genuine monoids, but also all kinds…
Two-dimensional regularity and exactness
John Bourke, Richard Garner
We define notions of regularity and (Barr-)exactness for 2-categories. In fact, we define three notions of regularity and exactness, each based on one of the three canonical ways o…
Triangulations, orientals, and skew monoidal categories
Stephen Lack, Ross Street
A concrete model of the free skew-monoidal category Fsk on a single generating object is obtained. The situation is clubbable in the sense of G.M. Kelly, so this allows a descripti…
Enriched categories as a free cocompletion
Richard Garner, Michael Shulman
This paper has two objectives. The first is to develop the theory of bicategories enriched in a monoidal bicategory -- categorifying the classical theory of categories enriched in…