Results 11 to 20 of about 1,552,204 (312)
Tensor categories and the mathematics of rational and logarithmic conformal field theory [PDF]
Journal of Physics A: Mathematical and Theoretical, 2013 In response to the referees' helpful comments, further discussion of several issues is added, including in particular rigidity. Much of the paper is devoted to explaining what has been mathematically proved and where people can find these proofs. Several references added. 27 pages. Invited review article for publication in a special issue of J. Phys. A
Yi-Zhi Huang, James Lepowsky
openalex +5 more sources
MATHEMATICS: FROM SET THEORY TO CATEGORY THEORY
Metaphysics, 2022 The basis of mathematics is set theory, to which almost all mathematical directions go back. However, the importance of category theory for mathematics as a whole is steadily increasing. If in set theory the determining role is played by the internal structure of the object under consideration, then in category theory an object is characterized by its ...
S. Ya Serovaisky
openalex +3 more sources
From Mathematics to Software Engineering: Introducing Category Theory into the Computer Science Curriculum [PDF]
, 2007 Category theory, with its increasing role in computer science, has proved useful in the investigation of programming languages and other theoretical aspects of software engineering. As a bridge-building exercise, we introduce the category theory course into the computer science curriculum, the purpose of which includes building a unified framework to ...
Yu‐Jun Zheng, Haihe Shi, Jinyun Xue
openalex +3 more sources
Almost mathematics of pointed symmetric monoidal model categories by Smith ideal theory
, 2023 This article is a generalization of a result in Quillen's note ``Module theory over non-unital rings'' giving a one-to-one correspondence between bilocalization of abelian categories of modules and idempotent ideals of the base ring. Faltings; Gabber and Ramero established almost mathematics, the same as Quillen's bilocalization of a category of ...
Yuki Kato
openalex +4 more sources
Mathematics of General Intelligence With Homotopy Type Theory and Category Theory
Prabhakar Balakrishnan
+7 more sources
, 1999 Outils Génériques de Modélisation et de Démonstration pour la Formalisation des Mathématiques en Théorie des Types. Application à la Théorie des Catégories.
Amokrane Saibi
openalex +5 more sources
Acta 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
On the spectrum and support theory of a finite tensor category [PDF]
Mathematische Annalen, 2021 Finite tensor categories (FTCs) $\bf T$ are important generalizations of the categories of finite dimensional modules of finite dimensional Hopf algebras, which play a key role in many areas of mathematics and mathematical physics.
D. Nakano, Kent B. Vashaw, M. Yakimov
semanticscholar +1 more source
Formalizing category theory in Agda
Certified Programs and Proofs, 2021 The generality and pervasiveness of category theory in modern mathematics makes it a frequent and useful target of formalization. It is however quite challenging to formalize, for a variety of reasons. Agda currently (i.e.
Jason Z. S. Hu, J. Carette
semanticscholar +1 more source