Results 1 to 10 of about 2,374,826 (325)

Hermitian K-theory for stable $\\infty$-categories III: Grothendieck-Witt\n groups of rings [PDF]

, 2020
Baptiste Calmès, Dotto, Emanuele, Yonatan Harpaz, Fabian Hebestreit, Markus Land, Kristian Moi, Denis Nardin, Thomas Nikolaus, Wolfgang Steimle   +8 more
openalex   +1 more source

“Is logic a physical variable?” Introduction to the Special Issue

Zagadnienia Filozoficzne w Nauce, 2020
“Is logic a physical variable?” This thought-provoking question was put forward by Michael Heller during the public lecture “Category Theory and Mathematical Structures of the Universe” delivered on 30th March 2017 at the National Quantum Information ...
Michał Eckstein, Bartłomiej Skowron
doaj  

Open Markov Processes: A Compositional Perspective on Non-Equilibrium Steady States in Biology

Entropy, 2016
In recent work, Baez, Fong and the author introduced a framework for describing Markov processes equipped with a detailed balanced equilibrium as open systems of a certain type.
Blake S. Pollard
doaj   +1 more source

An Order-Theoretic Quantification of Contextuality

Information, 2014
In this essay, I develop order-theoretic notions of determinism and contextuality on domains and topoi. In the process, I develop a method for quantifying contextuality and show that the order-theoretic sense of contextuality is analogous to the sense ...
Ian T. Durham
doaj   +1 more source

A homotopy theory of additive categories with suspensions [PDF]

, 2017
Zhiwei Li
openalex   +1 more source

Formalizing Structural Semiotics: A Category-Theoretic Approach to Actantial Systems

Axioms
In this article we present a categorical reconstruction of the actantial model introduced by A. J. Greimas in structural semiotics. Using Spivak and Kent’s framework of ontological logs and schema-based categories, the actantial system is formalized as a
Michael Fowler
doaj   +1 more source

Towards a Hermeneutic Categorical Mathematics or why Category theory goes beyond Mathematical Structuralism [PDF]

, 2006
Andrei Rodin
openalex   +1 more source

Physical computing: a category theoretic perspective on physical computation and system compositionality

Journal of Physics: Complexity
This paper introduces a category theory-based framework to redefine physical computing in light of advancements in quantum computing and non-standard computing systems.
Nima Dehghani, Gianluca Caterina
doaj   +1 more source

Semi-Substructural Logics à la Lambek with Symmetry

Bulletin of the Section of Logic
This work studies the proof theory and ternary relational semantics of left (right) skew monoidal closed categories and skew monoidal bi-closed categories, both symmetric and non-symmetric, from the perspective of non-associative Lambek calculus ...
Cheng-Syuan Wan
doaj   +1 more source

Noncommutative deformation theory, the derived quotient, and DG\n singularity categories [PDF]

, 2018
Matt Booth
openalex   +1 more source