Thinking categorically
Basic building blocks of category theory
- Introduction
- Category Category as a primary building block
- Domain & codomain Domain and codomain connection
- Hom-set The set of all morphisms
- Product, coproduct & exponential Type constructs formation
- Cartesian closed category Terminal object, products, exponentials, and currying.
- Functor Structure‑preserving mappings