Timeline for The concept of duality
Current License: CC BY-SA 4.0
26 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 6, 2023 at 15:36 | history | edited | Esa Pulkkinen | CC BY-SA 4.0 |
added 145 characters in body
|
| May 6, 2023 at 14:41 | history | edited | Esa Pulkkinen | CC BY-SA 4.0 |
spelling
|
| Jan 24, 2021 at 16:17 | history | edited | Esa Pulkkinen | CC BY-SA 4.0 |
added 13 characters in body
|
| Jan 24, 2021 at 15:57 | history | edited | Esa Pulkkinen | CC BY-SA 4.0 |
added 3 characters in body
|
| Jan 24, 2021 at 15:51 | history | edited | Esa Pulkkinen | CC BY-SA 4.0 |
added 41 characters in body
|
| Jan 24, 2021 at 15:44 | history | edited | Esa Pulkkinen | CC BY-SA 4.0 |
Expand with clarifixation for inverting arrows
|
| Jan 20, 2021 at 0:32 | history | edited | Esa Pulkkinen | CC BY-SA 4.0 |
added 373 characters in body
|
| Jan 19, 2021 at 23:33 | history | edited | Esa Pulkkinen | CC BY-SA 4.0 |
deleted 62 characters in body
|
| Jan 19, 2021 at 23:20 | history | edited | Esa Pulkkinen | CC BY-SA 4.0 |
added 2 characters in body
|
| Jan 19, 2021 at 23:10 | history | edited | Esa Pulkkinen | CC BY-SA 4.0 |
added 57 characters in body
|
| Jan 19, 2021 at 22:58 | history | edited | Esa Pulkkinen | CC BY-SA 4.0 |
Add speculation
|
| Jan 19, 2021 at 22:42 | history | edited | Esa Pulkkinen | CC BY-SA 4.0 |
added 171 characters in body
|
| Jan 19, 2021 at 22:12 | history | edited | Esa Pulkkinen | CC BY-SA 4.0 |
added 31 characters in body
|
| Jan 19, 2021 at 22:04 | history | edited | Esa Pulkkinen | CC BY-SA 4.0 |
Coexponentials
|
| Jan 19, 2021 at 20:57 | history | edited | Esa Pulkkinen | CC BY-SA 4.0 |
Clarify,. not proposing existence of normal products.
|
| Jan 19, 2021 at 20:49 | history | edited | Esa Pulkkinen | CC BY-SA 4.0 |
Use of coproduct laws
|
| Jan 19, 2021 at 19:34 | history | edited | LSpice | CC BY-SA 4.0 |
`\\` in `$$` seems to ignore remaining content; converted to `{gather}`
|
| Jan 19, 2021 at 19:14 | history | edited | Esa Pulkkinen | CC BY-SA 4.0 |
deleted 1 character in body
|
| Jan 19, 2021 at 19:04 | history | edited | Esa Pulkkinen | CC BY-SA 4.0 |
Clarify notation of isomorphisms
|
| Jan 19, 2021 at 18:12 | history | edited | Esa Pulkkinen | CC BY-SA 4.0 |
added 6 characters in body
|
| Jan 19, 2021 at 18:05 | history | edited | Esa Pulkkinen | CC BY-SA 4.0 |
[Edit removed during grace period]; added 5 characters in body
|
| Jan 19, 2021 at 18:00 | history | edited | Esa Pulkkinen | CC BY-SA 4.0 |
Add data about categorical products.
|
| Jan 19, 2021 at 6:28 | comment | added | მამუკა ჯიბლაძე | ...between sets and complete atomic Boolean algebras; has been generalized by Paré and Mikkelsen to a duality between any elementary topos and its internal complete atomic Heyting algebras. | |
| Jan 19, 2021 at 6:19 | history | edited | Esa Pulkkinen | CC BY-SA 4.0 |
added 50 characters in body
|
| S Jan 19, 2021 at 6:02 | history | answered | Esa Pulkkinen | CC BY-SA 4.0 | |
| S Jan 19, 2021 at 6:02 | history | made wiki | Post Made Community Wiki by Esa Pulkkinen |