nLab fibration of multicategories

Redirected from "quaternionic vector bundles".
Contents

Contents

Idea

The analogue of the notion of Grothendieck fibration generalized from categories to multicategories.

Properties

Relation to algebras over an operad

For a multicategory regarded as a (non-symmetric) operad, discrete fibrations over it are equivalent to algebras over that operad (Hermida, proposition 5.1).

For symmetric multicategories we have the following. Let PP be a symmetric operad over Set

Theorem

The operadic Grothendieck construction induces an equivalence of 2-categories

Alg P(Cat)opFib P Alg_P(Cat) \simeq opFib_P

between the weak algebras over PP and op-fibrations over PP.

This is (Heuts, theorem 1.6).

Relation to representable multicategories

Fibrations over the terminal multicategory are equivalently representable multicategories (Hermida, corollary 4.3).

The generalization to the context of (∞,1)-operads is given by the notion of Cartesian fibration of dendroidal sets.

References

Fibrations of planar multicategories are discussed in

  • Claudio Hermida, Fibrations for abstract multicategories, Fields Institute Communications (pdf)

For symmetric multicategories a discussion of (op)fibrations and of the operadic Grothendieck construction is in section 1 of

Last revised on February 15, 2012 at 02:02:47. See the history of this page for a list of all contributions to it.