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.
added to transferred model structure a simple remark in a subsection Enrichement on conditions that allow to transfer also an enriched model structure.
(The example I am thinking of is transferring the sSet-enriched model structure on cosimplicial rings to one on cosimplicial smooth algebras. But I won’t type that into the entry for the moment…)
added to transferred model structure the (trivial) remark that transfer preserves right properness.
The second diagram in this proof is another garbled one. But when I copy and paste it at the Sandbox it looks fine. This is really weird (and a serious bug)!
The other examples of this bug I encountered yesterday are here. Are other people seeing it too?
Yes, I’m seeing these problems too.
Thanks for raising. Cannot look into it now, but will do at the earliest opportunity. Thanks for trying out the new features, this is the best way to get them into ship shape :-).
Not forgotten about this, but could not get to it today unfortunately.
In light of the now-known fact that any accessible wfs can be both left- and right-transferred, hence any accessible model category can be both left- and right-transferred in the presence of the acyclicity condition of the appropriate handedness, I rewrote this page to be more ambidextrous, specifying “right-transferred” and “left-transferred” as appropriate.
Re-rendered to fix Tikz diagrams. Look fine to me now, but please check.
1 to 14 of 14