#

boolean-algebras

Here is 1 public repository matching this topic...

homalg-project / Locales

[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 Dec 6, 2024
GAP

Improve this page

Add a description, image, and links to the boolean-algebras topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the boolean-algebras topic, visit your repo's landing page and select "manage topics."