Monoidal Company for Accessible Functors

[r]

Since a functor of F quad is colimit of its subfunctors which take values in finite vector spaces, we deduce from Lemma 4.8, that it is sufficient to prove the result for the

Let E q be the category having as objects finite dimensional F 2 - vector spaces equipped with a non-degenerate quadratic form and with morphisms linear maps which preserve

A monoid in SL is a quantale so that it is possible to defined the Brauer group of a commutative unital quantale Q as the Brauer group of the monoidal category

Vol. e., without reference to sketched structures) and study the category MCat of multiple categories.. This leads to similar results

But if statement Sh fails to make sense, it seems that statement Sf does not make sense either, according to Condition1: for the terms “brain” and “left arm” occupy the

However, since (G, a) represents the restriction of the functor to the category ofpreschemes which are reduced and a direct sum ofpreschemes of finite type over k, it follows that

Partial group actions were considered first by Exel [E1] in the context of operator algebras and they turned out to be a powerful tool in the study of C -algebras generated by