Results 11 to 20 of about 6,408,999 (296)
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
Type theories in category theory
CoRR, 2021 We introduce basic notions in category theory to type theorists, including comprehension categories, categories with attributes, contextual categories, type categories, and categories with families along with additional discussions that are not very closely related to type theories by listing definitions, lemmata (with detailed, diagram-rich proofs ...
openaire +2 more sources
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
Conflict Resolution in Mechatronic Collaborative Design Using Category Theory
Applied Sciences, 2021 Due to the multitude of disciplines involved in mechatronic design, heterogeneous languages and expert models are used to describe the system from different domain-specific views. Despite their heterogeneity, these models are highly interrelated.
Mouna Fradi +4 more
doaj +1 more source
Rewriting techniques for relative coherence [PDF]
Logical Methods in Computer ScienceA 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
A Convenient Category of Domains [PDF]
, 2007 topological spaces, generalising the usual ω-continuous dcppos of domain theory. Our category supports all the standard constructions of domain theory, including the solution of recursive domain equations.
Ingo Battenfeld +6 more
core +1 more source
Theoretical Basis of the Ideological and Political Education Category: Based on Studying the Marxist Category Theory [PDF]
, 2014 In the scientific and rigorous system of Marxist theory, category is the basic logic unit. The great strength of Marxist category theory finds its full expression in the science and vitality of Marxist theory.
LI, Changsong
core +1 more source
Two Constructivist Aspects of Category Theory
Philosophia Scientiæ, 2006 Category theory has two unexpected links to constructivism: First, why is topos logic so close to intuitionistic logic? The paper argues that in part the resemblance is superficial, in part it is due to selective attention, and in part topos theory is ...
Colin McLarty
doaj +1 more source
Self-move and Other-move: Quantum Categorical Foundations of Japanese [PDF]
Journal of Interdisciplinary Sciences, 2023 This work contributes toward the larger goal of creating a Quantum Natural Language Processing (QNLP) translation program. It contributes original diagrammatic representations of the Japanese language based on previous work on the English language ...
Ryder Dale Walton
doaj
The technique of modeling Cyberphysical systems using Coalgebra
Вісник Харківського національного університету імені В.Н. Каразіна. Серія: Математичне моделювання, інформаційні технології, автоматизовані системи управління, 2023 Relevance. Presently, we observe a rapid pace of development in information technologies, the implementation of which results in a broad percentage of automation in manufacturing processes.
Артем Панченко +1 more
doaj +1 more source