Results 11 to 20 of about 329,157 (308)
Axioms, 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
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
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
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
, 2021 Pretorsion theories∗ The notion of pretorsion theory is a wide extension of the classical notion of torsion theory in an abelian category. The idea is to associate, with any pair (T, F) of full replete subcategories of a category C, a corresponding ...
Category Theory 2020-21, Gran, Marino
core
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