HomeAboutPeopleEventsResearchRTGGuest ProgrammeImpressum

Combined display of all available logs of SFB1085 - Higher Invariants. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 17:15, 22 June 2025 Cid36224 talk contribs created page The root functor (Created page with "Operads can be seen as a generalization of categories, where morphisms are allowed to have multiple inputs but still a single output. As oo-categories are designed to model ‘categories-up-to-homotopy’, the formalism of oo-operads serves to model ‘operads-up-to-homotopy’, where composition is defined only up to homotopy and higher coherence laws substitute equalities in the defining axioms.

 Many oo-operads arise from their strict counterparts by a process o...")