Results 11 to 20 of about 1,637,092 (305)
Calculus of functors and model categories
Advances in Mathematics, 2007 22 pages. Exposition is substantially improved.
Georg Biedermann +2 more
openalex +3 more sources
The tangent functor category revisited
Indagationes Mathematicae (Proceedings), 1986 L. Moerdijk, G. Reyes
semanticscholar +3 more sources
Pure and Applied Mathematics, 1970 In Chapter I we discussed various algebraic structures (rings, abelian groups, modules) and their appropriate transformations (homomorphisms). We also saw how certain constructions (for example, the formation of HomΛ(A, B) for given Λ-modules A, B) produced new structures out of given structures.
Peter Hilton +2 more
openaire +4 more sources
t-Structures with Grothendieck hearts via functor categories [PDF]
Selecta Mathematica, 2020 We study when the heart of a t -structure in a triangulated category $$\mathcal {D}$$ D with coproducts is AB5 or a Grothendieck category. If $$\mathcal {D}$$ D satisfies Brown representability, a t -structure has an AB5 heart with an injective ...
Manuel Saor'in, Jan Št’ovíček
semanticscholar +1 more source
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 +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
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
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