enology
of C. S. Peirce (named by him "phaneroscopy") by means of the
generalization of R. Wille’s basic lattice-concepts theory of
objects and their attributes.

We first summarize Peirce's main categorization of all n-adic
relations into three fundamental kinds: Firstness, Secondness
and Thirdness (i.e., relations requiring monads, dyads and
triads, respectively, in their definitions). His "reduction
thesis" reduces all relations of higher adicity into these
three kinds. 

We then use elementary Categor