ByNobleID
    Categorically Algebraic Foundations for Homotopical Algebra | NobleID