Inproceedings Computational Methods Categorification of Negative Information using Enrichment Andrea Censi Emilio Frazzoli Jonathan Lorand Gioele Zardini Booktitle 5th Annual International Applied Category Theory Conference (under review) DOI