https://github.com/homalg-project/locales
[READ-ONLY-SUBSPLIT] Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets
https://github.com/homalg-project/locales
boolean-algebras coframes coheyting-algebras constructible-sets frames heyting-algebras lattices locales
Last synced: 2 months ago
JSON representation
[READ-ONLY-SUBSPLIT] Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets
- Host: GitHub
- URL: https://github.com/homalg-project/locales
- Owner: homalg-project
- License: gpl-2.0
- Created: 2018-08-11T20:20:01.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2026-01-11T22:47:04.000Z (4 months ago)
- Last Synced: 2026-01-12T02:27:21.849Z (4 months ago)
- Topics: boolean-algebras, coframes, coheyting-algebras, constructible-sets, frames, heyting-algebras, lattices, locales
- Language: GAP
- Homepage: https://homalg-project.github.io/pkg/Locales/
- Size: 1.48 MB
- Stars: 1
- Watchers: 4
- Forks: 4
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Locales [![View code][code-img]][code-url]
### Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets
| Documentation | Latest Release | Build Status of [CategoricalTowers](/../../) | Code Coverage |
| ------------- | -------------- | ------------ | ------------- |
| [![HTML stable documentation][html-img]][html-url] [![PDF stable documentation][pdf-img]][pdf-url] | [![version][version-img]][version-url] [![date][date-img]][date-url] | [![Build Status][tests-img]][tests-url] | [![Code Coverage][codecov-img]][codecov-url] |
---
### 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#readme) | https://github.com/homalg-project/homalg_project.git |
| 2. | [**CAP_project**](https://github.com/homalg-project/CAP_project#readme) | https://github.com/homalg-project/CAP_project.git |
[html-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg
[html-url]: https://homalg-project.github.io/CategoricalTowers/Locales/doc/chap0_mj.html
[pdf-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg
[pdf-url]: https://homalg-project.github.io/CategoricalTowers/Locales/download_pdf.html
[version-img]: https://img.shields.io/endpoint?url=https://homalg-project.github.io/CategoricalTowers/Locales/badge_version.json&label=🔗%20version&color=yellow
[version-url]: https://homalg-project.github.io/CategoricalTowers/Locales/view_release.html
[date-img]: https://img.shields.io/endpoint?url=https://homalg-project.github.io/CategoricalTowers/Locales/badge_date.json&label=🔗%20released%20on&color=yellow
[date-url]: https://homalg-project.github.io/CategoricalTowers/Locales/view_release.html
[tests-img]: https://github.com/homalg-project/CategoricalTowers/actions/workflows/Tests.yml/badge.svg?branch=master
[tests-url]: https://github.com/homalg-project/CategoricalTowers/actions/workflows/Tests.yml?query=branch%3Amaster
[codecov-img]: https://codecov.io/gh/homalg-project/CategoricalTowers/branch/master/graph/badge.svg?flag=Locales
[codecov-url]: https://app.codecov.io/gh/homalg-project/CategoricalTowers/tree/master/Locales
[code-img]: https://img.shields.io/badge/-View%20code-blue?logo=github
[code-url]: https://github.com/homalg-project/CategoricalTowers/tree/master/Locales#top