We prove that the derived functor of this left Quillen adjoint functor induces a left inverse of the derived functor of our category embedding at the homotopy category level

[r]

We equip our categories of dg symmet- ric sequences and of dg Hopf symmetric sequences with the usual projective model structure of diagram categories, with the class of

Let E q be the category having as objects finite dimensional F 2 - vector spaces equipped with a non-degenerate quadratic form and with morphisms linear maps which preserve

Proposition 6 Let X = X, X X2 be the product of two locally decomposable point-set apartness spaces, and f a mapping of a point-set apartness space Y into

closed and therefore it is interesting to look for a cartesian closed modific- ation, especially a so-called cartesian closed hull, if it

(Top)ex, because Top itself is extensive and has finite limits; on the contrary, the proof is more delicate if one works with HTop, where only weak limits are

In analogy to ordinary Banach space theory, we could consider the dual space of the Banach space B to be the sheaf of R- or *R-valued.. continuous linear functionals

Our object of study is the decomposition of unitarily induced modules of U(m, n) from derived functor modules (We call such induced modules generalized unitary