Buy Me a Coffee at ko-fi.com

Categorical logic

branch of category theory within mathematics, adjacent to mathematical logic but more notable for its connections to theoretical computer science.

Pronunciation
/ˌkædəˈɡɔrəkəl ˈlɑʤɪk/
/katəˈɡɒrɪkəl ˈlɒʤɪk/