Geodesic
Entropic Hopf algebras and models of non-commutative logic
Theory and applications of categories, Tome 10 (2002), pp. 424-460

Voir la notice de l'article provenant de la source Theory and Applications of Categories website

We give a definition of categorical model for the multiplicative fragment of non-commutative logic. We call such structures entropic categories. We demonstrate the soundness and completeness of our axiomatization with respect to cut-elimination. We then focus on several methods of building entropic categories. Our first models are constructed via the notion of a partial bimonoid acting on a cocomplete category. We also explore an entropic version of the Chu construction, and apply it in this setting.

It has recently been demonstrated that Hopf algebras provide an excellent framework for modeling a number of variants of multiplicative linear logic, such as commutative, braided and cyclic. We extend these ideas to the entropic setting by developing a new type of Hopf algebra, which we call entropic Hopf algebras. We show that the category of modules over an entropic Hopf algebra is an entropic category (possibly after application of the Chu construction). Several examples are discussed, based first on the notion of a bigroup. Finally the Tannaka-Krein reconstruction theorem is extended to the entropic setting.

Classification : 03F07, 03F52, 18A15, 18D10, 57T05.
Keywords: Linear logic, monoidal categories, Hopf algebras. 
@article{TAC_2002_10_a16,
     author = {Richard F. Blute and Francois Lamarche and Paul Ruet},
     title = {Entropic {Hopf} algebras and models of non-commutative logic},
     journal = {Theory and applications of categories},
     pages = {424--460},
     publisher = {mathdoc},
     volume = {10},
     year = {2002},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2002_10_a16/}
}
TY  - JOUR
AU  - Richard F. Blute
AU  - Francois Lamarche
AU  - Paul Ruet
TI  - Entropic Hopf algebras and models of non-commutative logic
JO  - Theory and applications of categories
PY  - 2002
SP  - 424
EP  - 460
VL  - 10
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2002_10_a16/
LA  - en
ID  - TAC_2002_10_a16
ER  - 
%0 Journal Article
%A Richard F. Blute
%A Francois Lamarche
%A Paul Ruet
%T Entropic Hopf algebras and models of non-commutative logic
%J Theory and applications of categories
%D 2002
%P 424-460
%V 10
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2002_10_a16/
%G en
%F TAC_2002_10_a16
Richard F. Blute; Francois Lamarche; Paul Ruet. Entropic Hopf algebras and models of non-commutative logic. Theory and applications of categories, Tome 10 (2002), pp. 424-460. http://geodesic.mathdoc.fr/item/TAC_2002_10_a16/