Homotopy Type Theory
Boolean dagger 2-poset > history (Rev #1)
Contents
Idea
A Boolean dagger 2-poset is a dagger 2-poset whose category of maps is an Boolean category?.
Definition
A Boolean dagger 2-poset is a Heyting dagger 2-poset where for each objects , and functional dagger monomorphism , there is a unitary isomorphism .
Examples
The dagger 2-poset of decidable sets and relations is an Boolean dagger 2-poset.
See also
Revision on April 20, 2022 at 23:24:06 by
Anonymous?.
See the history of this page for a list of all contributions to it.