Results 11 to 20 of about 9,831,323 (353)

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

Journal 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, G. Galati, Giovanni Rizi   +2 more
semanticscholar   +1 more source

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

Journal 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

Soft category theory -an introduction [PDF]

Journal of Hyperstructures, 2013
The soft category theory offers a way to study soft theories developed so far more generally. The main purpose of this paper is to introduce the basic notions of the theory of soft categories, to present some introductory results of the theory.
S. K. Sardar, Sugato Gupta
doaj   +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

Lax orthogonal factorisations in monad-quantale-enriched categories [PDF]

Logical Methods in Computer Science, 2017
We show that, for a quantale $V$ and a $\mathsf{Set}$-monad $\mathbb{T}$ laxly extended to $V$-$\mathsf{Rel}$, the presheaf monad on the category of $(\mathbb{T},V)$-categories is simple, giving rise to a lax orthogonal factorisation system (lofs) whose ...
Maria Manuel Clementino, Ignacio Lopez Franco   +1 more
doaj   +1 more source

Research on group type theory and its functorial semantic models in category logic. [PDF]

PLoS One
Tang JG, Aishan Y, Liu JY, Peng JY.
europepmc   +2 more sources

The Axiomatic Approach to Non-Classical Model Theory

Mathematics, 2022
Institution theory represents the fully axiomatic approach to model theory in which all components of logical systems are treated fully abstractly by reliance on category theory. Here, we survey some developments over the last decade or so concerning the
Răzvan Diaconescu
doaj   +1 more source

Dualizability in Low-Dimensional Higher Category Theory [PDF]

, 2013
These lecture notes form an expanded account of a course given at the Summer School on Topology and Field Theories held at the Center for Mathematics at the University of Notre Dame, Indiana during the Summer of 2012.
Schommer-Pries, Christopher
core   +2 more sources

Rewriting techniques for relative coherence [PDF]

Logical Methods in Computer Science
A series of works has established rewriting as an essential tool in order to prove coherence properties of algebraic structures, such as MacLane's coherence theorem for monoidal categories, based on the observation that, under reasonable assumptions ...
Samuel Mimram
doaj   +1 more source

Does God Think the Same Way We Do? On the Logical Apophatism of Michał Heller

Verbum Vitae, 2023
Apophatic theology is an approach in theology that emphasizes the limitation of human language and concepts in describing the nature of the Divine. Rooted in ancient religious traditions, apophatic theology has gained attention in contemporary discourse
Wojciech Grygiel
doaj   +1 more source