algebraic pattern

An algebraic pattern is a blueprint for a notion of functors on a fixed category satisfying a Segal condition, suitable for formalizing homotopy-coherent algebra in the Cartesian setting. An algebraic pattern is an (∞,1)-category together with the following data: a pair of wide subcategories , whose morphisms are called inert and active morphisms, and a full subcategory , whose objects are called elementary objects, subject to the condition that for all in , the space of factorizations of of...