Results 1 to 10 of about 2,723,976 (141)
What is category theory to cognitive science? Compositional representation and comparison [PDF]
Frontiers in Psychology, 2022 Category theorists and cognitive scientists study the structural (analogical) relations between domains of interest albeit in different contexts, that is, formal and psychological systems, respectively.
Steven Phillips
doaj +2 more sources
A category theory perspective on the Language of Thought: LoT is universal [PDF]
Frontiers in PsychologyThe Language of Thought (LoT) hypothesis proposes that some collections of mental states and processes are symbol systems to explain language-like systematic properties of thought.
Steven Phillips
doaj +2 more sources
Compounds, 2023 “Mathematical chemistry” as an academic field is said to have been proposed by Weyl in the 20th century as a way of thinking that abstracts and expresses “variables”, “symbols” and “functions” [...]
Takashiro Akitsu
doaj +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 +1 more
doaj +1 more source
Limits in the category Seg of Segal topological algebras [PDF]
Proceedings of the Estonian Academy of Sciences, 2022 In this paper we find several sufficient conditions for a family of Segal topological algebras to have a limit in the category Seg of Segal topological algebras.
Mart Abel
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
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
Category Theory in Coq 8.5 [PDF]
, 2015 We report on our experience implementing category theory in Coq 8.5. The repository of this development can be found at https://bitbucket.org/amintimany/categories/.
Jacobs, Bart, Timany, Amin
core +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
, 2021 Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2021, Director: Francisco Belchí[en] The main goal of this project is the investigation of the mathematical structures called categories, looking at their ...
Tenesaca Montalván, Jorge Ronny
core