Functorial Semantics for Relational Theories

November 23, 2017 · The Ethereal · 🏛 Polynesian Journal of Mathematics

🔮 THE ETHEREAL: The Ethereal
Pure theory — exists on a plane beyond code

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Filippo Bonchi, Dusko Pavlovic, Pawel Sobocinski arXiv ID 1711.08699 Category cs.LO: Logic in CS Cross-listed cs.PL, math.CT Citations 23 Venue Polynesian Journal of Mathematics Last Checked 2 months ago
Abstract
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 Lawvere theories is the category of sets and functions, or more generally cartesian categories, Frobenius theories take their models in the category of sets and relations, or more generally in cartesian bicategories.
Community shame:
Not yet rated
📄 View on arXiv 🌐 View on ar5iv 📑 PDF 🎉 Report Code Found
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

📜 Similar Papers

In the same crypt — Logic in CS