Mike Shulman comments on "(hyperconnected,localic)" (14638)
https://nforum.ncatlab.org/discussion/1671/?Focus=14638#Comment_14638
2010-08-02T08:10:31+00:00
2024-03-28T12:34:08+00:00
Mike Shulman
https://nforum.ncatlab.org/account/3/
Created localic geometric morphism and hyperconnected geometric morphism.
Created localic geometric morphism and hyperconnected geometric morphism.
]]>