Middle-Four Maps and Net Categories
arXiv:0911.5200
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.
arXiv:0911.5200
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.