scientific article; zbMATH DE number 7804575

zbMath1530.18023arXiv2105.04355MaRDI QIDQ6153330

Chad Nester

Publication date: 13 February 2024

Full work available at URL: https://arxiv.org/abs/2105.04355

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Monoidal categories, symmetric monoidal categories (18M05)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A mathematical theory of resources
• Intercategories: a framework for three-dimensional category theory
• Model structures on the category of small double categories
• The geometry of tensor calculus. I
• Framed bicategories and monoidal fibrations
• Traced monoidal categories
• CospanSpan(Graph): a Compositional Description of the Heart System
• Catégories structurées
• Algebra and Coalgebra in Computer Science
• What is a free double category like?

This page was built for publication: