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.
1 to 6 of 6
So I’m writing a paper at the moment, and it turns out that I have a use for the natural/canonical/folk model structure on Str-n-cat for all (including infinite) . Is anyone here aware of a paper that describes it in at least some detail and proves that it is indeed a model structure?
Thanks!
It’s in Lafont-Metayer-Worytkiewicz.
Thanks for the help!
What is Str ?
What is Str ?
Strict
Oh, thanks, it did not occur to me!
1 to 6 of 6