Florida Mathematics portal The main article for this category is Categorical logic. Subcategories This category has only the following subcategory. T Topos theory (1 C, 17 P) Pages in category "Categorical logic" The following 7 pages are in this category, out of 7 total. This list may not reflect recent changes. Categorical logicC Categorical set theoryH Higher-dimensional algebraL Lawvere theoryN Natural numbers objectS Stone space Stone's representation theorem for Boolean algebras