Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new user2-Dimensional Categories
77
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
This book is an introduction to 2-categories and bicategories, assuming only the most elementary aspects of category theory. A review of basic category theory is followed by a systematic discussion of 2-/bicategories, pasting diagrams, lax functors, 2-/bilimits, the Duskin nerve, 2-nerve, adjunctions and monads in bicategories, 2-monads, biequivalences, the Bicategorical Yoneda Lemma, and the Coherence Theorem for bicategories. Grothendieck fibrations and the Grothendieck construction are discussed next, followed by tricategories, monoidal bicategories, the Gray tensor product, and double categories. Completely detailed proofs of several fundamental but hard-to-find results are presented for the first time. With exercises and plenty of motivation and explanation, this book is useful for both beginners and experts.
rate research
Read More
We show that the regular patterns of Getzler (2009) form a 2-category biequivalent to the 2-category of substitudes of Day and Street (2003), and that the Feynman categories of Kaufmann and Ward (2013) form a 2-category biequivalent to the 2-category of coloured operads (with invertible 2-cells). These biequivalences induce equivalences between the corresponding categories of algebras. There are three main ingredients in establishing these biequivalences. The first is a strictification theorem (exploiting Powers General Coherence Result) which allows to reduce to the case where the structure maps are identity-on-objects functors and strict monoidal. Second, we subsume the Getzler and Kaufmann--Ward hereditary axioms into the notion of Guitart exactness, a general condition ensuring compatibility between certain left Kan extensions and a given monad, in this case the free-symmetric-monoidal-category monad. Finally we set up a biadjunction between substitudes and what we call pinned symmetric monoidal categories, from which the results follow as a consequence of the fact that the hereditary map is precisely the counit of this biadjunction.
Structures where we have both a contravariant (pullback) and a covariant (pushforward) functoriality that satisfy base change can be encoded by functors out of ($infty$-)categories of spans (or correspondences). In this paper we study the more complicated setup where we have two pushforwards (an additive and a multiplicative one), satisfying a distributivity relation. Such structures can be described in terms of bispans (or polynomial diagrams). We show that there exist $(infty,2)$-categories of bispans, characterized by a universal property: they corepresent functors out of $infty$-categories of spans where the pullbacks have left adjoints and certain canonical 2-morphisms (encoding base change and distributivity) are invertible. This gives a universal way to obtain functors from bispans, which amounts to upgrading monoid-like structures to ring-like ones. For example, symmetric monoidal $infty$-categories can be described as product-preserving functors from spans of finite sets, and if the tensor product is compatible with finite coproducts our universal property gives the canonical semiring structure using the coproduct and tensor product. More interestingly, we encode the additive and multiplicative transfers on equivariant spectra as a functor from bispans in finite $G$-sets, extend the norms for finite etale maps in motivic spectra to a functor from certain bispans in schemes, and make $mathrm{Perf}(X)$ for $X$ spectral Deligne--Mumford stack a functor of bispans using a multiplicative pushforward for finite etale maps in addition to the usual pullback and pushforward maps.
By a ring groupoid we mean an animated ring whose i-th homotopy groups are zero for all i>1. In this expository note we give an elementary treatment of the (2,1)-category of ring groupoids (i.e., without referring to general animated rings and without using n-categories for n>2). The note is motivated by the fact that ring stacks play a central role in the Bhatt-Lurie approach to prismatic cohomology.
We construct a family of oriented extended topological field theories using the AKSZ construction in derived algebraic geometry, which can be viewed as an algebraic and topological version of the classical AKSZ field theories that occur in physics. These have as their targets higher categories of symplectic derived stacks, with higher morphisms given by iterated Lagrangian correspondences. We define these, as well as analogous higher categories of oriented derived stacks and iterated oriented cospans, and prove that all objects are fully dualizable. Then we set up a functorial version of the AKSZ construction, first implemented in this context by Pantev-Toen-Vaquie-Vezzosi, and show that it induces a family of symmetric monoidal functors from oriented stacks to symplectic stacks. Finally, we construct forgetful functors from the unoriented bordism $(infty,n)$-category to cospans of spaces, and from the oriented bordism $(infty,n)$-category to cospans of spaces equipped with an orientation; the latter combines with the AKSZ functors by viewing spaces as constant stacks, giving the desired field theories.
We study convergent (terminating and confluent) presentations of n-categories. Using the notion of polygraph (or computad), we introduce the homotopical property of finite derivation type for n-categories, generalizing the one introduced by Squier for word rewriting systems. We characterize this property by using the notion of critical branching. In particular, we define sufficient conditions for an n-category to have finite derivation type. Through examples, we present several techniques based on derivations of 2-categories to study convergent presentations by 3-polygraphs.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
