#
Homotopy Type Theory
Boolean topical dagger 2-poset > history (Rev #2, changes)

Showing changes from revision #1 to #2:
Added | ~~Removed~~ | ~~Chan~~ged

~~
~~## Contents

~~
~~~~
~~## Idea

~~
~~A Boolean topical dagger 2-poset is a dagger 2-poset whose category of maps is a Boolean topos?.

~~
~~## Definition

~~
~~A **Boolean topical dagger 2-poset** $C$ is a Boolean power dagger 2-poset.

~~
~~## Examples

~~
~~The dagger 2-poset of decidable sets and relations is a Boolean topical dagger 2-poset.

~~
~~## See also

~~
~~
Revision on June 6, 2022 at 20:18:56 by
Anonymous?.
See the history of this page for a list of all contributions to it.