pith. sign in

arxiv: 1612.02762 · v4 · pith:O4CPNFFQnew · submitted 2016-12-08 · 🧮 math.CT

String Diagrams For Double Categories and Equipments

David Jaz Myers This is my paper
classification 🧮 math.CT
keywords calculuscategoriesdoublediagramequipmentsgraphicalstringbending
0
0 comments X
read the original abstract

A popular graphical calculus for monoidal categories makes computations tactile and intuitive. Complicated diagram chases can be expressed in a few pictures and discovered by playing with a shoelace. Joyal and Street's proof of the soundness of this calculus says that any deformation of a diagram, any bending of the strings, describes the same morphism. In this paper, we extend the graphical calculus to double categories and proarrow equipments in order to bring the string diagrammatic method to formal category theory. Our main theorem proves this calculus sound with the help of Dawson and Pare's results on composition in double categories.

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. Functorial aggregation

    math.CT 2021-11 unverdicted novelty 5.0

    Polynomial comonads amount to categories and polynomial bicomodules amount to parametric right adjoint functors, enabling a model of database aggregation alongside querying inside a framed bicategory of categories, re...