category-theory graph-theory species trees group-theory number-theory commutative-algebra homotopy-type-theory univalent-foundations finite-groups order-theory univalent-mathematics universal-algebra ring-theory structured-types univalent-combinatorics synthetic-homotopy-theory higher-group-theory type-theories orthogonal-factorization-systems