Tuesday, 16 February 2016
4:00 - 5:00   M. Barr (McGill)
Introduction to *-Autonomous categories, continued

I will finally get to some of the hard work and show, if time permits, the following two results:

1. Assuming that V is the subobject and product closure of a very nice category S of topological objects and that S contains a very nice injective K, then K is also injective in V.

2. The inclusion of the weak objects in V has a left adjoint and the inclusion of the strong objects has a right adjoint.