(0,1)-category

(0,1)-topos

# Contents

## Idea

A Boolean hyperdoctrine $P$ is a hyperdoctrine for lattices which are Boolean algebras

$P : T^{op} \to BooleanAlgebra \,.$

## References

A discussion of the free Boolean hyperdoctrine generated from a signature is in

Last revised on August 22, 2012 at 11:28:42. See the history of this page for a list of all contributions to it.