category_theory.md

Category Theory

Day 1 --- What is a Category

• "By assuming less, we can apply to more situations."
• Category is...
• Categories of propositions and proofs
• Scanned Notes:
  • dbp

Day 2 --- Duality

• Behavioral Reasoning
• Size matters
• Dual Constructions / Dual Theorems
• Essential Sameness
• Monic/Epic and the Axiom of Choice
• Scanned Notes:
  • dbp

Day 3 --- Universal Constructions, Interpreting Logic

• Universal Constructions
• Interpretation of Intuitionistic Propositional Logic
• Scanned Notes:
  • dbp

Day 4 --- Interpreting Logic and Adjunctions

• Interpreting Disjunction
• Interpreting Implication
• Adjunctions
• Scanned Notes:
  • dbp

Day 5 --- _Dependency and First Order Logic

• Dependency and First Order Logic
• Language of Types
• Quantifiers
• Scanned Notes:
  • dbp