Toward compact double categories: Part 2

We propose a definition of a compact double category, intended to axiomatize dualities such as the opposite category and the opposite ring. The definition uses the “twisted” Hom double functor introduced in the previous post.

This is a companion discussion topic for the original entry at