Results 11 to 20 of about 8,086,442 (367)

Category theory for operational semantics

open access: bronzeTheoretical Computer Science, 2004
AbstractWe use the concept of a distributive law of a monad over a copointed endofunctor to define and develop a reformulation and mild generalisation of Turi and Plotkin's notion of an abstract operational rule. We make our abstract definition and give a precise analysis of the relationship between it and Turi and Plotkin's definition.
Marina Lenisa   +2 more
openalex   +4 more sources

Could ∞-Category Theory Be Taught to Undergraduates? [PDF]

open access: yesNotices of the American Mathematical Society, 2023
The extension of ordinary category theory to $\infty$-categories at the start of the 21st century was a spectacular achievement pioneered by Joyal and Lurie with contributions from many others. Unfortunately, the technical arguments required to solve the
E. Riehl
semanticscholar   +1 more source

An Enriched Category Theory of Language: From Syntax to Semantics [PDF]

open access: yesLa Matematica, 2021
State of the art language models return a natural language text continuation from any piece of input text. This ability to generate coherent text extensions implies significant sophistication, including a knowledge of grammar and semantics. In this paper,
T. Bradley   +2 more
semanticscholar   +1 more source

MultiCategory: Multi-model Query Processing Meets Category Theory and Functional Programming [PDF]

open access: yesProceedings of the VLDB Endowment, 2021
The variety of data is one of the important issues in the era of Big Data. The data are naturally organized in different formats and models, including structured data, semi-structured data, and unstructured data. Prior research has envisioned an approach
Valter Uotila   +5 more
semanticscholar   +1 more source

Category Theory in Chemistry

open access: yesCompounds, 2023
“Mathematical chemistry” as an academic field is said to have been proposed by Weyl in the 20th century as a way of thinking that abstracts and expresses “variables”, “symbols” and “functions” [...]
Takashiro Akitsu
doaj   +1 more source

On continuous 2-category symmetries and Yang-Mills theory [PDF]

open access: yesJournal of High Energy Physics, 2022
We study a 4d gauge theory U(1)N−1 ⋊ SN obtained from a U(1)N−1 theory by gauging a 0-form symmetry SN. We show that this theory has a global continuous 2-category symmetry, whose structure is particularly rich for N > 2. This example allows us to draw a
Andrea Antinucci   +2 more
semanticscholar   +1 more source

An Invitation to Applied Category Theory. Seven Sketches in Compositionality. By Brendan Fong and David I. Spivak. Cambridge University Press, 2019. Paperback, pp. 348. Price GBP 37.99. ISBN 9781108711821.

open access: yesActa Crystallographica Section A: Foundations and Advances, 2021
An invitation to applied category theory seven sketches. p d f an invitation to applied category theory seven. sevensketchesinpositionality. an invitation to applied category theory seven sketches. an invitation to applied category theory seven sketches.
B. Stöger
semanticscholar   +1 more source

A unified representation and transformation of multi-model data using category theory

open access: yesJournal of Big Data, 2022
The support for multi-model data has become a standard for most of the existing DBMSs. However, the step from a conceptual (e.g., ER or UML) schema to a logical multi-model schema of a particular DBMS is not straightforward.
Pavel Koupil, I. Holubová
semanticscholar   +1 more source

Pretorsion theories in general categories [PDF]

open access: yesJournal of Pure and Applied Algebra, 2021
22 ...
Alberto Facchini   +2 more
openaire   +4 more sources

A Finitely Axiomatized Non-Classical First-Order Theory Incorporating Category Theory and Axiomatic Set Theory

open access: yesAxioms, 2021
It is well known that Zermelo-Fraenkel Set Theory (ZF), despite its usefulness as a foundational theory for mathematics, has two unwanted features: it cannot be written down explicitly due to its infinitely many axioms, and it has a countable model due ...
Marcoen J. T. F. Cabbolet
doaj   +1 more source

Home - About - Disclaimer - Privacy