Referenced by:

• 2023-03-17-diagrammatic-proofs
• 35314159191589570696r
• 91054561010556502534r
• algebra-multiplicative-order
• algebra-ring
• algebra-unital
• automorphism-group
• cats-category-of-elements
• cats-category-theory
• cats-functor
• cats-homomorphism
• cats-natural-transformation
• cats-skeleton
• com-computable
• com-computably-enumerable
• com-encoding
• cycle-decomposition
• cyclic-permutation
• delta-types
• directed-set
• distributive-laws-conceptualization
• equivalence
• extrusive-posets
• first-order-logic
• frobenius-map
• groups-additive-order
• groups-burnsides-lemma
• groups-cayleys-thm
• groups-dihedral-group
• groups-group
• groups-grp
• ucb-catthy-03
• ucb-catthy-04
• ucb-metamathematics-b-02
• ucb-metamathematics-b-05
• 02
• 03
• 06
• 09
• 10
• 11
• vague-notes
• ucb-settheory-09
• idempotents-and-projections
• lang
• lexi-embedding
• linear-ordering
• le-rx-AyOhTqmy2Y
• le-rx-pKvbirdVTi
• le-rx-qYCk3zY1hQ
• le-rx-x2xe3xmbJv
• logic-ahrenfeucht-fraisse-game
• logic-categorical
• logic-definable
• logic-formula
• logic-propositional-logic
• logic-terms
• logic-types
• magma
• minesweeper-math
• monoid-isomorphism
• monoids-n-ways
• natural-transformations-in-set
• seven-sketches
• skolems-paradox
• orbit-group
• order-topology
• ordering-relation
• orders-as-graphs
• partial-ordering
• permutation
• reality-as-the-terminal-object-in-the-category-of-logics
• sets-axiom-of-choice
• sets-ordinal
• sets-well-ordering
• sets-zfc
• sp24-uniformity
• symmetric-group
• thoughts-on-model-theory
• uniformity
• why-is-inheritance-bad
• with-respect-to