The *(term) for a very abstract (often too abstract for most) theory in mathematics relating several fields through some common properties. See our _(Category Theory 101) overview. Category theory is very useful in formalizing types and functions/functors in *(functional) programming.