1.2 Introduction to Limit

Analogy : Product to Cones (Limit)

2.1 Five categories used to define Limit:

- Index category (I)
- Category C: Functors (constant , D)
- Cones (Lim D)
- Functor Category [I, C ]:objects are (constant, D ), morphisms are natural transormations
- Set category of Hom-Set Cones [I,C] to Hom-Set C (c , Lim D )

2.2 Naturality

3.1 Examples: Equalizer

**CoLimit** = duality of Limit (inverted cone = co-Cone)

Functor **Continuity** = preserve Limit