On diagrams of algebras

Vladimir Hinich
2023-04-12
Abstract:We present a proof of the formula (given in Lurie's Higher Algebra) for the operad governing diagrams of operad algebras. We believe that our proof corrects a flaw in the original argument.
Category Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the proof problem of a specific formula in the operad theory in infinite categories. Specifically, the author of the paper, Vladimir Hinich, aims to provide a proof of the formula for the infinite operad corresponding to O - algebras of K - diagrams. This formula was originally proposed in Lurie's "Higher Algebra", but Hinich believes that there is a defect or gap in the original proof. Therefore, in this paper, he provides another proof method for this formula to fill this gap and ensure the correctness and reliability of the result. The key formula mentioned in the paper is: \[ \gamma: K \times O \rightarrow O_K \] Here, \(O_K\) is an operad that controls the O - algebras of K - diagrams. By proving that this mapping is an operadic equivalence, the author verifies that \(O_K\) is indeed an equivalent form of \(K \sqcup \times \text{Com} O\). Here, Com represents the operad of commutative algebras. The main contribution of the paper lies in providing a rigorous proof process, correcting the deficiencies in the original literature, and thus providing a more solid theoretical basis for researchers in related fields.