Results 1 to 10 of about 1,689,750 (280)
Strongly Complete Logics for Coalgebras [PDF]
Logical Methods in Computer Science, 2012 Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras.
Alexander Kurz, Jiri Rosicky
doaj +5 more sources
Pro-Categories and Multiadjoint Functors [PDF]
Canadian Journal of Mathematics, 1984 For a functor G:𝒜→𝔛 and a class 𝔇 of small categories containing the terminal category 1 we form the extensionand call G right 𝔇-pro-adjoint if and only if Pro (𝔇, G) is right adjoint. Here Pro (𝔇, 𝒜) is the completion of 𝒜with respect to 𝔇; it coincides with the usual pro-category of 𝒜 in case 𝔇 = directed sets.
Walter Tholen
openalex +3 more sources
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
Derived category of weak chain U-complexes [PDF]
HeliyonIn this paper, we define the derived category of weak chain U-complexes, and we give a characterization of any weak chain U-complex as an object in the right bounded homotopy category of weak chain U-complexes of projective modules.
Fajar Yuliawan +3 more
doaj +2 more sources
Advancing categories with functors of functors [PDF]
, 2023 In this document, we review the basics of category theory and functors calculus, and we implement some novel concepts. In particular, we review the concepts of category, functors, and natural transformations. Furthermore we introduce the novel concept of func- tors of functors.
Pierros Ntelis
openalex +2 more sources
Direct Limit of Krasner (m, n)-Hyperrings [PDF]
Journal of Sciences, Islamic Republic of Iran, 2020 The purpose of this paper is the study of direct limits in category of Krasner (m, n)-hyperrings. In this regards we introduce and study direct limit of a direct system in category (m, n)-hyperrings.
Reza Ameri, Ameneh Asadi
doaj +1 more source
On $\ast$-measure monads on the category of ultrametric spaces
Karpatsʹkì Matematičnì Publìkacìï, 2022 The functor of $\ast$-measures of compact support on the category of ultrametric spaces and non-expanding maps is introduced in the previous publication of the authors.
Kh.O. Sukhorukova, M.M. Zarichnyi
doaj +1 more source
A Category Theoretic Interpretation of Gandy's Principles for Mechanisms [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Based on Gandy's principles for models of computation we give category-theoretic axioms describing locally deterministic updates to finite objects. Rather than fixing a particular category of states, we describe what properties such a category should ...
Joseph Razavi, Andrea Schalk
doaj +1 more source
Enriched functor categories for functor calculus
Topology and its Applications, 2022 In this paper we present background results in enriched category theory and enriched model category theory necessary for developing model categories of enriched functors suitable for doing functor calculus.
Bandklayder, L. +4 more
openaire +3 more sources
A Shortcut from Categorical Quantum Theory to Convex Operational Theories [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 This paper charts a very direct path between the categorical approach to quantum mechanics, due to Abramsky and Coecke, and the older convex-operational approach based on ordered vector spaces (recently reincarnated as "generalized probabilistic theories"
Alexander Wilce
doaj +1 more source