Results 1 
2 of
2
Weakly Distributive Categories
 Journal of Pure and Applied Algebra
, 1991
"... There are many situations in logic, theoretical computer science, and category theory where two binary operationsone thought of as a (tensor) "product", the other a "sum"play a key role. In distributive and autonomous categories these operations can be regarded as, respectively, the and/or of ..."
Abstract

Cited by 119 (19 self)
 Add to MetaCart
There are many situations in logic, theoretical computer science, and category theory where two binary operationsone thought of as a (tensor) "product", the other a "sum"play a key role. In distributive and autonomous categories these operations can be regarded as, respectively, the and/or of traditional logic and the times/par of (multiplicative) linear logic. In the latter logic, however, the distributivity of product over sum is conspicuously absent: this paper studies a "linearization" of that distributivity which is present in both case. Furthermore, we show that this weak distributivity is precisely what is needed to model Gentzen's cut rule (in the absence of other structural rules) and can be strengthened in a natural way to generate  autonomous categories. We also point out that this "linear" notion of distributivity is virtually orthogonal to the usual notion as formalized by distributive categories. 0 Introduction There are many situations in logic, theoretical co...
Witt vectors and Tambara functors
"... Abstract. We give, for every finite group G, a combinatorial description of the ring of GWitt vectors on a polynomial algebra over the integers. Using this description we show that the functor, which takes a ring with trivial action of G to its ring of Witt vectors, coincides with the left adjoint ..."
Abstract

Cited by 7 (0 self)
 Add to MetaCart
Abstract. We give, for every finite group G, a combinatorial description of the ring of GWitt vectors on a polynomial algebra over the integers. Using this description we show that the functor, which takes a ring with trivial action of G to its ring of Witt vectors, coincides with the left adjoint of the algebraic functor