Bulletin of the Australian Mathematical Society

Research Article

Note on monoidal localisation

Brian Daya1

a1 University of Chicago, Chicago, Illinois, USA.

Abstract

If a class Z of morphisms in a monoidal category A is closed under tensoring with the objects of A then the category obtained by inverting the morphisms in Z is monoidal. We note the immediate properties of this induced structure. The main application describes monoidal completions in terms of the ordinary category completions introduced by Applegate and Tierney. This application in turn suggests a “change-of-universe” procedure for category theory based on a given monoidal closed category. Several features of this procedure are discussed.

(Received July 18 1972)