Math 2.0

Category theory; homological algebra Concept

Category of posets

Summary

The category of posets, written ๐๐จ๐ฌ\mathbf{Pos}, has the partially ordered sets as objects and the monotone functions as morphisms. Its isomorphisms are the order isomorphisms. It sits inside the larger category of preordered sets, and it lets order theory use the language of category theory.

Further reading

  1. Web https://en.wikipedia.org/wiki/Category_of_preordered_sets
About this page
TagZBKVRMWHMW
URIm2://ZBKVRMWHMW
Kindconcept
WritingW0 stub
MSC18B35, 06A06
Changed2 November 2026

Markdown ยท JSON ยท Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Definitions