[READ-ONLY-SUBSPLIT] Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets
frames
locales
lattices
heyting-algebras
coframes
coheyting-algebras
boolean-algebras
constructible-sets
-
Updated
Aug 20, 2024 - GAP