Skip to main content
3 events
when toggle format what by license comment
Jan 6, 2010 at 1:32 comment added Todd Trimble Yes, that's a good point: the compact objects in Ban with all bounded linear maps as morphisms are indeed the finite-dimensional ones. This category is smc for the same reason as Ban_1 is (on general grounds, the only "extra" issue would be whether the structural constraints used for Ban_1 are natural with respect to all bounded linear maps, not just wrt the contractions, but that's obvious from linearity -- actually I think of it as the other way around: the smc structure on Ban is easy, and that the structural constraints belong to Ban_1 is a small extra bonus).
Jan 5, 2010 at 19:24 history edited Reid Barton CC BY-SA 2.5
added 288 characters in body
Jan 5, 2010 at 18:44 history answered Reid Barton CC BY-SA 2.5