An invitation to higher gauge theory

JC Baez, J Huerta - General Relativity and Gravitation, 2011 - Springer
In this easy introduction to higher gauge theory, we describe parallel transport for particles
and strings in terms of 2-connections on 2-bundles. Just as ordinary gauge theory involves a …

[LIBRO][B] Category theory in context

E Riehl - 2017 - books.google.com
" The book is extremely pleasant to read, with masterfully crafted exercises and examples
that create a beautiful and unique thread of presentation leading the reader safely into the …

[LIBRO][B] Elements of?-Category Theory

E Riehl, D Verity - 2022 - books.google.com
The language of∞-categories provides an insightful new way of expressing many results in
higher-dimensional mathematics but can be challenging for the uninitiated. To explain what …

[LIBRO][B] Monoidal functors, species and Hopf algebras

M Aguiar, SA Mahajan - 2010 - Citeseer
This research monograph is divided into three parts. Broadly speaking, Part I belongs to the
realm of category theory, while Parts II and III pertain to algebraic combinatorics, although …

[LIBRO][B] Physics, topology, logic and computation: a Rosetta Stone

J Baez, M Stay - 2011 - Springer
In physics, Feynman diagrams are used to reason about quantum processes. In the 1980s, it
became clear that underlying these diagrams is a powerful analogy between quantum …

All -toposes have strict univalent universes

M Shulman - arxiv preprint arxiv:1904.07004, 2019 - arxiv.org
We prove the conjecture that any Grothendieck $(\infty, 1) $-topos can be presented by a
Quillen model category that interprets homotopy type theory with strict univalent universes …

Framed bicategories and monoidal fibrations

MA Shulman - arxiv preprint arxiv:0706.1286, 2007 - arxiv.org
In some bicategories, the 1-cells aremorphisms' between the 0-cells, such as functors
between categories, but in others they areobjects' over the 0-cells, such as bimodules …

[LIBRO][B] Coherence in three-dimensional category theory

N Gurski - 2013 - books.google.com
Dimension three is an important test-bed for hypotheses in higher category theory and
occupies something of a unique position in the categorical landscape. At the heart of matters …

Arnold conjecture and Morava K-theory

M Abouzaid, AJ Blumberg - arxiv preprint arxiv:2103.01507, 2021 - arxiv.org
We prove that the rank of the cohomology of a closed symplectic manifold with coefficients in
a field of characteristic $ p $ is smaller than the number of periodic orbits of any non …

Derivators, pointed derivators and stable derivators

M Groth - Algebraic & Geometric Topology, 2013 - msp.org
We develop some aspects of the theory of derivators, pointed derivators and stable
derivators. Stable derivators are shown to canonically take values in triangulated categories …