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

Revised on August 22, 2012 11:28:42 by Urs Schreiber (82.113.121.116)