nForum - Discussion Feed (cone type)2024-03-29T12:52:32+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Mike Shulman comments on "cone type" (90206)https://nforum.ncatlab.org/discussion/12405/?Focus=90206#Comment_902062021-03-04T18:05:24+00:002024-03-29T12:52:32+00:00Mike Shulmanhttps://nforum.ncatlab.org/account/3/
Mention construction as a pushout, and contractibility.
diff, v2, current
Mention construction as a pushout, and contractibility.
]]>
Guest comments on "cone type" (90205)https://nforum.ncatlab.org/discussion/12405/?Focus=90205#Comment_902052021-03-04T17:13:34+00:002024-03-29T12:52:32+00:00Guesthttps://nforum.ncatlab.org/account/21/
Whoops, forgot to add comments. Basically a homotopical cone in homotopy type theory.
Whoops, forgot to add comments. Basically a homotopical cone in homotopy type theory.
]]>
nLab edit announcer comments on "cone type" (90204)https://nforum.ncatlab.org/discussion/12405/?Focus=90204#Comment_902042021-03-04T17:10:23+00:002024-03-29T12:52:32+00:00nLab edit announcerhttps://nforum.ncatlab.org/account/1691/
Page created, but author did not leave any comments.
Anonymous
v1, current
Page created, but author did not leave any comments.