https://123dok.net/document/zlg18d12-universal-concrete-categories-and-functors.html