« Home
Reference.
Categorical semantic
[sem-0000]
https://ncatlab.org/nlab/show/categorical+semantics