habryka comments on Categories: models of models