https://123dok.net/document/qvl7nov0-free-iteratively-closed-categories-of-complete-lattices.html