subtheory en · NOUN
Etymology
From sub- + theory.
Meanings
-
A theory forming part of a larger theory.
We recover the system of Bonchi et al as a subtheory in the prime power dimensional case, but the more general theory does not arise from a distributive law.
2016, Ross Duncan, Kevin Dunne, “Interacting Frobenius Algebras are Hopf”, in arXiv:
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| subtheories | Number=Plur | lexicographic |