Related papers: Higher Tannaka and Beyond
A strict 2-group is a 2-category with one object in which all morphisms and all 2-morphisms have inverses. 2-Groups have been studied in the context of homotopy theory, higher gauge theory and Topological Quantum Field Theory (TQFT). In the…
Cubical type theory provides a constructive justification to certain aspects of homotopy type theory such as Voevodsky's univalence axiom. This makes many extensionality principles, like function and propositional extensionality, directly…
Operads often arise from geometry. The standard $A_\infty$ operad can be derived from the cellular chains on the Stasheff associahedra, and an $A_\infty$ algebra is an algebra over this operad. The notion of an $\mathbf{fc}$-multicategory,…
We introduce a new higher categorical structure called a weakly globular n-fold category. This structure is based on iterated internal categories and on the notion of weak globularity. We identify a suitable class of pseudo-functors whose…
We introduce the basic elements of the theory of parametrized $\infty$-categories and functors between them. These notions are defined as suitable fibrations of $\infty$-categories and functors between them. We give as many examples as we…
The notion of a higher bundle gerbe is introduced to give a geometric realization of the higher degree integral cohomology of certain manifolds. We consider examples using the infinite dimensional spaces arising in gauge theories.
We classify the module categories over the double (possibly twisted) of a finite group.
Tambara modules are strong profunctors between monoidal categories. They've been defined by Tambara in the context of representation theory, but quickly found their way in applications when it was understood Tambara modules provide a useful…
Bilattices, which provide an algebraic tool for simultaneously modelling knowledge and truth, were introduced by N.D. Belnap in a 1977 paper entitled 'How a computer should think'. Prioritised default bilattices include not only Belnap's…
We propose a new mwthod of constructing 4D-TQFTs. The method uses a new type of algebraic structure called a Hopf Category. We also outline the construction of a family of Hopf categories related to the quantum groups, using the canonical…
(Multiplicative) Hom-Lie-Yamaguti superalgebras which generalize Hom-Lie supertriple systems (and subsequently ternary multiplicative Hom-Nambu superalgebras) and Hom-Lie superalgebras in the same way as Lie-Yamaguti superalgebras [Frac]…
In a previous paper, we showed that profinite $L$-algebras (where $L$ is a variety of modal algebras generated by its finite members) are monadic over $\mathbf{Set}$. This monadicity result suggests that profinite $L$-algebras could be…
New definitions of rack and quandle modules are introduced, and shown to generalise the definitions previously studied by Andruskiewitsch, Etingof and Grana. This new construct is shown to coincide with Beck's general definition of a module…
The goal of this article is to emphasize the role of cubical sets in enriched categories theory and infinity-categories theory. We show in particular that categories enriched in cubical sets provide a convenient way to describe many…
Given a Hopf algebra A, there exist various cohomology theories for the category of Hopf bimodules over A, introduced by M. Gerstenhaber and S.D. Schack, and by C. Ospel. We prove, when A is finite dimensional, that they are equal to the…
We review the theory of derivators from the ground up, defining new classes of derivators which were originally motivated by derivator K-theory. We prove that many old arguments that relied on homotopical bicompleteness hold also for…
The notion of a duality between two derived functors as well as an extension theorem for derived functors to larger categories in which they need not be defined is introduced. These ideas are then applied to extend and study the coext…
In this article, a new construction of derived equivalences is given. It relates different endomorphism rings and more generally cohomological endomorphism rings - including higher extensions - of objects in triangulated categories. These…
We demonstrate equivalence between two definitions of lower finite highest weight categories. We also show that, in the presence of a duality, a lower finite highest weight structure on a category is unique. Finally, we give a new proof for…
We define extension $\infty$-categories for exact $\infty$-categories in terms of bifibrations. Extension $\infty$-categories are invariant when passing to the stable hull, and consequently we show that they form an $\Omega$-spectrum,…