New method bounds intersections of exact Lagrangians in cotangent bundles.
problem Counting intersections of exact Lagrangian submanifolds in cotangent bundles.
method Sheaf quantization in Tamarkin's category for clean and degenerate intersections.
result Cardinality of intersections is bounded by sheaf Hom spaces.
Study exact Lagrangian cobordisms in cotangent bundles, proving bounds on sheaf interleaving distance and shadow distance.
problem Understanding Lagrangian cobordisms and their properties in cotangent bundles.
method Use microlocal theory of sheaves, sheaf quantization, and cone decompositions.
result Interleaving distance of sheaves is bounded by the shadow distance of the cobordism.
The paper studies formal geometry of dg manifolds and proves isomorphism of their calculi.
problem Formal geometry of dg manifolds.
method Construction of Fedosov dg foliation and homotopy contractions.
result Isomorphism of Cartan and noncommutative calculi.
Let $\g\_2$ be the Hochschild complex of cochains on $C^\infty(\RM^n)$ and $\g\_1$ be the space of multivector fields on $\RM^n$. In this paper we prove that given any G_∞-structure ({\rm i.e.} Gerstenhaber algebra up to homotopy structure) on $\g\_2$, and any C_∞-morphism φ ({\rm i.e.} morphism of co…
Studies amenable category's monotonicity and its relation to topological complexity.
problem Monotonicity of amenable category for degree-one maps.
method Uses amenable covers and compares with topological complexity.
result Establishes a relation between amenable category and topological complexity.
To each oriented surface S, we associate a differential graded category Ko(S). The homotopy category Ho(Ko(S)) is a triangulated category which satisfies properties akin to those of the contact categories studied by K. Honda. These categories are also related to the algebraic contact categories of Y. Tian and to the bo…
Innovative 2-categories create 4-manifold invariants.
problem Constructing invariants for 4-manifolds.
method Semisimple 2-categories, fusion 2-categories, and state-sum construction.
result Construct a state-sum invariant for 4-manifolds.
New geometric structures in tangent categories.
problem Defining affine structures in tangent categories.
method Structural differential geometry, axiomatization of tangent categories, flat torsion-free connections.
result Affine objects form a tangent category and provide new characterizations of flat torsion-free connections.
Formulates a new connection between topological and geometric categories.
problem No specific problem stated; focuses on category formulation.
method Formulates a connection between a topological and geometric category.
result Provides a more precise and improved version of a previous proposal.
Extends monetary value measures to probability spaces.
problem No specific problem stated; generalization of monetary value measures.
method Extends category from hi to Prob.
result Generalized monetary value measures to probability spaces.
Generalizes Morse theory to n-categories using critical points and moduli spaces.
problem Constructing n-categories from Morse theory.
method Extending Cohen & Jones & Segal's flow category to n-categories by Morse theory on critical points and moduli spaces.
result The resulting structure is an 'almost strict' n-category.
A new TQFT is conjectured to extend Reshetikhin-Turaev TQFT.
problem Extending TQFT to lower dimensions.
method Defining a symmetric monoidal (4,3)-category with duals from enriched multi-fusion categories.
result A conjectured extension of 1-2-3-dimensional TQFT to dimension zero.
Survey on decorated marked surfaces for Calabi-Yau categories.
problem Understanding Calabi-Yau categories and related structures.
method Introducing decorations on marked surfaces to study various categories.
result Exploration of Calabi-Yau-2 and 3 categories, braid groups, quadratic differentials, and stability conditions.
The paper defines new TQFTs from non-semisimple categories and proves spherical categories are chromatic.
problem Defining non-compact TQFTs from non-semisimple categories.
method Introducing admissible skein modules, chromatic categories, and using Juhász's cobordism presentation.
result Non-compact (2+1)-TQFTs can be defined from chromatic categories, extending Turaev-Viro TQFTs.
Spider category comparison proves equivalence to Sikora's quotient category.
problem Comparing skein theories of SLn. method Proved equivalence between spider category and Sikora's quotient category.
result Spider category Sp(SLn) is equivalent to Sikora's quotient category. Categorifies quantum invariants using cobordism categories and operads.
problem Categorify quantum invariants using cobordism categories and operads.
method Constructs a cobordism category with a colored operad action, categorifies quantum sln invariants. result Consistency of the cobordism category and explicit functor to matrix factorizations conjectured.
ETQFTs created from non-semisimple modular categories.
problem Constructing ETQFTs from non-semisimple modular categories.
method Explicitly identify linear categories and functors in the image of ETQFTs constructed from modular categories.
result The circle category of ETQFTs is equivalent to the full subcategory of projective objects of the underlying modular category, which need not be semisimple.
Studies modules over a category of Jacobi diagrams in handlebodies.
problem Understanding modules over a specific category of Jacobi diagrams.
method Generalizes adjunctions and studies subquotient modules.
result Generalizes adjunctions between modules and Casimir Lie algebra modules.
New proof of Genauer fibration sequence in cobordism categories.
problem Relating cobordism categories of closed and boundary-manifolds.
method Inspired from algebraic K-theory, using cobordism categories and delooping.
result Generalization of Waldhausen's Additivity theorem to cobordism categories.
We compare various different definitions of "the category of smooth objects". The definitions compared are due to Chen, Frölicher, Sikorski, Smith, and Souriau. The method of comparison is to construct functors between the categories that enable us to see how the categories relate to each other. This produces a diagram…
We show that once-extended anomalous 3-dimensional topological quantum field theories valued in the 2-category of k-linear categories are in canonical bijection with modular tensor categories equipped with a square root of the global dimension in each factor.
This is the second in a series of papers intended to set up a framework to study categories of modules in the context of non-commutative geometries. In \cite{mem} we introduced the basic DG category $\Pc_{\A^\bullet}$, the perfect category of $\A^\bullet$, which corresponded to the category of coherent sheaves on a com…
New 4-manifold invariant defined from trisection diagrams.
problem Defining a new 4-manifold invariant from trisection diagrams.
method Algebraic data from bimodule categories and spherical fusion categories, described diagrammatically.
result Includes Hopf algebraic invariants and modular fusion category invariants.
We study the transverse Lusternik-Schnirelmann category of a Riemannian foliation on a compact manifold. We obtain a necessary and sufficient condition when the transverse LS category is finite. We also introduce a variation on the concept of transverse LS category, the essential transverse category, and show that this…
We investigate the relationship between the algebra of tensor categories and the topology of framed 3-manifolds. On the one hand, tensor categories with certain algebraic properties determine topological invariants. We prove that fusion categories of nonzero global dimension are 3-dualizable, and therefore provide 3-di…
Paper proposes CNE-net to tackle incremental learning in (T)ACSA tasks.
problem Catastrophic forgetting in multi-task incremental learning for (T)ACSA.
method Category Name Embedding network (CNE-net) with shared encoder and decoder.
result State-of-the-art performance on (T)ACSA benchmark datasets.
TXtract extracts structured knowledge from thousands of product categories.
problem Extracting structured knowledge from diverse product categories in e-commerce.
method TXtract uses a taxonomy-aware model with category conditional self-attention and multi-task learning.
result TXtract outperforms state-of-the-art approaches by up to 10% in F1 and 15% in coverage across all categories.
It is well-known that reduced smooth orbifolds and proper effective foliation Lie groupoids form equivalent categories. However, for certain recent lines of research, equivalence of categories is not sufficient. We propose a notion of maps between reduced smooth orbifolds and a definition of a category in terms of mark…
Generative model for morphisms in free categories learns from wiring diagrams.
problem Learning and generating morphisms in free monoidal categories.
method Probabilistic generative model using variational inference and maximum likelihood.
result The model achieves competitive performance on the Omniglot dataset.
3D HQFTs constructed using graded monoidal categories.
problem Constructing 3D HQFTs with specific targets.
method Using spherical χ-fusion categories and the state sum method.
result 3D HQFTs constructed with target Bχ.
New categories help understand knot algebra.
problem Understanding the action of gl(1∣1) on knot homology. method Introducing and equating two new supercategories.
result Equivalence of categories for δ=0. This paper extends link invariants using functors on nanophrases.
problem Link invariants are less informative in certain categories.
method Introduces functors from nanophrases to virtual strings, pseudolinks, quasilinks, and free links.
result Extends the Jones pseudolink polynomial to general nanophrases.
New skein categories for non-semisimple settings, extending existing theory.
problem Extending skein theory to non-semisimple settings.
method Introducing skein categories based on tensor ideals in linear ribbon categories.
result Skein categories coincide with factorization homology in non-semisimple settings.
Theory for algebraic data on categories via concentration structures.
problem Defining algebraic structures on categories.
method Introducing concentration structures and concentration monoids.
result Every group can be represented as a concentration monoid of a trivial category.
Completes reduction scheme in Lagrange-Poincaré category.
problem Lagrangian reduction by stages in the whole category.
method Analyzes Noether theorem, Hamiltonian reduction, geometric aspects.
result Affirmative answer to open question of Lagrangian reduction.
We construct what we call a Kirby category, a monoidal category whose morphisms are smooth 4-manifolds, projecting down to another monoidal category whose morphisms are orientable 3-manifolds, the projection being induced by the boundary map on manifolds. We construct a higher categorical generalization of such concept…
Paper shows idempotents in tangle categories split naturally.
problem Understanding structure of tangle categories.
method 3-manifold techniques to analyze tangle categories.
result Every idempotent morphism splits naturally.
This paper introduces a new distance metric for filtered A-infinity categories, focusing on Lagrangian submanifolds.
problem Measuring the distance between filtered A-infinity categories associated with Lagrangian submanifolds.
method Developed a Gromov-Hausdorff distance to measure the difference between these categories.
result Established that the sequence of filtered A-infinity categories forms a Cauchy sequence in Gromov-Hausdorff distance.
We introduce the notion of a positive opetope and positive opetopic cardinals as certain finite combinatorial structures. The positive opetopic cardinals to positive-to-one polygraphs are like simple graphs to free omega-categories over omega-graphs, c.f. [MZ]. In particular, they allow us to give an explicit combinato…
New categories from TQFTs interpret skein relations.
problem Interpreting skein relations in TQFTs.
method Constructing half-braided algebras and their bimodules.
result Stated skein relations correspond to a TQFT.
Framed flow categories were introduced by Cohen-Jones-Segal as a way of encoding the flow data associated to a Floer functional. A framed flow category gives rise to a CW-complex with one cell for each object of the category. The idea is that the Floer invariant should take the form of the stable homotopy type of the r…
We define two functors from Elias and Khovanov's diagrammatic Soergel category, one targeting Clark-Morrison-Walker's category of disoriented sl(2) cobordisms and the other the category of (universal) sl(3) foams.
We construct certain tensor categories that are dominated by finitely many simple objects. Objects in these categories are modules over rings of algebra integers. We show how to obtain TQFTs defined over algebra integers from these categories.
Formalizes learning algorithm invariances using category theory.
problem Understanding and characterizing invariances in learning algorithms.
method Using category theory to define and formalize invariances of learning algorithms.
result Illustrated and contrasted the invariances of linear regression and ridge regression.
A group-category is an additively semisimple category with a monoidal product structure in which the simple objects are invertible. For example in the category of representations of a group, 1-dimensional representations are the invertible simple objects. This paper gives a detailed exploration of "topological quantum …
A calculus modifies flow categories without changing their homotopy type.
problem Modifying flow categories without altering their homotopy type.
method A calculus of moves to modify framed flow categories.
result Two flow categories with stable homotopy type give move equivalent categories.
We define a category vT of tangles diagrams drawn on surfaces with boundaries. On the one hand we show that there is a natural functor from the category of virtual tangles to vT which induces an equivalence of categories. On the other hand, we show that vT is universal among ribbon c…
Study compares h-cobordism categories to standard spaces.
problem Comparing h-cobordism categories to standard spaces. method Topological category of h-cobordisms between manifolds. result Homotopy type comparison of h-cobordism categories.