Derek Elkins

# 202 Tags

 604 category-theory × 207 48 elementary-set-theory × 22 30 general-topology × 8 20 proof-explanation × 11 471 logic × 229 46 predicate-logic × 37 30 big-list × 2 19 homological-algebra × 6 147 abstract-algebra × 60 41 group-theory × 18 27 intuitionistic-logic × 13 19 morphism × 2 144 type-theory × 44 41 terminology × 11 27 examples-counterexamples × 2 18 universal-property × 8 95 soft-question × 21 38 topos-theory × 11 26 proof-verification × 13 17 natural-deduction × 12 88 foundations × 15 37 proof-writing × 14 25 linear-algebra × 13 16 functors × 7 86 first-order-logic × 41 37 philosophy × 6 25 boolean-algebra × 8 15 categorical-logic × 6 80 set-theory × 17 36 proof-theory × 13 23 constructive-mathematics × 11 15 education × 4 79 definition × 16 35 computer-science × 16 23 adjoint-functors × 9 15 math-history × 3 66 axioms × 12 34 limits-colimits × 14 23 monoidal-categories × 7 14 monads × 5 53 notation × 15 33 ring-theory × 16 22 homotopy-type-theory × 12 14 automated-theorem-proving × 4 51 propositional-calculus × 39 32 reference-request × 11 21 calculus × 6 14 second-order-logic × 4 49 lambda-calculus × 22 32 peano-axioms × 3 20 functions × 12 13 modules × 9