Formalizing the Algebraic Small Object Argument in UniMath. - Dennis Hilhorst; Paige Randall North (ITP, 2024)