Skip to main content
added 130 characters in body
Source Link
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).

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

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).

Source Link
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.