Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userKoszul duality for operadic categories
94
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
The aim of this sequel to arXiv:1812.02935 is to set up the cornerstones of Koszul duality and Koszulity in the context of a large class of operadic categories. In particular, we will prove that operads, in the generalized sense of Batanin-Markl, governing important operad- and/or PROP-like structures such as the classical operads, their variants such as cyclic, modular or wheeled operads, and also diver
rate research
Read More
We recall several categories of graphs which are useful for describing homotopy-cohere
Batanin and Markls operadic categories are categories in which each map is endowed with a finite collection of abstract fibres -- also objects of the same category -- subject to suitable axioms. We give a reconstruction of the data and axioms of operadic categories in terms of the decalage comonad D on small categories. A simple case involves unary operadic categories -- ones wherein each map has exactly one abstract fibre -- which are exhibited as categories which are, first of all, coalgebras for the comonad D, and, furthermore, algebras for the monad induced on the category of D-coalgebras by the forgetful-cofree adjunction. A similar description is found for general operadic categories arising out of a corresponding analysis that starts from a modified decalage comonad on the arrow category of Cat.
We construct explicit minimal models for the (hyper)operads governing modular, cyclic and ordinary operads, and wheeled properads, respectively. Algebras for these models are homoto
We prove a stabilization theorem for algebras of n-operads in a monoidal model category. It implies a version of Baez-Dolan stabilization hypothesis for Rezks weak n-categories and some other stabilization results.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
