Symmetric monoidal categories with attributes

zbMATH Open1477.18032arXiv2101.10480MaRDI QIDQ5019657FDOQ5019657

Authors: Spencer Breiner, John S. Nolan 

Publication date: 10 January 2022

Abstract: When designing plans in engineering, it is often necessary to consider attributes associated to objects, e.g. the location of a robot. Our aim in this paper is to incorporate attributes into existing categorical formalisms for planning, namely those based on symmetric monoidal categories and string diagrams. To accomplish this, we define a notion of a "symmetric monoidal category with attributes." This is a symmetric monoidal category in which objects are equipped with retrievable information and where the interactions between objects and information are governed by an "attribute structure." We discuss examples and semantics of such categories in the context of robotics to illustrate our definition.

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

Recommendations

• Attribute Grammars and Categorical Semantics
• Wiring diagrams as normal forms for computing in symmetric monoidal categories
• A practical type theory for symmetric monoidal categories
• Categories in control
• A survey of graphical languages for monoidal categories

Mathematics Subject Classification ID

Artificial intelligence for robotics (68T40) Monoidal categories, symmetric monoidal categories (18M05) String diagrams and graphical calculi (18M30)

Cites Work

• Title not available (Why is that?)
• Modules, comodules, and cotensor products over Frobenius algebras
• Monoidal computer. I: Basic computability by string diagrams
• Refinement for signal flow graphs
• An Invitation to Applied Category Theory
• Picturing Quantum Processes

Cited In (1)

• Parsummable categories as a strictification of symmetric monoidal categories

Uses Software

• PDDL

This page was built for publication: Symmetric monoidal categories with attributes

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