GAP Package Locales

The current version of this package is version 2023.01-02, released on 2023-01-17. For more information, please refer to the package manual. There is also a README file.

Dependencies

This package requires GAP version >= 4.11.1

The following other GAP packages are needed:

• GAPDoc >= 1.5
• ToolsForHomalg >= 2021.12-02
• CAP >= 2022.09-23
• CompilerForCAP >= 2022.08-10
• CategoryConstructor >= 2022.11-10
• MonoidalCategories >= 2022.09-03
• CartesianCategories >= 2022.09-04
• Toposes >= 2022.11-06
• Digraphs >= 0.12.1

Authors

Mohamed Barakat, Markus Lange-Hegermann, Tom Kuhmichel.

Citing

Please, cite this package as

[BLK23] Barakat, M., Lange-Hegermann, M. and Kuhmichel, T., Locales, Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets, Version 2023.01-02 (2023)
(GAP package), https://homalg-project.github.io/pkg/Locales.

You can get more info by typing Cite("Locales"); in the gap prompt.

Copy BibTeX to clipboard

Feedback

For bug reports, feature requests and suggestions, please use the issue tracker.