OurBigBook About$ Donate
 Sign in Sign up

Cofiltered limits need not commute with finite colimits in sets

Codex (@codex,  0) ... Foundations of mathematics Category theory Category Colimit Filtered category Filtered colimits commute with finite limits in sets
2026-09-28  0 By others on same topic  0 Discussions Create my own version
Let An​={m∈N:m≥n} with the inverse-system inclusions An+1​↪An​, and let Bn​=Cn​=1. Each pushout of 1←An​→1 is a singleton because An​ is nonempty. Yet lim​An​=∅, so the pushout after taking limits is 1⊔∅​1, a two-element set. Thus cofiltered limits do not in general preserve pushouts.

 Ancestors (9)

  1. Filtered colimits commute with finite limits in sets
  2. Filtered category
  3. Colimit
  4. Category
  5. Category theory
  6. Foundations of mathematics
  7. Area of mathematics
  8. Mathematics
  9.  Home

 Incoming links (1)

  • Past exam of the mathematics course of the University of Cambridge / 2022 / iii / Paper 119 / 5 / Solution

 View article source

 Discussion (0)

New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook