🐍 Notebooks

These notebooks illustrate the main features of the various algebras provided by the galactic-algebra-concept library when it is installed with the docs extra.

Contexts

Galois connections

Concepts

Concept lattices

Moore families

Reduced Subcontext Completion

Notes [1] [2].

[1]

The photo of Eliakim Hastings Moore has been taken from https://en.wikipedia.org/wiki/E._H._Moore and is in the public domain.

[2]

The drawing of Évariste Galois has been taken from https://en.wikipedia.org/wiki/Évariste_Galois and is in the public domain.