Results 21 to 30 of about 29,359 (208)
Comparison theorems for Kan, faintly universal and strongly universal derived functors [PDF]
Surveys in Mathematics and its Applications, 2022 We distinguish between faint, weak, strong and strict localizations of categories at morphism families and show that this framework captures the different types of derived functors that are considered in the literature.
Alisa Govzmann +2 more
doaj
Generalizing determinization from automata to coalgebras [PDF]
Logical Methods in Computer Science, 2013 The powerset construction is a standard method for converting a nondeterministic automaton into a deterministic one recognizing the same language. In this paper, we lift the powerset construction from automata to the more general framework of coalgebras ...
Alexandra Silva +3 more
doaj +1 more source
Innocent Strategies as Presheaves and Interactive Equivalences for CCS [PDF]
Scientific Annals of Computer Science, 2012 Seeking a general framework for reasoning about and comparing programming languages, we derive a new view of Milner's CCS. We construct a category E of plays, and a subcategory V of views.
T. Hirschowitz, D. Pous
doaj +1 more source
Categorial compositionality: a category theory explanation for the systematicity of human cognition. [PDF]
PLoS Computational Biology, 2010 Classical and Connectionist theories of cognitive architecture seek to explain systematicity (i.e., the property of human cognition whereby cognitive capacity comes in groups of related behaviours) as a consequence of syntactically and functionally ...
Steven Phillips, William H Wilson
doaj +1 more source
Gorenstein derived functors [PDF]
Proceedings of the American Mathematical Society, 2004 Over any associative ring R R it is standard to derive H o m R ( − , − ) \mathrm {Hom}_R(-,-) using projective resolutions in the first variable, or injective resolutions in the second variable, and doing this ...
openaire +3 more sources
Faithful actions from hyperplane arrangements [PDF]
, 2018 We show that if X is a smooth quasiprojective 3–fold admitting a flopping contraction, then the fundamental group of an associated simplicial hyperplane arrangement acts faithfully on the derived category of X.
Hirano, Yuki, Wemyss, Michael
core +2 more sources
On the Casselman-Jacquet functor [PDF]
, 2019 We study the Casselman-Jacquet functor $J$, viewed as a functor from the (derived) category of $(\mathfrak{g},K)$-modules to the (derived) category of $(\mathfrak{g},N^-)$-modules, $N^-$ is the negative maximal unipotent.
Chen, Tsao-Hsien +2 more
core +2 more sources
Homotopy theory of Moore flows (II)
Extracta Mathematicae, 2021 This paper proves that the q-model structures of Moore flows and of multipointed d-spaces are Quillen equivalent. The main step is the proof that the counit and unit maps of the Quillen adjunction are isomorphisms on the q-cofibrant objects (all objects ...
Philippe Gaucher
doaj
Moduli spaces of torsion sheaves on K3 surfaces and derived equivalences [PDF]
, 2016 We show that for many moduli spaces M of torsion sheaves on K3 surfaces S, the functor D(S) -> D(M) induced by the universal sheaf is a P-functor, hence can be used to construct an autoequivalence of D(M), and that this autoequivalence can be factored ...
Addington, N., Donovan, W., Meachan, C.
core +2 more sources
The hitchhiker guide to Categorical Banach space theory. Part II.
Extracta Mathematicae, 2021 What has category theory to offer to Banach spacers? In this second part survey-like paper we will focus on very much needed advanced categorical and homological elements, such as Kan extensions, derived category and derived functor or Abelian hearts of ...
Jesús Castillo
doaj