Timeline for Where does the definition of ($\infty$-)groupoid cardinality come from?
Current License: CC BY-SA 4.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 24, 2023 at 19:25 | vote | accept | Matthew Niemiro | ||
| Dec 24, 2023 at 7:07 | comment | added | James E Hanson | I do not have nearly enough understanding to really back this up, but the alternating product really smells like an inclusion-exclusion principle (albeit logarithmic). When you count a point, you overcount by a factor of $|\pi_1(x)|$, so you divide by that, but then you overcounted the amount of symmetry, so you need to multiply by $|\pi_2(x)|$, etc. Perhaps there could be a probabilistic interpretation along these lines? | |
| Dec 23, 2023 at 18:34 | history | edited | LSpice | CC BY-SA 4.0 |
`X/\sim` -> `X/{\sim}`, name of link, and other tidying
|
| Dec 23, 2023 at 18:21 | history | edited | Matthew Niemiro | CC BY-SA 4.0 |
deleted 3 characters in body
|
| Dec 23, 2023 at 17:50 | history | edited | Matthew Niemiro | CC BY-SA 4.0 |
added 3 characters in body
|
| Dec 23, 2023 at 15:06 | history | edited | Matthew Niemiro | CC BY-SA 4.0 |
deleted 27 characters in body
|
| Dec 23, 2023 at 15:05 | comment | added | Matthew Niemiro | @HarryWilson Oops you're right. Corrected. | |
| Dec 23, 2023 at 14:53 | comment | added | Harry Wilson | An ordinary groupoid is a 1-groupoid, no? | |
| Dec 23, 2023 at 14:34 | history | edited | Matthew Niemiro | CC BY-SA 4.0 |
added 151 characters in body
|
| Dec 23, 2023 at 1:12 | answer | added | Phil Tosteson | timeline score: 18 | |
| Dec 23, 2023 at 0:54 | history | edited | Matthew Niemiro | CC BY-SA 4.0 |
added 2 characters in body
|
| Dec 23, 2023 at 0:48 | history | asked | Matthew Niemiro | CC BY-SA 4.0 |