Homotopy Type Theory dagger 2-poset with elements > history (Rev #7, changes)

Showing changes from revision #6 to #7: Added | ~~Removed~~ | ~~Chan~~ged

~~Contents~~

Definition
See also
~~Definition~~
~~A dagger 2-poset with elements $C$ is a dagger 2-poset with a set $El(A)$ for every object $A:Ob(C)$ .~~
~~See also~~

concrete category

concrete precategory

map-evaluational dagger 2-poset

relational dagger 2-poset

Rel

SEAR

Categorical SEAR

Revision on May 19, 2022 at 05:02:30 by Anonymous?. See the history of this page for a list of all contributions to it.