The paper explores how the unit inclusion affects topological quantum field theories in non-semisimple categories.
problem Understanding the effects of unit inclusion in non-semisimple braided tensor categories on topological quantum field theories.
method Analyzes the dualizability of the unit inclusion morphism in Morita 4-category of braided tensor categories and applies the Cobordism Hypothesis.
result Shows that the unit inclusion in non-semisimple modular categories leads to non-compact relative 3D topological quantum field theories.
This thesis bridges Lie theory and sketch theory using tangent categories.
problem Two diverging lines of research in Lie theory.
method Developing involution algebroids and using tangent categories to connect Lie algebroids and Weil algebras.
result The category of Lie algebroids is a functor category, and the Lie functor is a composition with a tangent categorical functor.
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 …
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. 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.
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.
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χ.
This paper refines homotopy theory for cubical sets and uniform spaces.
problem Classical homotopy theory limitations in cubical sets and uniform spaces.
method Develops a uniform-theoretic refinement for cubical sets and uniform spaces, lifting to a full and faithful embedding.
result Lifts classical homotopy categories to new uniform homotopy categories, generalizing cohomology theories.
Using methods inspired from algebraic K-theory, we give a new proof of the Genauer fibration sequence, relating the cobordism categories of closed manifolds with cobordism categories of manifolds with boundaries, and of the Bökstedt-Madsen delooping of the cobordism category. Unlike the existing proofs, this approach…
Category theory enhances understanding of group-equivariant neural networks.
problem Understanding and working with group-equivariant neural networks.
method Application of category theory to tensor power spaces of Rn for groups Sn, O(n), Sp(n), and SO(n). result New insights and an algorithm for computing equivariant linear layers.
The paper proves a theorem linking convex body centroids and category theory.
problem Understanding centroids of sections of convex bodies.
method Lusternik-Schnirelmann category theory.
result At least n hyperplanes exist such that the center of mass of their intersection with a convex body lies on the boundary of the convex body.
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…
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…
Proposes a new category of bundles for Lagrangian reduction in field theory.
problem Lagrangian reduction in field theory.
method Introduces a category of bundles to perform Lagrangian reduction by stages in covariant Field Theory.
result Formulates the Noether theorem in this new theoretical framework.
Lie algebroids and curved Lie algebras are equivalent categories.
problem Understanding the relationship between Lie algebroids and curved Lie algebras.
method Developed a method to study the ∞-category of curved Lie algebras using homotopy theory of algebras over a complete operad. result Equivalence of ∞-categories between Lie algebroids and certain kinds of curved Lie algebras. We generalize the notion of monetary value measures developed with category theory in [Adachi, 2014] by extending their base category from the category \c{hi} to the category of probability spaces Prob introduced in [Adachi and Ryu, 2016].
Motivated by the Moore-Segal axioms for an open-closed topological field theory, we consider planar open string topological field theories. We rigorously define a category 2Thick whose objects and morphisms can be thought of as open strings and diffeomorphism classes of planar open string worldsheets. Just as the categ…
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…
We describe a (nonlinear) Fredholm theory for a new class of ambient spaces, as well as for a certain type of categories. The theory is illustrated by an application to the category of stable maps.
We formulate the unitary rational orbifold conformal field theories in the algebraic quantum field theory framework. Under general conditions, we show that the orbifold of a given unitary rational conformal field theories generates a unitary modular category. Many new unitary modular categories are obtained. We also sh…
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.
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.
Novel A∞-categories derived from gauge theories for manifold homologies.
problem Categorifying manifold homologies via gauge theories.
method 3d and 8d gauged Landau-Ginzburg models, higher A∞-categories. result Derived novel A∞-categories for various manifold homologies. We define the notion of whiskered categories and groupoids, showing that whiskered groupoids have a commutator theory. So also do whiskered R-categories, thus answering questions of what might be `commutative versions' of these theories. We relate these ideas to the theory of Leibniz algebras, but the commutator theo…
We develop the general theory for the construction of Extended Topological Quantum Field Theories (ETQFTs) associated with the Costantino-Geer-Patureau quantum invariants of closed 3-manifolds. In order to do so, we introduce relative modular categories, a class of ribbon categories which are modeled on representations…
Given a J-holomorphic Morse function on a symplectic manifold, a new construction of the Fukaya-Seidel category is outlined. Applying this construction in an infinite dimensional case, a Fukaya-Seidel-type category is associated to a smooth three-manifold. In this case the construction is based on a five-dimensional ga…
Constructs a cyclic, filtered, strictly unital curved A∞ category for Lagrangian submanifolds and develops Floer theory.
problem Proving that any Lagrangian submanifold equipped with a weak bounding cochain lies in the category split-generated by a given collection of Lagrangian submanifolds.
method Develops a cyclic, filtered, strictly unital curved A∞ category and uses it to prove the above statement. result Any Lagrangian submanifold equipped with a weak bounding cochain lies in the category split-generated by a given collection of Lagrangian submanifolds.
In this paper we analyze supergeometric locally covariant quantum field theories. We develop suitable categories SLoc of super-Cartan supermanifolds, which generalize Lorentz manifolds in ordinary quantum field theory, and show that, starting from a few representation theoretic and geometric data, one can construct a f…
Classical and quantum Chern-Simons with gauge group U(1)N were classified by Belov and Moore in \cite{belov_moore}. They studied both ordinary topological quantum field theories as well as spin theories. On the other hand a correspondence is well known between ordinary (2+1)-dimensional TQFTs and modular te…
Study homotopy sheaves on categories and their presheaves, proving descent properties.
problem Homotopy sheaves on categories and their presheaves.
method Homotopy right Kan extension, pretopologies, Yoneda embedding.
result Preserves homotopy sheaves and induces equivalence between sheaves and colimit-preserving sheaves.
The paper defines a category of Lagrangian correspondences in super Hilbert spaces and constructs a functorial field theory.
problem Understanding composition of Lagrangian correspondences in Hilbert spaces.
method Study of Lagrangian correspondences, construction of a category, and functorial field theory.
result Well-defined composition law in a category of Lagrangian correspondences.
We study a variation of Turaev's homotopy quantum field theories using 2-categories of surfaces. We define the homotopy surface 2-category of a space X and define an $\cS_X$-structure to be a monoidal 2-functor from this to the 2-category of idempotent-complete additive k-linear categories. We initiate the study of…
Open 2D TFTs extend to closed theories with circle value as Hochschild homology.
problem Extending open 2D TFTs to closed theories.
method Using symmetric monoidal ∞-categories and Hochschild homology.
result Open 2D TFTs admit initial open-closed extensions.
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.
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.
We propose using category theory to unify deep learning architectures.
problem Lack of a coherent bridge between model constraints and implementations.
method Apply category theory to unify neural network design.
result Theory recovers constraints from geometric deep learning and encodes standard constructs.
Many learning algorithms have invariances: when their training data is transformed in certain ways, the function they learn transforms in a predictable manner. Here we formalize this notion using concepts from the mathematical field of category theory. The invariances that a supervised learning algorithm possesses are …
We propose a new notion of `n-category with duals', which we call a Whitney n-category. There are two motivations. The first is that Baez and Dolan's Tangle Hypothesis is (almost) tautological when interpreted as a statement about Whitney categories. The second is that we can functorially construct `fundamental Whitney…
Homotopy Quantum Field Theories (HQFTs) generalize more familiar Topological Quantum Field Theories (TQFTs). In generalization of the surgery construction of 3-dimensional TQFTs from modular categories, we use surgery to derive 3-dimensional HQFTs from G-modular categories.
This paper introduces tangent display maps to simplify tangent category theory.
problem The category of smooth manifolds does not admit all pullbacks, complicating tangent category theory.
method Develops tangent display maps as a special class of maps well-behaved with respect to pullbacks.
result Tangent display maps simplify previous work in tangent categories and provide a new way to define open subobjects.
Refines Khovanov homology using signed Burnside categories.
problem Stable homotopy refinement of Khovanov homology.
method Signed Burnside category approach to compare Blanchet and Khovanov chain complexes.
result Stable homotopy type construction for link diagrams.
The paper constructs semistrict monoidal 2-categories from foam evaluations.
problem Creating examples of semistrict monoidal 2-categories.
method Using a closed foam evaluation formula as input, the paper rigorously constructs semistrict monoidal 2-categories.
result The constructed monoidal 2-categories are semistrict, have duals and adjoints, and carry a spatial duality structure.
Category theory generalizes finite type invariants using diagrams systems.
problem Generalizing finite type invariants using category theory.
method Relating generating sets for generalized finite type theories with diagrams systems.
result Demonstrates the correspondence between finite type theories and diagrams systems.
Geometric invariant theory introduces stability conditions mirroring abelian category theory.
problem Stability conditions in geometric invariant theory.
method Axiomatic notion of central charge and stability condition on schemes and stacks.
result Introduction of stability conditions for polarized schemes and smooth projective varieties.
Recent work extends Turaev's modular categories to non-semisimple settings.
problem Building TQFTs beyond semisimplicity.
method Generalized modular categories.
result Success in extending Turaev's construction to non-semisimple settings.
It is well known that the opposite F^{op} of the category F of finitely generated free groups is a Lawvere theory for groups, and also that F is a free symmetric monoidal category on a commutative Hopf monoid, or, in other words, a PROP for commutative Hopf algebras. In this paper, we give a direct, combinatorial proof…
Functor connects sheaf categories of Legendrian submanifolds.
problem Connecting sheaf categories of Legendrian submanifolds.
method Constructs a functor between sheaf categories using Nadler-Shende's work.
result Provides a sheaf theory description of Lagrangian cobordism.
The paper classifies extensions of Yang-Mills-type theories and their spaces.
problem Classifying extensions of Yang-Mills-type theories with arbitrary pairings.
method Using a unified approach, the space of extensions is classified and compared with Yang-Mills theories.
result An upper bound to the rank of the space of extensions is given and compared with Yang-Mills theories.