最終更新日:2022/12/24
With the ensuing notion of composition inherited from the pushout of cospans, we call these equivalence relations \emph{corelations}.
編集履歴(0)
With the ensuing notion of composition inherited from the pushout of cospans, we call these equivalence relations \emph{corelations}.