nForum - Discussion Feed (closed injections are embeddings)2024-03-28T17:29:25+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Urs comments on "closed injections are embeddings" (62633)https://nforum.ncatlab.org/discussion/7758/?Focus=62633#Comment_626332017-05-12T22:54:39+00:002024-03-28T17:29:25+00:00Urshttps://nforum.ncatlab.org/account/4/
a really tiny lemma, but I gave it an entry such as to have an easier time pointing to it: closed injections are embeddings