Categorification of Negative Information using Enrichment. - Andrea Censi; Emilio Frazzoli; Jonathan Lorand; Gioele Zardini (ACT, 2022)