Yes -- filtered/directed colimits commute with finite limits. See Mac Lane, Categories for the Working Mathematician, theorem IX.2.1.
Finn Lawler
- 3.6k
- 1
- 24
- 28