Batanin's category of pruned trees is Koszul

zbMATH Open1277.57030arXiv0909.5447MaRDI QIDQ2865983FDOQ2865983

Authors: Benoît Fresse 

Publication date: 12 December 2013

Abstract: The category of pruned trees has been defined by M. Batanin with the aim of understanding the cell structure of certain E_n-operads in categorical terms. The objects of this category are planar trees with n levels so that all leaves are at the top level of the tree. The goal of this article is to prove that the category of pruned trees is Koszul. This result gives us a minimal differential graded model of this category, small complexes to compute Tor and Ext functors in associated categories of diagrams, and allows us to generalize a recent result of M. Livernet and B. Richter about the interpretation of E_n-homology in terms of categorical Tor functors.

Full work available at URL: https://arxiv.org/abs/0909.5447

Recommendations

• Koszul duality of the category of trees and bar constructions for operads
• Quadratic categories and Koszul resolutions
• Operads as abstract algebras, and the Koszul property
• Koszul duality for operads
• Koszul duality for monoids and the operad of enriched rooted trees

zbMATH Keywords

Koszul categoriescategorical bar constructionhomology of \(E_n\)-algebrastree categories

Mathematics Subject Classification ID

Trees (05C05) Ext and Tor, generalizations, Künneth formula (category-theoretic aspects) (18G15) Loop space machines and operads in algebraic topology (55P48) Algebraic aspects of posets (06A11) Enriched categories (over closed or monoidal categories) (18D20) Bar and cobar constructions (57T30)

Cited In (2)

• Iterated bar complexes of \(E\)-infinity algebras and homology theories
• Koszul duality of the category of trees and bar constructions for operads

This page was built for publication: Batanin's category of pruned trees is Koszul

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2865983)