Introduction to *-Autonomous categories, continued

02/16/2016 - 16:00
02/16/2016 - 17:00
M. Barr (McGill)

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.

Last edited by on Sun, 02/14/2016 - 16:02