nForum - Discussion Feed (model structure for homotopy n-types)2024-03-29T00:09:31+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Tim_Porter comments on "model structure for homotopy n-types" (37155)https://nforum.ncatlab.org/discussion/4549/?Focus=37155#Comment_371552012-11-24T10:43:26+00:002024-03-29T00:09:31+00:00Tim_Porterhttps://nforum.ncatlab.org/account/6/
I added a reference to Julia Cabello’s thesis. (I don’t think it exists online.)
I added a reference to Julia Cabello’s thesis. (I don’t think it exists online.)
]]>
Urs comments on "model structure for homotopy n-types" (37134)https://nforum.ncatlab.org/discussion/4549/?Focus=37134#Comment_371342012-11-23T16:18:32+00:002024-03-29T00:09:31+00:00Urshttps://nforum.ncatlab.org/account/4/
I could have sworn that we already had the following entry, but it seems we didn’t. Now we do:
model structure for homotopy n-types.
I could have sworn that we already had the following entry, but it seems we didn’t. Now we do: