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

## 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 April 20, 2022 at 19:34:16 by
Anonymous?.
See the history of this page for a list of all contributions to it.