Biextensions, bimonoidal functors, multilinear functor calculus, and categorical rings

Publication date 4 October 2017

Full work available at URL https://arxiv.org/abs/1501.04664, http://www.emis.de/journals/TAC/volumes/32/27/32-27abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

biextension bimonoidal butterfly categorical ring Mac Lane cohomology multi-category multi-extension multi-functor ring-like stack

Mathematics Subject Classification ID

(Co)homology of commutative rings and algebras (e.g., Hochschild, André-Quillen, cyclic, dihedral, etc.) (13D03) Generalizations (algebraic spaces, stacks) (14A20) Bimonoidal, skew-monoidal, duoidal categories (18M50) Homotopical algebra, Quillen model categories, derivators (18N40) Spectra with additional structure ((E_infty), (A_infty), ring spectra, etc.) (55P43)

Abstract: We associate to a bimonoidal functor, i.e. a bifunctor which is monoidal in each variable, a nonabelian version of a biextension. We show that such a biextension satisfies additional triviality conditions which make it a bilinear analog of the kind of spans known as butterflies and, conversely, these data determine a bimonoidal functor. We extend this result to

n

-variables, and prove that, in a manner analogous to that of butterflies, these multi-extensions can be composed. This is phrased in terms of a multilinear functor calculus in a bicategory. As an application, we study a bimonoidal category or stack, treating the multiplicative structure as a bimonoidal functor with respect to the additive one. In the context of the multilinear functor calculus, we view the bimonoidal structure as an instance of the general notion of pseudo-monoid. We show that when the structure is ring-like, i.e. the pseudo-monoid is a stack whose fibers are categorical rings, we can recover the classification by the third Mac Lane cohomology of a ring with values in a bimodule.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Biextensions, bimonoidal functors, multilinear functor calculus, and categorical rings

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