The concept of pushout product is a natural kind of pairing operation on morphisms in categories equipped with a pairing operation on objects (e.g. a tensor product) and having pushouts. It sends two morphisms to the universal morphism out of the pushout of the span-diagram they form by pairing their domain objects. Regarding arrows in a category as diagrams with domain the interval category, and giving the interval category the natural monoidal product, this is a kind of Day convolution tensor product with the natural copowering over Set replacing a tensor in the coend.
Let be a functor (e.g. a tensor product, tensoring). Let have pushouts.
For in and in , the pushout product morphism is the morphism
out of the pushout, induced from the commuting diagram
For any category and any class of its morphisms, write for the -injective morphisms and for the -projective morphisms.
Let be a symmetric closed monoidal category with finite limits and finite colimits, and let be two classes of its morphisms.
Then under pushout product :
By a little Joyal-Tierney calculus.
In the context of monoidal model category theory, prop. implies that for checking the pushout-product axiom in the case of cofibrantly generated model categories it is sufficient to check it on generating cofibrations.
For , let
be the canonical sphere inclusions in Top (the generating cofibrations of the classical model structure on topological spaces). Their pushout product (with respect to Cartesian product of topological spaces) is given by addition of indices:
Let moreover
Then
To see this, it is profitable to model n-disks and n-spheres, up to homeomorphism, as n-cubes and their boundaries.
To see the idea of the proof, consider the situation in low dimensions, where one readily sees that
and
Generally, may be represented as the space of -tuples of elements in , and as the suspace of tuples for which at least one of the coordinates is equal to 0 or to 1.
Accordingly is the spaces of -tuples, such that one of the first coordinates is equal to 0 or 1, and hence
And of course it is clear that . This shows the first case.
For the second, use that is contractible to in , and that is a subspace of .
The relations in example are the key in proving that the classical model structure on topological spaces (on compactly generated topological spaces) is an enriched model category over itself. See there at topological enrichment for more.
pullback power– the dual concept
Last revised on December 16, 2022 at 20:10:05. See the history of this page for a list of all contributions to it.