Monadic Formal Concept Analysis

Formal Concept Analysis (FCA) as inherently relational can be formalized and generalized by using categorical constructions. This provides a categorical view of the relation between “object” and “attributes”, which can be further extended to a more generalized view on relations as morphisms in Kleisli categories of suitable monads. Structure of sets of “objects” and “attributes” can be provided e.g. by term monads over particular signatures, and specific signatures drawn from and developed within social and health care can be used to illuminate the use of the categorical approach.