Skip to main content
10 events
when toggle format what by license comment
Aug 8, 2023 at 8:45 history edited Andrea Marino CC BY-SA 4.0
deleted 1 character in body
S Aug 5, 2021 at 14:14 history suggested CommunityBot CC BY-SA 4.0
spelling, font
Aug 5, 2021 at 13:36 review Suggested edits
S Aug 5, 2021 at 14:14
Jun 20, 2019 at 15:44 vote accept Andrea Marino
Apr 30, 2019 at 18:11 answer added Yonatan Harpaz timeline score: 11
Apr 30, 2019 at 9:11 comment added Andrea Marino Thanks. I added all the needed details about the definitions I have.
Apr 30, 2019 at 9:10 history edited Andrea Marino CC BY-SA 4.0
Precise context and definitions explained.
Apr 29, 2019 at 20:22 comment added Anton Fetisov What do you mean by the homotopy fiber of a functor? Usually people talk about homotopy fibers when discussing morphisms of spaces, i.e. functors between groupoids, not general categories. In the case of groupoids the formula is indeed the one that you stated. It's often taken as a definition of the homotopy fiber, if you are using some other definition you should state it.
Apr 29, 2019 at 15:05 review First posts
Apr 29, 2019 at 15:07
Apr 29, 2019 at 15:04 history asked Andrea Marino CC BY-SA 4.0