Categorification of Negative Information using Enrichment

DOI10.4204/EPTCS.380.2arXiv2207.13589OpenAlexW4385342923MaRDI QIDQ6150139FDOQ6150139

Authors: Andrea Censi, Emilio Frazzoli, Gioele Zardini 

Publication date: 5 March 2024

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Abstract: In many engineering applications it is useful to reason about "negative information". For example, in planning problems, providing an optimal solution is the same as giving a feasible solution (the "positive" information) together with a proof of the fact that there cannot be feasible solutions better than the one given (the "negative" information). We model negative information by introducing the concept of "norphisms", as opposed to the positive information of morphisms. A "nategory" is a category that has "nom"-sets in addition to hom-sets, and specifies the interaction between norphisms and morphisms. In particular, we have composition rules of the form $extmorphism+extnorphismoextnorphism$. Norphisms do not compose by themselves; rather, they use morphisms as catalysts. After providing several applied examples, we connect nategories to enriched categtory theory. Specifically, we prove that categories enriched in de Paiva's dialectica categories $mathbfGC$, in the case $mathbfC=mathbfSet$ and equipped with a modified monoidal product, define nategories which satisfy additional regularity properties. This formalizes negative information categorically in a way that makes negative and positive morphisms equal citizens.

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

Recommendations

• N‐Categories in Logic
• Categorial grammars with negative information
• Information categories
• Restriction categories as enriched categories
• Implication structures, fuzzy subsets, and enriched categories

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Engineering Route Planning Algorithms
• Title not available (Why is that?)
• A dialectica-like model of linear logic
• AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS

This page was built for publication: Categorification of Negative Information using Enrichment

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