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

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

Contents

Definition

A concrete dagger 2-poset 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 15:25:08 by Anonymous?. See the history of this page for a list of all contributions to it.

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