Middle-Four Maps and Net Categories

Abstract

We briefly relate the existence of a middle-four interchange map in a category with two monoidal structures, to the standard Cockett and Seely notion of a weakly distributive category