🎓 Notebooks

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.