We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Category Theory

Title: Regular Calculi I: Graphical Regular Logic

Abstract: What is ergonomic syntax for relations? In this first paper in a series of two, to answer the question we define regular calculi: a suitably structured functor from a category representing the syntax of regular logic to the category of posets, that takes each object to the poset of relations on that type. We introduce two major classes of examples, regular calculi corresponding to regular theories, and regular calculi corresponding to regular categories. For working in regular calculi, we present a graphical framework which takes as primitive the various moves of regular logic. Our main theorem for regular calculi is a syntax-semantics $2$-dimensional adjunction to regular categories.
Subjects: Category Theory (math.CT); Logic (math.LO)
Cite as: arXiv:2109.14123 [math.CT]
  (or arXiv:2109.14123v1 [math.CT] for this version)

Submission history

From: Tslil Clingman [view email]
[v1] Wed, 29 Sep 2021 01:01:22 GMT (77kb)

Link back to: arXiv, form interface, contact.