Skip to main content
2 of 2
added 130 characters in body
Finn Lawler
  • 3.6k
  • 1
  • 24
  • 28

Yes -- filtered/directed colimits commute with finite limits. See Mac Lane, Categories for the Working Mathematician, theorem IX.2.1.

Edit: Oh, I thought you meant colimits, but it seems you meant limits. But limits always commute with each other (CWM IX.2).

Finn Lawler
  • 3.6k
  • 1
  • 24
  • 28