Proof Identity and Categorical Models of BV

Matteo Acclavio, Lutz Straßburger, Vladimir Zamdzhiev

BV-categories are a recent development that aims to give categorical semantics to proofs in the logic BV. However, due to the absence of a coherence theorem on one side and a well-…