Ultracategories as colax algebras for a pseudo-monad on CAT

Published in preprint, 2025