Tag archive: root-operator

Root Categories, Formal Embodiment