Homotopy Type Theory dagger 2-poset with elements > history (Rev #6)

Skip the Navigation Links | Home Page | All Pages | Latest Revisions | Authors |

Contents

Definition

A dagger 2-poset with elements CC is a dagger 2-poset with a set El(A)El(A) for every object A:Ob(C)A:Ob(C).

See also

Revision on May 18, 2022 at 16:26:44 by Anonymous?. See the history of this page for a list of all contributions to it.

DiscussNext revision (3 more)Previous revision (5 more)Current version of pageChanges from previous revisionHistory (8 revisions)Rollback Source