### Current browse context:

math.CT

### Change to browse by:

### References & Citations

# Mathematics > Category Theory

# Title: Biextensions, bimonoidal functors, multilinear functor calculus, and categorical rings

(Submitted on 19 Jan 2015 (v1), last revised 31 Jul 2017 (this version, v4))

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.

## Submission history

From: Ettore Aldrovandi [view email]**[v1]**Mon, 19 Jan 2015 22:52:08 GMT (203kb,D)

**[v2]**Tue, 3 Feb 2015 21:48:08 GMT (203kb,D)

**[v3]**Thu, 6 Aug 2015 19:38:10 GMT (205kb,D)

**[v4]**Mon, 31 Jul 2017 19:13:58 GMT (77kb,D)

Link back to: arXiv, form interface, contact.