English Categorical logic Cited by user RDBrown on 18 Sep 2022 Categorical logic is the branch of mathematics in which tools and concepts from category theory are applied to the study of mathematical logic.
English Michael Makkai Cited by user Umimmak on 30 May 2017 Michael Makkai (, 24 June 1939 in Budapest, Hungary) is Canadian mathematician of Hungarian origin, specializing in mathematical logic.