Results 21 to 30 of about 2,723,976 (141)
Self-move and Other-move: Quantum Categorical Foundations of Japanese [PDF]
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
Category theory and set theory as theories about complementary types of universals [PDF]
Instead of the half-century old foundational feud between set theory and category theory, this paper argues that they are theories about two different complementary types of universals.
Ellerman, David P.
core +3 more sources
The unusual applicability of mathematics to the description of the physical reality still remains a major investigative task for philosophers, physicists, mathematicians and cognitive scientists.
Wojciech Grygiel
doaj
Human consciousness is characterized by constant transitions in time. On the other hand, what is consciously experienced always possesses the temporal feature of “now.” In consciousness, “now” constantly holds different contents, yet it remains “now” no ...
Shigeru Taguchi+2 more
doaj +1 more source
One-sided n-suspended categories [PDF]
Let $n$ be an integer greater or equal than $3$. We give a simultaneous generalization of $(n-2)$-exact categories and $n$-angulated categories, and we call it one-sided $n$-suspended categories. One-sided $n$-angulated categories are also examples of one-sided $n$-suspended categories.
arxiv
Reedy categories which encode the notion of category actions [PDF]
We study a certain type of action of categories on categories and on operads. Using the structure of the categories {\Delta} and {\Omega} governing category and operad structures, respectively, we define categories which instead encode the structure of a category acting on a category, or a category acting on an operad.
arxiv +1 more source
Mathematical Modelling by Help of Category Theory: Models and Relations between Them
The growing complexity of modern practical problems puts high demand on mathematical modelling. Given that various models can be used for modelling one physical phenomenon, the role of model comparison and model choice is becoming particularly important.
Dmitrii Legatiuk
doaj +1 more source
Solving Tree Problems with Category Theory
Artificial Intelligence (AI) has long pursued models, theories, and techniques to imbue machines with human-like general intelligence. Yet even the currently predominant data-driven approaches in AI seem to be lacking humans' unique ability to solve wide
BC Pierce+14 more
core +1 more source
Dendroidal sets as models for homotopy operads [PDF]
The homotopy theory of infinity-operads is defined by extending Joyal's homotopy theory of infinity-categories to the category of dendroidal sets. We prove that the category of dendroidal sets is endowed with a model category structure whose fibrant ...
Cisinski, Denis-Charles, Moerdijk, Ieke
core +6 more sources
A First Step to the Categorical Logic of Quantum Programs
The long-term goal of our research is to develop a powerful quantum logic which is useful in the formal verification of quantum programs and protocols.
Xin Sun, Feifei He
doaj +1 more source