Related papers: Categorical localization for the coherent-construc…
We describe a construction of the Fukaya category of an exact symplectic Lefschetz fibration, together with its closed-open string map.
We show that the category of coherent sheaves on the toric boundary divisor of a smooth quasiprojective toric DM stack is equivalent to the wrapped Fukaya category of a hypersurface in a complex torus. Hypersurfaces with every Newton…
In this article we introduce the notion of a square structure on a model category, that generalises cubical model categories. We then show that under some homotopical conditions on this square structure the induced cubical category is a…
Inspired by the geometry of wrapped Fukaya categories, we introduce the notion of wrapped microlocal sheaves. We show that traditional microlocal sheaves are equivalent to functionals on wrapped microlocal sheaves, in analogy with the…
We upgrade the natural weakly-filtered structure of Fukaya categories discussed in arXiv:1806.06630 to a genuinely filtered one. The main tools are a Morse-Bott, or 'cluster', model for Fukaya categories and a particular choice of class of…
We give a definition of Seidel's `relative Fukaya category', for a smooth complex projective variety, under a semipositivity assumption. We use the Cieliebak--Mohnke approach to transversality via stabilizing divisors. Two features of our…
Canonical extension has proven to be a powerful tool in algebraic study of propositional logics. In this paper we describe a generalization of the theory of canonical extension to the setting of first order logic. We define a notion of…
We prove the nonequivariant coherent-constructible correspondence conjectured by Fang-Liu-Treumann-Zaslow in the case of toric surfaces. Our proof is based on describing a semi-orthogonal decomposition of the constructible side under toric…
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…
We introduce a notion of compatibility between constraint encoding and compositional structure. Phrased in the language of category theory, it is given by a "composable constraint encoding". We show that every composable constraint encoding…
For a stopped Liouville manifold arising from a Liouville sector, we construct a symplectic analogue of the formal neighborhood of the stop on the level of Fukaya categories. This geometric construction is performed via Floer-theoretic…
We construct a sheaf-theoretic analogue of the wrapped Fukaya category in Lagrangian Floer theory, by localizing a category of sheaves microsupported away from some given $\Lambda \subset S^*M$ along continuation maps constructed using the…
Kashiwara showed in 1996 that the categories of microlocalized D-modules can be canonically glued to give a sheaf of categories over a complex contact manifold. Much more recently, and by rather different considerations, we constructed a…
Coherent strings of composable morphisms play an important role in various important constructions in abstract stable homotopy theory (for example algebraic K-theory or higher Toda brackets) and in the representation theory of finite…
We propose applying the categorical compositional scheme of [6] to conceptual space models of cognition. In order to do this we introduce the category of convex relations as a new setting for categorical compositional semantics, emphasizing…
Given a symplectic manifold M, we consider a category with objects finite ordered families of Lagrangian submanifolds of M (subject to certain additional constraints) and with morphisms Lagrangian cobordisms relating them. We construct a…
The Nadler--Zaslow correspondence famously identifies the finite-dimensional Floer homology groups between Lagrangians in cotangent bundles with the finite-dimensional Hom spaces between corresponding constructible sheaves. We generalize…
We identify spaces of half-translation surfaces, equivalently complex curves with quadratic differential, with spaces of stability structures on Fukaya-type categories of punctured surfaces. This is achieved by new methods involving the…
For an oriented manifold $M$ and a compact subanalytic Legendrian $\Lambda \subseteq S^*M$, we construct a canonical strong smooth relative Calabi--Yau structure on the microlocalization at infinity and its left adjoint $m_\Lambda^l:…
We study expressive power of continuous logic in classes of (locally compact) groups. We also describe locally compact groups which are separably categorical structures.