nLab
A string diagram calculus for predicate logic

Context

Monoidal categories

monoidal categories

With symmetry

With duals for objects

With duals for morphisms

With traces

Closed structure

Special sorts of products

Semisimplicity

Morphisms

Internal monoids

Examples

Theorems

In higher category theory

This page is to provide links related to the text

on string diagram calculus for indexed monoidal categories with poset fibers (monoidal hyperdoctrines). This is related to Charles Peirce‘s “System beta”. Based on this work, a string diagram calculus for general indexed monoidal categories is given in

category: reference

Last revised on March 27, 2017 at 15:27:20. See the history of this page for a list of all contributions to it.