- 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
On the 2-categories of weak distributive laws
Gabriella Böhm, Stephen Lack, Ross Street
A weak mixed distributive law (also called weak entwining structure) in a 2-category consists of a monad and a comonad, together with a 2-cell relating them in a way which generali…
Enriched weakness
Stephen Lack, Jiri Rosicky
The basic notions of category theory, such as limit, adjunction, and orthogonality, all involve assertions of the existence and uniqueness of certain arrows. Weak notions arise whe…
On Cyclic Star-Autonomous Categories
Jeff Egger, Micah Blake McCurdy
We discuss cyclic star-autonomous categories; that is, unbraided star- autonomous categories in which the left and right duals of every object p are linked by coherent natural isom…
Levels in the toposes of simplicial sets and cubical sets
Carolyn Kennett, Emily Riehl, Michael Roy +1
The essential subtoposes of a fixed topos form a complete lattice, which gives rise to the notion of a level in a topos. In the familiar example of simplicial sets, levels coincide…
A Quillen model structure for Gray-categories
Stephen Lack
A Quillen model structure on the category Gray-Cat of Gray-categories is described, for which the weak equivalences are the triequivalences. It is shown to restrict to the full sub…
Weak bimonads and weak Hopf monads
Gabriella Böhm, Stephen Lack, Ross Street
We define a weak bimonad as a monad T on a monoidal category M with the property that the Eilenberg-Moore category M^T is monoidal and the forgetful functor from M^T to M is separa…