- 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
5 papers · 2 filters
Span composition using fake pullbacks
Ross Street
The construction of a category of spans can be made in some categories $\CC$ which do not have pullbacks in the traditional sense. The PROP for monoids is a good example of such a…
Enriched Regular Theories
Stephen Lack, Giacomo Tendas
Regular and exact categories were first introduced by Michael Barr in 1971; since then, the theory has developed and found many applications in algebra, geometry, and logic. In par…
A homotopy coherent cellular nerve for bicategories
Alexander Campbell
The subject of this paper is a nerve construction for bicategories introduced by Leinster, which defines a fully faithful functor from the category of bicategories and normal pseud…
Polynomials as spans
Ross Street
The paper defines polynomials in a bicategory . Polynomials in bicategories of spans in a finitely complete category agre…
Inner horns for 2-quasi-categories
Yuki Maehara
Dimitri Ara's 2-quasi-categories, which are certain presheaves over André Joyal's 2-cell category , are an example of a concrete model that realises the abstract notion of $(\…