Formal Theory Of Monads, Univalently This repository contains the documentation of the paper 'The Formal Theory of Monads, Univalently'.