Australian Category Seminar

Sketches and accessible categories

Robert Paré·19 March 1986

The definition of sketch (Ehresmann) was reviewed and it was shown that categories of models of sketches in Set are exactly the accessible categories. This was then used to prove that Acc \subset Set is closed under weighted limits of retract type.

Back