相关论文: Functors Extending the Kauffman Bracket
We calculate the Kauffman bracket skein module (KBSM) of the complement of all two-bridge links. For a two-bridge link, we show that the KBSM of its complement is free over the ring $\BC[t^{\pm 1}]$ and when reducing $t=-1$, it is…
To a Legendrian knot, one can associate an $\mathcal{A}_{\infty}$ category, the augmentation category. An exact Lagrangian cobordism between two Legendrian knots gives a functor of the augmentation categories of the two knots. We study the…
We give some functorial characterizations of flat strict Mittag-Leffler modules. We characterize reflexive functors of modules with similar tools, definitions and theorems.
We construct reflection functors for quiver Hecke algebras associated with arbitrary symmetrizable Kac-Moody algebras, from a higher representation-theoretic viewpoint. These functors provide a categorification of Lusztig's braid group…
We contribute XTT, a cubical reconstruction of Observational Type Theory which extends Martin-L\"of's intensional type theory with a dependent equality type that enjoys function extensionality and a judgmental version of the unicity of…
The K-theory of a functor may be viewed as a relative version of the K-theory of a ring. In the case of a Galois extension of a number field F/L with rings of integers A/B respectively, this K-theory of the "norm functor" is an extension of…
We consider the ways in which a 4-tangle T inside a unit cube can be extended outside the cube into a knot or link L. We present two links n(T) and d(T) such that the greatest common divisor of the determinants of these two links always…
The bicategorical point of view provides a natural setting for many concepts in the representation theory of monoidal categories. We show that centers of twisted bimodule categories correspond to categories of 2-dimensional natural…
Using the orbifold KZ connection we construct a functor from an affine parabolic category O of type A to the category O of a cyclotomic rational double affine Hecke algebra. We give several results concerning this functor.
We claim that the recently discovered universal-matrix precursor for the $F$ functions, which define the differential expansion of colored polynomials for twist and double braid knots, can be extended from rectangular to non-rectangular…
A commutative ring is said to have ITI with respect to an ideal a if the a-torsion functor preserves injectivity of modules. Classes of rings with ITI or without ITI with respect to certain sets of ideals are identified. Behaviour of ITI…
We compare the bicategory of spans with that of bisets (a.k.a. bimodules, distributors, profunctors) in the context of finite groupoids. We construct in particular a well-behaved pseudo-functor from spans to bisets. This yields an…
This paper is the second in a series exploring the properties of a functor which assigns a homotopy double groupoid with connections to a Hausdorff space. We show that this functor satisfies a version of the van Kampen theorem, and so is a…
We compare two possible ways of defining a category of 1-combs, the first intensionally as coend optics and the second extensionally as a quotient by the operational behaviour of 1-combs on lower-order maps. We show that there is a full and…
The notion of a categorical quotient can be generalized since its standard categorical concept does not recover the expected quotients in certain categories. We present a more general formulation in the form of $\mathcal{F}$-quotients in a…
We introduce a method for associating a chain complex to a module over a combinatorial category, such that if the complex is exact then the module has a rational Hilbert series. We prove homology--vanishing theorems for these complexes for…
In the first part of this series of papers we constructed dg analogues of the Zuckerman functors over commutative rings and the dual Zuckerman functors over the field of complex numbers. In this paper we construct their derived functors in…
In this paper we define a functor from the algebraic category of frontal Hilbert algebras to the algebraic category of frontal implicative semilattices which is left adjoint to the forgetful functor from the category of frontal implicative…
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,…
We construct an infinite family of homology theories of framed links in thickened surfaces, as well as a homology theory whose graded Euler characteristic is exactly the Kauffman bracket of the link in the surface. Both theories are based…