Quotient by an equivalence relation
id:
quotient-by-an-equivalence-relation-246-12207358
title:
Quotient by an equivalence relation
text:
In mathematics, given a category C, a quotient of an object X by an equivalence relation f : R → X × X is a coequalizer for the pair of maps where R is an object in C and "f is an equivalence relation" means that, for any object T in C, the image of f : R = Mor → X × X is an equivalence relation; that is, a reflexive, symmetric and transitive relation. The basic case in practice is when C is the category of all schemes over some scheme S. But the notion is flexible and one can also take C to b
brand slug:
wiki
category slug:
encyclopedia
description:
Generalization of equivalence classes to scheme theory
original url:
https://en.wikipedia.org/wiki/Quotient_by_an_equivalence_relation
date created:
date modified:
2023-11-28T18:48:08Z
main entity:
{"identifier":"Q25098739","url":"https://www.wikidata.org/entity/Q25098739"}
image:
fields total:
13
integrity:
14