Results 91 to 100 of about 29,359 (208)
Combining Higher-Order Logic with Set Theory Formalizations. [PDF]
J Autom Reason, 2023 Kaliszyk C, Pąk K.
europepmc +1 more source
Gorenstein Derived Functors for Extriangulated Categories [PDF]
, 2021 Zhenggang He
openalex +1 more source
The spectrum of derived Mackey functors [PDF]
, 2021 Irakli Patchkoria +2 more
openalex +1 more source
Scalar extensions of derived categories and non-Fourier–Mukai functors [PDF]
, 2015 Alice Rizzardo, Michel Van den Bergh
openalex +1 more source
On the realization functor of the derived category of mixed motives [PDF]
, 2017 Johann Bouali
openalex +1 more source
Continuation of unitary derived functor modules out of the canonical chamber [PDF]
, 1984 Thomas J. Enright, Joseph A. Wolf
openalex +1 more source
Geometric and arithmetic characterization of [Formula: see text]-module flatness with applications to tensor products. [PDF]
PLoS OneTang JG, Lei HR, Liu M, Peng JY.
europepmc +1 more source
Derived Categories of Hyper-Kähler Manifolds via the LLV Algebra. [PDF]
Milan J Math, 2022 Beckmann T.
europepmc +1 more source
Life as a Categorical Information-Handling System: An Evolutionary Information-Theoretic Model of the Holobiont. [PDF]
Biology (Basel)Carvajal-Rodríguez A.
europepmc +1 more source