GALACTIC core closure

galactic-core-closure [1] [2] is the package for studying closures.

GALACTIC stands for GAlois LAttices, Concept Theory, Implicational systems and Closures.

Getting started

• Install the GALACTIC core closure package

Learning

• Notebooks

Reference

• Closures
• Antitone Galois connection
• Closure examples
• Connection examples

Release Notes

• 0.4.0.0.post1.dev171 (2024-10-20)

Indices and tables

• Index

• Module Index

• Search Page

[1]

The GALACTIC icon has been constructed using icons present in the free star wars icons set designed by Sensible World. The product or characters depicted in these icons are © by Disney / Lucasfilm.

It’s a tribute to the french mathematician Évariste Galois who died at age 20 in a duel. In France, Concept Lattices are also called Galois Lattices.

[2]

The galactic-core-closure icon has been constructed using the main GALACTIC icon and the Closed icon.