Results 11 to 20 of about 96,536 (270)
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
Categories with projective functors
Proceedings of the London Mathematical Society, 2005 We introduce a notion of a category with full projective functors. It encodes certain common properties of categories appearing in representation theory of Lie groups, Lie algebras and quantum groups. We describe the left or right exact functors which naturally commute with projective functors and provide a unified approach to the verification of ...
Oleksandr Khomenko
openalex +6 more sources
Gabriel localization in functor categories [PDF]
Communications in Algebra, 2021 P. Gabriel showed that for an unital ring $R$, there exists a bijective correspondence between the set of Gabriel filters of $R$ and the set of Giraud subcategories of $\mathrm{Mod}(R)$ (see \cite[Lemme 1]{Gabriel1} on page 412). In this paper we prove analogous of Gabriel's result: for a small preadditive category $\mathcal{C}$, there exists a ...
Valente Santiago-Vargas +2 more
openaire +3 more sources
Calculus of functors and model categories
Advances in Mathematics, 2007 22 pages. Exposition is substantially improved.
Georg Biedermann +2 more
openalex +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
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
Completeness for the coalgebraic cover modality [PDF]
Logical Methods in Computer Science, 2012 We study the finitary version of the coalgebraic logic introduced by L. Moss. The syntax of this logic, which is introduced uniformly with respect to a coalgebraic type functor, required to preserve weak pullbacks, extends that of classical propositional
Clemens Kupke +2 more
doaj +1 more source
Crossed Corner and Reduced Simplicial Commutative Algebras
Journal of New Theory, 2023 In this paper, we describe the crossed corner of commutative algebras and present the relation between the category of crossed corners of commutative algebras and the category of reduced simplicial commutative algebras with Moore complex of length 2.
Özgün Gürmen Alansal
doaj +1 more source
The function ring functors of pointfree topology revisited [PDF]
Categories and General Algebraic Structures with Applications, 2019 This paper establishes two new connections between the familiar function ring functor ${\mathfrak R}$ on the category ${\bf CRFrm}$ of completely regular frames and the category {\bf CR}${\mathbf \sigma}${\bf Frm} of completely regular $\sigma$-frames as
Bernhard Banaschewski
doaj +1 more source
Complexity of Grammar Induction for Quantum Types [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Most categorical models of meaning use a functor from the syntactic category to the semantic category. When semantic information is available, the problem of grammar induction can therefore be defined as finding preimages of the semantic types under this
Antonin Delpeuch
doaj +1 more source