# 107 Tags

 247 category-theory × 89 20 discrete-mathematics × 6 10 cardinals × 7 8 natural-deduction × 2 176 model-theory × 62 19 notation × 8 10 algebraic-topology × 5 7 functions × 6 169 logic × 67 18 predicate-logic × 8 10 equivalence-relations × 5 6 proof-verification × 6 87 first-order-logic × 34 18 propositional-calculus × 8 10 lattice-orders × 5 6 representable-functor × 3 77 elementary-set-theory × 42 18 abstract-algebra × 7 10 proof-writing × 5 6 induction × 3 45 set-theory × 14 18 solution-verification × 6 10 well-orders × 5 6 algebraic-geometry × 2 34 order-theory × 13 17 computational-mathematics 9 real-analysis × 6 6 proof-theory 34 adjoint-functors × 9 16 sheaf-theory × 6 9 relations × 4 5 measure-theory × 3 31 limits-colimits × 9 16 intuitionistic-logic × 5 9 forgetful-functors × 3 5 definition × 2 30 topos-theory × 11 14 proof-explanation × 6 9 self-learning × 2 5 products 23 examples-counterexamples × 3 14 semigroups 9 universal-algebra × 2 4 large-cardinals × 3 22 general-topology × 13 13 boolean-algebra × 7 8 relation-algebra × 2 4 group-theory × 2 22 reference-request × 6 11 functors × 4 8 pullback × 2 4 heyting-algebra × 2