Timeline for Would it be possible to propose a satisfying categorical definition for the notion of basis?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 6, 2023 at 8:32 | comment | added | Simon Henry | Interesting, I think the notion of minimal generating familly generalize the notion in the question, and includes things like Hilbert basis... | |
| May 5, 2023 at 10:07 | comment | added | Contactomorph | I'm very curious about this unexpectedly simple definition for generating families. Could we leverage it to define "minimally generating families" ? (= for which any subfamily is not generating anymore). Would that be equivalent to the definition for a base proposed in the OP or would we get a more general concept ? | |
| Apr 23, 2023 at 15:33 | history | edited | LSpice | CC BY-SA 4.0 |
Typos
|
| Apr 23, 2023 at 14:57 | history | edited | Simon Henry | CC BY-SA 4.0 |
added 140 characters in body
|
| Apr 23, 2023 at 14:18 | history | answered | Simon Henry | CC BY-SA 4.0 |