Talk:Meet and join: Difference between revisions
Dave Keenan (talk | contribs) No edit summary |
No edit summary |
||
| Line 194: | Line 194: | ||
--[[User:Cmloegcmluin|Cmloegcmluin]] ([[User talk:Cmloegcmluin|talk]]) 00:33, 29 June 2021 (UTC) | --[[User:Cmloegcmluin|Cmloegcmluin]] ([[User talk:Cmloegcmluin|talk]]) 00:33, 29 June 2021 (UTC) | ||
== Duality == | |||
Is there a proof somewhere of the duality, ie that join on kernel <=> meet on map? (And vice versa) | |||
I'm convinced this is true, but it is not obvious at all. | |||
- [[User:Sintel|Sintel]] ([[User talk:Sintel|talk]]) 13:51, 23 December 2021 (UTC) | |||