separated morphism
Sign in to savescheme morphism π: πβπ whose diagonal map π β π Γ_π π is a closed immersion
scheme morphism π: πβπ whose diagonal map π β π Γ_π π is a closed immersion
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).