https://123dok.net/document/y9627mow-limits-and-colimits-of-convexity-spaces.html