Timeline for Weighted limits and Kan extension in Dist
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 3, 2023 at 6:59 | comment | added | nicolas | Thank you for the reference | |
| May 3, 2023 at 6:57 | vote | accept | nicolas | ||
| May 3, 2023 at 6:57 | comment | added | nicolas | If that's the case, I used a wrong definition for weighted limit. Which only half surprises me as I was questioning the relevance of this definition. | |
| May 3, 2023 at 6:28 | history | answered | varkor | CC BY-SA 4.0 |