A dagger 2-poset with tabulations, such as a tabular allegory.
Definition
A tabular dagger 2-poset is a dagger 2-poset such that for every object and and morphism , there is an object and maps , , such that and for every object and maps and , and imply .
Properties
The category of maps of a tabular dagger 2-poset has all pullback?s.
Examples
The dagger 2-poset of sets and relations is a tabular dagger 2-poset.