Picture of boy being examining by doctor at a tuberculosis sanatorium

Understanding our future through Open Access research about our past...

Strathprints makes available scholarly Open Access content by researchers in the Centre for the Social History of Health & Healthcare (CSHHH), based within the School of Humanities, and considered Scotland's leading centre for the history of health and medicine.

Research at CSHHH explores the modern world since 1800 in locations as diverse as the UK, Asia, Africa, North America, and Europe. Areas of specialism include contraception and sexuality; family health and medical services; occupational health and medicine; disability; the history of psychiatry; conflict and warfare; and, drugs, pharmaceuticals and intoxicants.

Explore the Open Access research of the Centre for the Social History of Health and Healthcare. Or explore all of Strathclyde's Open Access research...

Image: Heart of England NHS Foundation Trust. Wellcome Collection - CC-BY.

Interacting Frobenius Algebras are Hopf

Duncan, Ross (2015) Interacting Frobenius Algebras are Hopf. In: Higher TQFT and categorical quantum mechanics, 2015-10-19 - 2015-10-23, Erwin Schrödinger Institute.

Full text not available in this repository. Request a copy from the Strathclyde author

Abstract

Commutative Frobenius algebras play an important role in both TQFT and CQM; in the first case they correspond to 2d TQFTs, while in the second they are non-degenerate observables. I will consider the case of “special” Frobenius algebras, and their associated group of phases. This gives rise to a free construction from the category of abelian groups to the PROP generated by this Frobenius algebra. Of course a theory with only one observable is not very interesting. I will consider how two such PROPs should be combined, and show that if the two algebras (i) jointly form a bialgebra and (ii) their units are “mutually real”; then they jointly form a Hopf algebra. This gives a free model of a pair of strongly complementary observables. I will also consider which unitary maps must exist in such models.