@counting_is_hard
3.’. A typed monoid
12. An associative, unital deduction system (Scott, Lambek)
13. A simplicial set satisfying the segal condition
14. Monads in the category of spans
15. Universes of mathematical structures
16. A place to do semantics
17. A model of a bisorted first order theory