Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
created Quillen bifunctor
I polished the layout and typesetting a bit.
Then I inserted at
enriched model category the equivalent definition in terms of copowers that are Quillen bifunctors
at pushout-product axiom the remark that this is the axiom for a Quillen bifunctor
I corrected a silly mistake (of mine) at Quillen bifunctor in the section "Remarks" about the characterization of the special case where one argument is held fixed. Now it should be right.
Thanks. Right, you are pointing to the very last clause of what is now this remark. Have fixed it.
1 to 8 of 8