scientific article; zbMATH DE number 7804575

zbMATH Open1530.18023arXiv2105.04355MaRDI QIDQ6153330FDOQ6153330

Authors: Chad Nester 

Publication date: 13 February 2024

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

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

Cites Work

• The geometry of tensor calculus. I
• Traced monoidal categories
• Title not available (Why is that?)
• Catégories structurées
• A mathematical theory of resources
• Framed bicategories and monoidal fibrations
• Title not available (Why is that?)
• Intercategories: a framework for three-dimensional category theory
• Title not available (Why is that?)
• Model structures on the category of small double categories
• What is a free double category like?
• Algebra and Coalgebra in Computer Science
• CospanSpan(Graph): a compositional description of the heart system

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6153330)