hasQuotientMapFrom

P186433
predicate

Indicates that there exists a quotient map from one space or structure onto another, making the latter the quotient of the former under some equivalence relation or identification.

All labels observed (2)

Label Occurrences
hasQuotientIsomorphicTo 1
hasQuotientMapFrom canonical 1

Description generation (PDg)

The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.

Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning.  
# Instructions
Focus on describing the relationship, not the entities themselves. 
# Response Format
Begin the description with \' Indicates...\'
Input
Predicate: hasQuotientMapFrom
Generated description
Indicates that there exists a quotient map from one space or structure onto another, making the latter the quotient of the former under some equivalence relation or identification.

Sample triples (2)

Subject Object
PSL(2,ℂ)
linked to: PSL(2,\mathbb{C})
SL(2,ℂ)
S5 C2 via predicate surface "hasQuotientIsomorphicTo"