4 ms·Towards an (∞,2)-category of homotopy coherent monads in an ∞-cosmos [pdf]2 points by ghosthamlet 9y ago