[00BU]

Property 0. and 1. ensure that the schemes with only a particular class of morphisms still forms a category.