79 citations · 222 across the 14 of their papers we have counts for
1 paper · 1 filter
Filippo Bonchi, Dusko Pavlovic, Pawel Sobocinski
We introduce the concept of Frobenius theory as a generalisation of Lawvere's functorial semantics approach to categorical universal algebra. Whereas the universe for models of Law…