Related papers: A 2-Categorical Bridge Between Henkin Construction…
Canonical formalism of the rank-three tensor model has recently been proposed, in which "local" time is consistently incorporated by a set of first class constraints. By brute-force analysis, this paper shows that there exist only two forms…
We describe a general construction of finiteness spaces which subsumes the interpretations of all positive connectors of linear logic. We then show how to apply this construction to prove the existence of least fixpoints for particular…
We give a general method to build categories of combinatorial manifolds, i.e. categories of combinatorial objects satisfying some local property at every "point", as coreflective subcategories of categories of relational presheaves. To do…
Ginzburg, Guay, Opdam and Rouquier established an equivalence of categories between a quotient category of the category $\mathcal{O}$ for the rational Cherednik algebra and the category of finite dimension modules of the Hecke algebra of a…
This is the second in a series of papers extending Martin-L\"{o}f's meaning explanation of dependent type theory to account for higher-dimensional types. We build on the cubical realizability framework for simple types developed in Part I,…
We study wrapped Floer theory on product Liouville manifolds and prove that the wrapped Fukaya categories defined with respect to two different kinds of natural Hamiltonians and almost complex structures are equivalent. The implication is…
We give an introduction to constructive category theory by answering two guiding computational questions. The first question is: how do we compute the set of all natural transformations between two finitely presented functors like…
Donald and Owens introduced two link concordance groups with a marked component and showed that they contain the knot concordance group as a direct summand with infinitely generated complements. While not explicitly posed by Donald and…
We generalize Kracht's theory of internal describability from classical modal logic to the family of all logics canonically associated with varieties of normal lattice expansions (LE algebras). We work in the purely algebraic setting of…
In this paper we show that the strict and lax pullbacks of a 2-categorical opfibration along an arbitrary 2-functor are homotopy equivalent. We give two applications. First, we show that the strict fibers of an opfibration model the…
The Lagrangian description of mechanical systems and the Legendre Transformation (considered as a passage from the Lagrangian to the Hamiltonian formulation of the dynamics) for point-like objects, for which the infinitesimal configuration…
The article is a contribution to the local theory of geometric Langlands correspondence. The main result is a categorification of the isomorphism between the (extended) affine Hecke algebra, thought of as an algebra of Iwahori bi-invariant…
Canonical extension of finitary ordered structures such as lattices, posets, proximity lattices, etc., is a certain completion which entirely describes the topological dual of the ordered structure and it does so in a purely algebraic and…
A consistent, local coordinate formulation of covariant Hamiltonian field theory is presented. Whereas the covariant canonical field equations are equivalent to the Euler-Lagrange field equations, the covariant canonical transformation…
This paper introduces the notion of a categorical pair, a pair of categories (C,C') such that every morphism in C is an object in C'. Categorical pairs are precursors to 2-categories. Arrows in C' can express relationships among the…
Stable derivators provide an enhancement of triangulated categories as is indicated by the existence of canonical triangulations. In this paper we show that exact morphisms of stable derivators induce exact functors of canonical…
We investigate the extent of second order characterizable structures by extending Shelah's Main Gap dichotomy to second order logic. For this end we consider a countable complete first order theory T. We show that all sufficiently large…
This paper develops a general theory of canonical bases, and how they arise naturally in the context of categorification. As an application, we show that Lusztig's canonical basis in the whole quantized universal enveloping algebra is given…
We generalize the lexicographic product of first-order structures by presenting a framework for constructions which, in a sense, mimic iterating the lexicographic product infinitely and not necessarily countably many times. We then define…
A Henkin-style proof of completeness of first-order classical logic is given with respect to a very small set (notably missing cut rule) of Genzten deduction rules for intuitionistic sequents. Insisting on sparing on derivation rules,…