加载中…
2025-03-17
Equ-saturating categories
Dominique Bourn
文献摘要
Starting from the varietal notion of syntactic equivalence relation, we generalized it to a categorical concept; namely Equ-saturating category. We produce various examples and focuse our attention on the protomodular context in which any equivalence relation is then shown to have a centralizer.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本