Locales

Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets

Version 2023.01-02
Released 2023-01-17

This project is maintained by Mohamed Barakat, Tom Kuhmichel

Locales View code

Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets

Documentation Latest Release Build Status Code Coverage
HTML stable documentation PDF stable documentation version date Build Status Code Coverage

Dependencies

To obtain current versions of all dependencies, git clone (or git pull to update) the following repositories:

Repository git URL
1. homalg_project https://github.com/homalg-project/homalg_project.git
2. CAP_project https://github.com/homalg-project/CAP_project.git
3. Toposes https://github.com/homalg-project/Toposes.git
4. CategoryConstructor https://github.com/homalg-project/CategoryConstructor.git