Inproceedings Computergestützte Methoden Categorification of Negative Information using Enrichment Andrea Censi Emilio Frazzoli Jonathan Lorand Gioele Zardini Booktitle 5th Annual International Applied Category Theory Conference (under review) DOIGoogle ScholarBibTeX