KnowraCategorical theoryLinked fromLinked fromThe 6 pages that link to Categorical theory, each with the reason it gives.All 6Related 1Compared with 5Second-order logicRelated: Full second-order axioms can characterize structures categorically.