@Keith Yeah I noticed the terminological overlapping between CT and philosophy/linguistics too - I had initially thought we borrowed from CT but it turned out to be the other way around. :P Do you perhaps know where Lawvere made the philosophy–math connection? I would be interested to read on that. :)