- split coequalizer
- мат. расщепленный коэквализатор
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Coequalizer — In category theory, a coequalizer (or coequaliser) is a generalization of a quotient by an equivalence relation to objects in an arbitrary category. It is the categorical construction dual to the equalizer (hence the name). Contents 1 Definition… … Wikipedia
Beck's monadicity theorem — In category theory, a branch of mathematics, Beck s monadicity theorem asserts that a functor :U: C o Dis monadic if and only if # U has a left adjoint; # U reflects isomorphisms; and # C has coequalizers of U split coequalizer pairs, and U… … Wikipedia
Epimorphism — In category theory an epimorphism (also called an epic morphism or an epi) is a morphism f : X rarr; Y which is right cancellative in the following sense: : g 1 o f = g 2 o f implies g 1 = g 2 for all morphisms g 1, g 2 : Y rarr; Z .Epimorphisms… … Wikipedia