A Galois correspondence between closure spaces and relational systems
by
J. Slapal
Technical University of Brno

We define and study a Galois correspondence between the category of closure spaces (i.e., sets endowed with a grounded, extensive and monotone closure operation) and and the category of mono-relational systems of a given arity (where arities are considered to be arbitrary ordinals greater than 1). We also discuss some applications of the results obtained.

Date received: February 7, 2001