ABSTRACT

If Q is a quan ta le , th en can be described as follows. Since Q has only one object, an ,3 £ - fu n c to r F: Q. -» T picks out an object s € T and a su b q u a n ta le (subset closed u n d e r ° and sups) of th e q u a n ta le T(s,s). Thus, we can identify F w i th a su b q u a n ta le Qs = {F(q)| q € Q} of T(s,s). A m o rp h ism Qs —» Qt is a m orph ism h: s —»t in T such t h a t if q € Q, h°F(q) = G(q)°h.