Still fragmentary. See older writings for now.
[ relations | compose | finite | natural | cartesian | simplex | denotations ]