Fetching the paper…
Reading the bibliography…
We introduce the concept of Frobenius theory as a generalisation of Lawvere's functorial semantics approach to categorical universal algebra.
Representation problems for relation algebras
B. Jónsson and A. Tarski · 1948
Earlier work this paper cites.
Categorical algebra
S. Mac Lane · 1965
Earlier work this paper cites.
Metric spaces, generalized logic, and closed categories
F. W. Lawvere · 1973
Earlier work this paper cites.
Cartesian bicategories I
A. Carboni and R. F. C. Walters · 1987
Earlier work this paper cites.
Categories, allegories
P. J. Freyd and A. Scedrov · 1990
Earlier work this paper cites.
Some algebraic laws for spans (and their connections with multirelations) 11research partly supported by the ec tmr network getgrats and by the italian murst project tosca
R. Bruni and F. Gadducci · 2003
Earlier work this paper cites.
Functorial Semantics of Algebraic Theories
W. F. Lawvere · 2004
Earlier work this paper cites.
A basic algebra of stateless connectors
R. Bruni, I. Lanese, and U. Montanari · 2006
Cited alongside, same era.
Lawvere theories and monads
M. Hyland and J. Power · 2007
Cited alongside, same era.
Interacting quantum observables: categorical algebra and diagrammatics
B. Coecke and R. Duncan · 2011
Cited alongside, same era.
A survey of graphical languages for monoidal categories
P. Selinger · 2011
Cited alongside, same era.
Syntax for split preorders
K. Došen and Z. Petrić · 2013
Cited alongside, same era.
Nets, relations and linking diagrams
P. Sobociński · 2013
Cited alongside, same era.
A categorical semantics of signal flow graphs
F. Bonchi, P. Sobocinski, and F. Zanasi · 2014
Interacting bialgebras are frobenius
F. Bonchi, P. Sobocinski, and F. Zanasi · 2014
Later among the works it cites.
F. Bonchi, P. Sobociński, and F. Zanasi · 2014
Later among the works it cites.
Categories in control
J. Baez and J. Erbele · 2015
Later among the works it cites.
Full abstraction for signal flow graphs
F. Bonchi, P. Sobocinski, and F. Zanasi · 2015
Later among the works it cites.
Corelations are the prop for extraspecial commutative frobenius monoids
B. Coya and B. Fong · 2016
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
F. Zanasi · 2016
Later among the works it cites.