Basic constructions in the categories of sets, sets with a binary relation on them, preorders, and posets

2023/02/20 by Viglizzo, Ignacio
#18-01 #Category Theory (math.CT) #FOS: Mathematics

paper · doi:10.48550/arxiv.2302.10321

Abstract

The purpose of this note is to work out the details of the concrete incarnation of a few categorical constructions (products, coproducts, pullbacks, pushouts, equalizers, coequalizers, and exponentials) in some useful and basic categories: the categories of sets, sets endowed with a binary relation, preorders, and posets.

Related

• Relation Liftings on Preorders and Posets
• Updown Categories
• On posetal and complete partial applicative structures
• When are exact categories co-exact?
• Notes on Category Theory with examples from basic mathematics