An invitation to higher gauge theory
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 …
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 …
that create a beautiful and unique thread of presentation leading the reader safely into the …
[LIBRO][B] Elements of?-Category Theory
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 …
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 …
realm of category theory, while Parts II and III pertain to algebraic combinatorics, although …
[LIBRO][B] Physics, topology, logic and computation: a Rosetta Stone
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 …
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 …
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 …
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 …
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 …
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 …
derivators. Stable derivators are shown to canonically take values in triangulated categories …