Machine-Native ReasoningReading edition

KS: references

Reading tools
Reading library

Saved reading

Read side by side

Loading chapter…
Resources & source
PDF and editable source · Chapter source · About this edition

The Stacks Project Authors. Limits and colimits over preordered sets. Section 4.21, Tag 002Z, including the finite-set inverse-limit theorem in Lemma 4.21.7. https://stacks.math.columbia.edu/tag/002Z. Accessed 10 October 2026.