arXiv:1403.7048cs.LO
We introduce the theory IH of interacting Hopf algebras, parametrised over a principal ideal domain R. The axioms of IH are derived using Lack's approach to composing PROPs: they feature two Hopf algebra and two Frobenius algebra structures on four different monoid-comonoid pairs. This construction is instrumental in showing that IH is isomorphic to the PROP of linear relations (i.e. subspaces) over the field of fractions of R.
Linked by 3 identifiable commenters in 4 comments across 3 threads, from Apr 2015 to Aug 2020.
I am guessing these diagrams are taken from Electrical Engineering and not Quantum Physics. The blog looks like an expansion of their paper http://arxiv.org/abs/1403.7048v3 Yes! That's where I have seen these diagrams before. They are Hopf algebras, which appear both in…
I am not the author, but the blog series is based around this paper AFAIK: http://arxiv.org/abs/1403.7048
Connected through shared HN threads, not inferred similarity or a recommendation.
There's a paper linked to here which he says contains all the "spoilers": http://arxiv.org/abs/1403.7048 > If you are impatient and want to get to the conclusion quickly, here’s the link to our paper where the basic theory is explained (Spoiler warning!). We will also discuss…
guerrillaView on HNParent context
> "math-lite" The series is intended for a general audience and starts by laying the groundwork necessary for exposition of this paper: [1]. Article 4 [2] explains why it is introduced this way. > end up just rehashing standard mathematics in opaque ways It's just an explanation…
guerrillaView on HNParent context