pith. sign in

arxiv: 1711.08699 · v1 · pith:O5PZVRFDnew · submitted 2017-11-23 · 💻 cs.LO · cs.PL· math.CT

Functorial Semantics for Relational Theories

Filippo Bonchi , Dusko Pavlovic , Pawel Sobocinski This is my paper
classification 💻 cs.LO cs.PLmath.CT
keywords theoriescartesiancategoryfrobeniusfunctorialgenerallylawveremodels
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. A Diagrammatic Basis for Computer Programming

    cs.LO 2025-12 unverdicted novelty 6.0

    Kleene-Cartesian rig categories equip tape diagrams to handle imperative programs and program logic.