Advanced searches left 3/3

Category Theory - Arxiv

Summarized by Plex Scholar
Last Updated: 03 January 2023

* If you want to update the article please login/register

Spacetimes categories and disjointness for algebraic quantum field theory

An algebraic quantum field theory can be applied as a functor from a class of spacetimes to a class of observable algebras. We establish a 0̆3c78358358835 category that is suitable for chiral conformation field theories in two dimensions by establishing appropriate chiral disjointness relationships.

Source link: https://arxiv.org/abs/2201.09166v2


Category Theory for Quantum Natural Language Processing

grammar as entanglement. This thesis introduces quantum natural language processing schemes based on a simple yet powerful comparison between computational linguistics and quantum mechanics: entanglement. The grammatical system of text and sentences conveys the meaning of words in the same way that entanglement organisation links the states of quantum systems. To prepare the model, we then use a mixed classical-quantum algorithm so that analyzing the circuits calculates the meaning of sentences in data-driven tasks. String diagrams are the main data structure of DisCoPy, and they enable computation at a high level of abstraction. DisCopy is used by DisCopy to build QNLP models as parameterised functors from grammar to quantum circuits. It's the first proof-of-concept for the more general idea of functorial education: generalizing machine learning from functions to functors by collecting from diagram-like data.

Source link: https://arxiv.org/abs/2212.06615v1


Categories of Lagrangian correspondences and fermionic functorial field theory

When it comes to two Lagrangian correspondences, Lagrangian is the most significant topic. We develop a functorial field theory on geometric spin manifolds with values in this category of Lagrangian correspondences, which can be viewed as a formal Wick rotation of the theory relating to a free fermionic particle in a curved spacetime.

Source link: https://arxiv.org/abs/2212.02956v1


Diagram categories and invariant theory for classical groups and supergroups

With some indications regarding quantum groups and quantum super groups, we introduce the concept of a diagram category and discuss its application to the invariant theory of classical groups and super groups.

Source link: https://arxiv.org/abs/2211.03924v1


An Algebraic Framework for Stock & Flow Diagrams and Dynamical Systems Using Category Theory

We first discuss the category of stock-flow diagrams and demonstrate the striking difference between the syntax of these diagrams and their semantics, as well as three examples of semantics already implemented in the software: ODEs, causal loop diagrams, and system structure diagrams. In a modular fashion, we now shift to two strategies for creating large stock-flow diagrams from smaller ones: composition and stratification.

Source link: https://arxiv.org/abs/2211.01290v2


Proceedings of the Fourth International Conference on Applied Category Theory

On 12--16 July 2021, the fourth International Conference on Applied Category Theory took place at the University of Cambridge's Computer Laboratory. Graphs; lenses; categorical probability theory; machine learning; game theory; and finite model analysis; and finite model theory; following the trend in the previous meetings of ACT, the contributions to ACT 2021 ranged from pure to applied, including: graphical calculi; lenses; categorical probability theory; machine learning; and computational modeling; and finite model theory; and finite model theory. Around half of the papers that were released as part of ACT 2021's talks include this proceedings volume.

Source link: https://arxiv.org/abs/2211.01102v1


A Formal Logic for Formal Category Theory

We present a domain-specific model for buildings and experiments in category theory. Those Yoneda lemma and Coyoneda lemma became simple type theoretic tests of unit, tensor, and function types, and can be seen to be ordered refinements of theorems in predicate logic. Although the findings in our type theory look like standard set-based arguments, the syntactic discipline and syntactic discipline ensure that all proofs and buildings can be used in both enriched and internal settings as well.

Source link: https://arxiv.org/abs/2210.08663v1


A double-dimensional approach to formal category theory

Whereas formal category theory is traditionally considered within a 2 -category, a double-dimensional approach is taken in this paper. More specifically, we develop such theories within the context of enhanced virtual double categories, a theory that extends the notion of a virtual double category by adding cells with nullary target. [. . ] The idea of yoneda embedding is now considered in an elevated virtual double category, as well as one of a 2 -category; the former in the sense of Street-Walters and Weber. In the absence of algebraic structures, formal category theory is explored in the second half.

Source link: https://arxiv.org/abs/1511.04070v3


The category $Θ_2$, derived modifications, and deformation theory of monoidal categories

It is shown that H^3(C^2̆219(C,C)(Id,Id)(id,id))) is orthomorphic to the outer infinitesimal deformations of the -linear monoidal category, which we refer to as complete deformations.

Source link: https://arxiv.org/abs/2210.01664v1

* Please keep in mind that all text is summarized by machine, we do not bear any responsibility, and you should always check original source before taking any actions

* Please keep in mind that all text is summarized by machine, we do not bear any responsibility, and you should always check original source before taking any actions