Related papers: 2-adjoint equivalences in homotopy type theory
Following the theory of principal $\infty$-bundles of Niklaus-Schreiber-Steveson, we develop a homotopy categorification of Hopf algebras, which model quantum groups. We study their higher-representation theory in the setting of…
We construct second homotopy classes associated with twins of non-cancellative tuples of a monoid, where the monoid is defined by the semi-positive fundamental relations of the fundamental group of a CW-complex. As an application, we…
We show that the unnormalised Khovanov homology of an oriented link can be identified with the derived functors of the inverse limit. This leads to a homotopy theoretic interpretation of Khovanov homology.
In this paper, we define and study (co)homology theories of a compatible associative algebra $A$. At first, we construct a new graded Lie algebra whose Maurer-Cartan elements are given by compatible associative structures. Then we define…
We prove a biadjoint triangle theorem and its strict version, which are $2$-dimensional analogues of the adjoint triangle theorem of Dubuc. Similarly to the $1$-dimensional case, we demonstrate how we can apply our results to get the…
The aim of this paper is to introduce several notions of homogenization in various classes of weighted means, which include quasiarithmetic and semideviation means. In general, the homogenization is an operator which attaches a homogeneous…
We describe a non-extensional variant of Martin-L\"of type theory which we call two-dimensional type theory, and equip it with a sound and complete semantics valued in 2-categories.
We study some notions of cohomology for asymptotically additive sequences and prove a Liv\v{s}ic-type result for almost additive sequences of potentials. As a consequence, we are able to characterize almost additive sequences based on their…
Adjoint functor theorems give necessary and sufficient conditions for a functor to admit an adjoint. In this paper we prove general adjoint functor theorems for functors between $\infty$-categories. One of our main results is an…
The homology of free Lie algebras with coefficients in tensor products of the adjoint representation working over Q contains important information on the homological properties of polynomial outer functors on free groups. The latter…
We study the homotopy types of certain spaces closely related to the spaces of algebraic (rational) maps from the $m$ dimensional real projective space into the $n$ dimensional complex projective space for $2\leq m\leq 2n$ (we conjecture…
This paper presents a novel connection between homotopical algebra and mathematical logic. It is shown that a form of intensional type theory is valid in any Quillen model category, generalizing the Hofmann-Streicher groupoid model of…
This text provides an introduction and complements to some basic constructions and results in 2-representation theory of Kac-Moody algebras.
The inhomogeneous metric theory for the set of simultaneously $\psi$-approximable points lying on a planar curve is developed. Our results naturally incorporate the homogeneous Khintchine-Jarnik type theorems recently established in [Ann.…
Homotopy type theory is a modern foundation for mathematics that introduces the univalence axiom and is particularly suitable for the study of homotopical mathematics and its formalization via proof assistants. In order to better comprehend…
The semidirect product of a Lie algebra and a 2-term representation up to homotopy is a Lie 2-algebra. Such Lie 2-algebras include many examples arising from the Courant algebroid appearing in generalized complex geometry. In this paper, we…
We deduce a special case of a theorem of M. Haiman concerning alternating polynomials in 2n variables from our results about almost commuting variety, obtained earlier in a joint work with W.-L. Gan.
Twisted Lie algebroid cohomologies, i.e. with values in representations, are shown to be Lie algebroid homotopy-invariant. Several important classes of examples are discussed. As an application, a generalized version of the Poincar\'e lemma…
We introduce the notion of almost representations of Lie algebras and quantum tori, and establish an Ulam-stability type phenomenon: every irreducible almost representation is close to a genuine irreducible representation. As an…
We prove general adjoint functor theorems for weakly (co)complete $n$-categories. This class of $n$-categories includes the homotopy $n$-categories of (co)complete $\infty$-categories, so these $n$-categories do not admit all small…