Documentation

Mathlib.Topology.Sheaves.PUnit

Presheaves on PUnit #

Presheaves on PUnit satisfy sheaf condition iff its value at empty set is a terminal object.