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 exist an object called a tabulation of and maps and such that , and for every object and maps and , if and only if there exists a unique map such that and .