The Clowder Project

6.1 Relations

• Subsection 6.1.1: Foundations
  • Definition 6.1.1.1.1: Relations
  • Remark 6.1.1.1.2: Unwinding Enumi 1, I
  • Remark 6.1.1.1.3: Unwinding Enumi 2, II
  • Notation 6.1.1.1.4: Further Notation for Relations
  • Proposition 6.1.1.1.5: Properties of Relations
• Subsection 6.1.2: Relations as Decategorifications of Profunctors
  • Remark 6.1.2.1.1: Relations as Decategorifications of Profunctors I
  • Remark 6.1.2.1.2: Relations as Decategorifications of Profunctors II
• Subsection 6.1.3: Examples of Relations
  • Example 6.1.3.1.1: The Trivial Relation
  • Example 6.1.3.1.2: The Cotrivial Relation
  • Example 6.1.3.1.3: The Characteristic Relation of a Set
  • Example 6.1.3.1.4: Square Roots
  • Example 6.1.3.1.5: Complex Logarithms
  • Example 6.1.3.1.6: More Examples of Relations
• Subsection 6.1.4: Functional Relations
  • Definition 6.1.4.1.1: Functional Relations
  • Proposition 6.1.4.1.2: Properties of Functional Relations
• Subsection 6.1.5: Total Relations
  • Definition 6.1.5.1.1: Total Relations
  • Proposition 6.1.5.1.2: Properties of Total Relations