5k citations
- 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
4 papers · 2 filters
On endomorphism algebras of separable monoidal functors
Brian Day, Craig Pastro
We show that the (co)endomorphism algebra of a sufficiently separable "fibre" functor into Vect_k, for k a field of characteristic 0, has the structure of what we call a "unital" v…
Closed categories, star-autonomy, and monoidal comonads
Craig Pastro, Ross Street
This paper determines what structure is needed for internal homs in a monoidal category C to be liftable to the category C^G of Eilenberg-Moore coalgebras for a monoidal comonad G…
Nuclei of categories with tensor products
Alexei Davydov
Following the analogy between algebras (monoids) and monoidal categories the construction of nucleus for non-associative algebras is simulated on the categorical level. Nuclei of c…
The logic of message passing
J. R. B. Cockett, Craig Pastro
Message passing is a key ingredient of concurrent programming. The purpose of this paper is to describe the equivalence between the proof theory, the categorical semantics, and ter…