We try to introduce technical words from topology, category theory, and type theory where we use them, but it might be helpful to people without any background in one or more of those areas to have a "glossary" somewhere where they could look up words when they encounter them.
Probably for the second edition.
We try to introduce technical words from topology, category theory, and type theory where we use them, but it might be helpful to people without any background in one or more of those areas to have a "glossary" somewhere where they could look up words when they encounter them.
Probably for the second edition.