The separated extensional Chu category

Michael Barr

This paper shows that, given a factorization system, E/M on a closed symmetric monoidal category, the full subcategory of separated extensional objects of the Chu category is also star-autonomous under weaker conditions than had been given previously ([Barr, 1991]). In the process we find conditions under which the intersection of a full reflective subcategory and its coreflective dual in a Chu category is star-autonomous.

Keywords: *-autonomous categories, Chu construction, separated, extensional.

1991 MSC: 18D15, 46A20.

Theory and Applications of Categories, Vol. 4, 1998, No. 6, pp 137-147.

TAC Home