A Parallel Section Functor for 2-Vector Bundles

Christoph Schweigert; Lukas Woike

Home/Archive/arXiv

arXiv · 1711.08639

A Parallel Section Functor for 2-Vector Bundles

Christoph Schweigert·Lukas Woike

View original source ↗Read source document ↗Export metadata ↓

Abstract

We associate to a 2-vector bundle over an essentially finite groupoid a 2-vector space of parallel sections, or, in representation theoretic terms, of higher invariants, which can be described as homotopy fixed points. Our main result is the extension of this assignment to a symmetric monoidal 2-functor $\operatorname{Par} : \mathbf{2VecBunGrpd} \to \mathbf{2Vect}$. It is defined on the symmetric monoidal bicategory $\mathbf{2VecBunGrpd}$ whose morphisms arise from spans of groupoids in such a way that the functor $\operatorname{Par}$ provides pull-push maps between 2-vector spaces of parallel sections of 2-vector bundles. The direct motivation for our construction comes from the orbifoldization of extended equivariant topological field theories.

Explore related subjects

math.CT math-ph math.MP math.QA math.RT

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Christoph Schweigert, Lukas Woike. 2023-06-30. A Parallel Section Functor for 2-Vector Bundles. https://arxiv.org/abs/1711.08639

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Commutation of Smyth and Hoare Power Constructions in Well-filtered Dcpos

Prior work [11] established a commutativity result for the Hoare power construction and a modified version of the Smyth power construction consisting of strongly compact sets, which is defined for Us-admitting dcpos, where Us-admissability is well-filteredness with compact sets replaced by strongly compact sets. In this paper, we consider the Hoare power construction H and the Smyth power construction Q on the category WF of well-filtered dcpos with Scott-continuous maps. Actually, the functors H and Q can be extended to monads. We prove that H and Q commute, that is, HQ(L) is isomorphic to QH(L) for a well-filtered dcpo L, if and only if L satisfies a property similar to consonance that we call (KC) and the Scott topology coincides with the upper Vietoris topology on Q(L). We also investigate the Eilenberg-Moore category of the monad composed by H and Q under a distributive law on WF and characterize it to be a subcategory of the category Frm, which is composed of all frames and all frame homomorphisms.

math.CT↗

arXiv2026

Algebraic Type Theory, Part 1: Martin-Löf algebras

A new algebraic treatment of dependent type theory is proposed using ideas derived from topos theory and algebraic set theory.

math.CT↗

arXiv2026

Formal weakly enriched category theory

A formal category theory is constructed (in the form of a proarrow equipment), encoding weak coherent enrichment over a monoidal model category $\mV$. We describe how basic categorical concepts formulated via the equipment translate back to enriched categories. We characterize Dwyer-Kan equivalences of enriched categories as $2$-categorical equivalences. Specializing to either the Kan-Quillen model structure on simplicial sets, or the Quillen-Serre model structure on topological spaces, we prove that the resulting formal category theory is equivalent to the one associated with the $\infty$-cosmos of quasicategories, thereby extending the formal approach to $(\infty,1)$-categories in the sense of Riehl-Verity to encompass both simplicial and topological categories. A notion of classifying object, formulated internally to the equipment of $\mV$-categories, leads to enriched versions of Quillen's Theorem A.

math.CT↗