nForum - Discussion Feed (minimal Kan fibration)2024-03-29T14:06:36+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Urs comments on "minimal Kan fibration" (56389)https://nforum.ncatlab.org/discussion/6983/?Focus=56389#Comment_563892016-03-03T10:01:01+00:002024-03-29T14:06:36+00:00Urshttps://nforum.ncatlab.org/account/4/
gave minimal Kan fibration some actual content. Definition, list of basic properties, brief indication of their proofs, and some comments on the broader story in the Idea-section.
gave minimal Kan fibration some actual content. Definition, list of basic properties, brief indication of their proofs, and some comments on the broader story in the Idea-section.