Connections are an important tool of differential geometry. This paper investigates their definition and structure in the abstract setting of tangent categories. At this level of abstraction we derive several classically important results about connections, including the Bianchi identities, identities for curvature and…
On-device research index
arXiv research
A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.
168,695 papers · 148 categories
Trend · papers per month
48 results for “abstract categories”
Study investigates how simple speech sounds can form abstract categories.
problem How do abstract categories like phonemes emerge from speech exposure?
method Used modeling techniques to test Memory-Based Learning and Error-Correction Learning.
result Error-Correction Learning models can learn abstractions, identifying phone inventory and grouping.
The paper develops a framework for abstracting causal models using category theory.
problem Difficulties in changing the variables used to describe a system, especially from fine-grained to coarse-grained.
method Introduces a category of interventional causal models and uses enriched category theory to prove compositionality properties.
result Compositionality of model transformations is established, with bounded errors for each step.
Abstract Lie algebroids generalize Lie algebroids to abstract categories.
problem Generalizing Lie algebroids to abstract categories.
method Generalized differentiation procedure to groupoid objects in categories with tangent structures.
result Abstract Lie algebroids are defined and examples include various groupoids.
It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result to the abstract setting of an infinite EI category satisfying certain combinatorial conditions.
We define a torus algebra for Heegaard Floer homology.
problem Developing algebraic structures for 3-manifold homology.
method Combinatorial and abstract algebraic constructions.
result Established connection to wrapped Fukaya category.
This paper shows vector bundles and differential bundles are equivalent in smooth manifolds.
problem Characterizing vector bundles in smooth manifolds.
method Introducing differential bundles in a tangent category and proving equivalence with vector bundles in smooth manifolds.
result Differential bundles in smooth manifolds are equivalent to vector bundles.
Abstract: Tangent categories get a Cartan calculus with scalar multiplication by a commutative ring.
problem Constructing a Cartan calculus in tangent categories.
method Define scalar multiplication by a commutative ring object to equip tangent bundles with -module structure.
result Every object in tangent categories carries a Cartan calculus of Lie-Rinehart forms.
We define involution algebroids which generalise Lie algebroids to the abstract setting of tangent categories. As a part of this generalisation the Jacobi identity which appears in classical Lie theory is replaced by an identity similar to the Yang-Baxter equation. Every classical Lie algebroid has the structure of an …
In this paper, we introduce a category of graded commutative rings with certain algebraic morphisms, to investigate the cobordism category of plumbed 3-manifolds. In particular, we define a non-associative distributive algebra that gives necessary conditions for an abstract morphism between the homologies of two plumbe…
Abstract: Mapping class groups act on cohomology of surfaces via Hochschild cohomology.
problem Understanding the action of mapping class groups on cohomology of surfaces.
method Associate cochain complexes to surfaces, with mapping class groups acting projectively on cohomology.
result Projective action of mapping class groups on Hochschild cohomology of Hopf algebras.
This paper focuses on a new task, i.e., transplanting a category-and-task-specific neural network to a generic, modular network without strong supervision. We design a functionally interpretable structure for the generic network. Like building LEGO blocks, we teach the generic network a new category by directly transpl…
DisCoPyro combines category theory with machine learning for program learning.
problem Applying category theory to machine learning tasks.
method Introducing DisCoPyro, a framework combining categorical structures with amortized variational inference.
result DisCoPyro can be applied in program learning for variational autoencoders and potentially contributes to AGI.
Tangent categories provide an axiomatic framework for understanding various tangent bundles and differential operations that occur in differential geometry, algebraic geometry, abstract homotopy theory, and computer science. Previous work has shown that one can formulate and prove a wide variety of definitions and resu…
Differential equations in a tangent category I: Complete vector fields, flows, and exponentialsmath.CT
This paper describes how to define and work with differential equations in the abstract setting of tangent categories. The key notion is that of a curve object which is, for differential geometry, the structural analogue of a natural number object. A curve object is a preinitial object for dynamical systems; dynamical …
We symmetrise neural networks for groups using Markov categories.
problem Convert -equivariant networks to -equivariant networks.
method Formulate in Markov categories, abstracting measure-theoretic details.
result Flexible and compositional framework for symmetrisation.
Ehresmann connections in tangent categories
problem Generalizing Ehresmann connections to a categorical setting
method Introducing tangent categories and Ehresmann connections
result Defining and proving properties of Ehresmann connections in tangent categories
In the past few years, neural abstractive text summarization with sequence-to-sequence (seq2seq) models have gained a lot of popularity. Many interesting techniques have been proposed to improve seq2seq models, making them capable of handling different challenges, such as saliency, fluency and human readability, and ge…
The abstract defines -structures and connects them to octonion algebras.
problem Classifying -structures and understanding their geometric properties.
method Established an isomorphism between -structures and octonion algebras over .
result The classification of -structures agrees with a parametrisation of octonion algebras with isometric norm.
Tangent categories are categories equipped with a tangent functor: an endofunctor with certain natural transformations which make it behave like the tangent bundle functor on the category of smooth manifolds. They provide an abstract setting for differential geometry by axiomatizing key aspects of the subject which all…
The abstract generalizes a construction for splitting supermanifolds and studies Lie supergroup cases.
problem Splitting supermanifolds and understanding their structure.
method Using -fold vector bundles and graded manifolds, the abstract generalizes a construction for splitting supermanifolds.
result The images of these embeddings into the category of graded manifolds satisfy universal properties of graded coverings or semicoverings for Lie supergroups and Lie superalgebras.
We consider differentiable maps in the setting of Abstract Differential Geometry and we study the conditions that ensure the uniqueness of differentials in this setting. In particular, we prove that smooth maps between smooth manifolds admit a unique differential, coinciding with the usual one. Thus smooth manifolds fo…
The abstract discusses new 3-manifold invariants and ETQFTs from Lie superalgebra representations.
problem Developing new 3-manifold invariants and ETQFTs from Lie superalgebra representations.
method Examining two m-traces in the category of representations over quantum , considering quotients, and conjecturing generalizations.
result Quotients of perturbative modules over quantum lead to 3-manifold invariants and ETQFTs.
Graph Neural Networks align with dynamic programming, improving algorithmic reasoning.
problem Demonstrate and quantify alignment between GNNs and dynamic programming.
method Category theory and abstract algebra methods to expose intricate connection.
result Showed GNNs align with dynamic programming beyond individual algorithms.
Tangent categories provide an axiomatic approach to key structural aspects of differential geometry that exist not only in the classical category of smooth manifolds but also in algebraic geometry, homological algebra, computer science, and combinatorics. Generalizing the notion of (linear) connection on a smooth vecto…
The abstract introduces a new duality via LSFT algebra.
problem Legendrian knot duality and its extension.
method Using Ng's LSFT algebra, the abstract upgrades duality to a quasi-isomorphism of bimodules over .
result Explicit construction of homotopy inverse for the Sabloff map.
Cyclic Objects from Surfacesmath.GT
The abstract introduces a new cyclic structure for surfaces.
problem Defining a cyclic structure for surfaces.
method Endowing surfaces with a structure of a (co)cyclic object in 3D cobordisms.
result 3D TQFTs induce (co)cyclic modules, which are computed algebraically.
Virtual Braidsmath.GT
In the present paper we give a new method for converting virtual knots and links to virtual braids. Indeed the braiding method given in this paper is quite general, and applies to all the categories in which braiding can be accomplished. We give a unifying topological interpretation of virtuals and flats (virtual strin…
The abstract formulates and proves a categorification of Robertson's conjecture.
problem The homology of graph braid groups and their universal finite generation.
method Categorification of Robertson's conjecture and analysis of configuration spaces of graphs.
result Existence of a finite list of atomic graphs generating the homology of configuration spaces of graphs.
We rephrase some well-known results in Donaldson-Thomas theory in terms of (formal families of) Frobenius type and CV-structures on a vector bundle in the sense of Hertling. We study these structures in an abstract setting, and prove a convergence result which is relevant to the case of triangulated categories. An appl…
This paper gives a new interpretation of the virtual braid group in terms of a strict monoidal category SC that is freely generated by one object and three morphisms, two of the morphisms corresponding to basic pure virtual braids and one morphism corresponding to a transposition in the symmetric group. The key to this…
Abstract: New geometric incarnation of isomonodromy functors.
problem Classical isomonodromic deformations.
method Functorial upgrade of isomonodromic deformations using Lie groupoids.
result Geometric incarnation of isomonodromy functors as Morita equivalences.
The abstract describes a strategy to construct reduced Khovanov homology for links in lens spaces.
problem Constructing reduced Khovanov homology for links in lens spaces.
method Generalizing a symplectic interpretation of reduced Khovanov homology for links in and constructing cochain complexes for links in and .
result The cohomology of the constructed cochain complex for links in may be a link invariant.
This paper is the first part in a 2 part study of an elementary functorial construction from the category of finite non-abelian groups to a category of singular compact, oriented 2-manifolds. After a desingularization process this construction results in a collection of compact, connected, oriented tesselated smooth su…
The abstract discusses transversality for infinite dimensional manifolds.
problem Transversality for infinite dimensional Fréchet manifolds.
method Constructing degree of nonlinear Fredholm mappings using transversality results.
result Proof of rank theorem, invariance of domain theorem, and Bursuk-Ulam type theorem.
Foundations of derived geometry in smooth settings.
problem Building tools for moduli spaces in differential geometry.
method Abstract structured spaces and universal properties in -categories.
result Established derived flatness results for derived -rings.
Develops persistent Khovanov homology for tangles.
problem Lack of local topological features in evolutionary Khovanov homology for knots and links.
method Introduces a new mathematical framework using persistent Khovanov homology of tangles, employing functor and planar algebra.
result Provides a new method to characterize local features in curve-type data.
Fat Lie Theorymath.DG
Introduces fat Lie theory for Lie groupoids and algebroids.
problem Representation theory of Lie groupoids and algebroids.
method Introduces fat extensions and abstract 2-term representations up to homotopy (ruths). Establishes correspondences and equivalences.
result One-to-one correspondence between fat extensions and abstract 2-term representations up to homotopy.
Human categorization is one of the most important and successful targets of cognitive modeling in psychology, yet decades of development and assessment of competing models have been contingent on small sets of simple, artificial experimental stimuli. Here we extend this modeling paradigm to the domain of natural images…
Text documents can be described by a number of abstract concepts such as semantic category, writing style, or sentiment. Machine learning (ML) models have been trained to automatically map documents to these abstract concepts, allowing to annotate very large text collections, more than could be processed by a human in …
Machine learning has made major advances in categorizing objects in images, yet the best algorithms miss important aspects of how people learn and think about categories. People can learn richer concepts from fewer examples, including causal models that explain how members of a category are formed. Here, we explore the…
Study develops a new algorithm for assessing clinical trial abstracts.
problem Limited tools for assessing qualitative statements in clinical research.
method Developed a three-class sentiment classification algorithm using BERT model.
result Algorithm achieved 91.3% classification accuracy and 0.92 macro F1-Score.
The abstract introduces a method to compute surface invariants in 4-manifolds.
problem Computing invariants of surfaces embedded in 4-manifolds.
method Using a nested pair of ribbon fusion categories and banded-link presentations.
result The method provides an invariant sensitive to both genus and knotting.
A number of recent approaches to policy learning in 2D game domains have been successful going directly from raw input images to actions. However when employed in complex 3D environments, they typically suffer from challenges related to partial observability, combinatorial exploration spaces, path planning, and a scarc…
Hierarchical nucleation patterns emerge in deep neural network layers.
problem Understanding the generation of meaningful representations in deep neural networks.
method Analysis of the probability density of ImageNet dataset across hidden layers.
result Density peaks in subsequent layers mirror the semantic hierarchy of concepts, resembling nucleation process.
The abstract discusses conjectures about virtual Legendrian knots and their relation to causality.
problem Understanding the relationship between virtual Legendrian knots and causality in spacetimes.
method Formulated conjectures and proved them in specific cases.
result Proved conjectures in 2D and (2+1)D spacetimes.
This paper updates knot invariants using Hopf algebras and categorifies their structure.
problem Defining and understanding quantum invariants of knots and three-manifolds.
method Abstract description of categorical structures involving Hopf algebras and their centers.
result The Hopf algebraic center of a knot's image is central to the invariant.
We shall give an axiomatic construction of Wess-Zumino-Witten actions valued in (G=SU(N)), (N\geq 3). It is realized as a functor ({WZ}) from the category of conformally flat four-dimensional manifolds to the category of line bundles with connection that satisfies, besides the axioms of a topological field theory, the …