What is the abstract structure of an opposite category or opposite ring? We introduce some ideas toward axiomatizing such structure as a compact double category.
This is a companion discussion topic for the original entry at https://www.epatters.org/post/compact-double-categories-1