Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeApr 21st 2016

    I have added to coequalizer basic statements about its relation to pushouts.

    In the course of this I brought the whole entry into better shape.

    • CommentRowNumber2.
    • CommentAuthorzskoda
    • CommentTimeMay 21st 2017

    Something is wrong with the terminology in the idea section.

    the projection function p:YY/ p \colon Y \longrightarrow Y/_\sim satisfies

    pf=pg p \circ f = p \circ g

    and in fact pp is universal with this property, hence it “co-equalizes” ff and gg.

    In the standard terminology, one says that pp coequalizes a parallel pair f,gf,g if pf=pgp\circ f = p\circ g, period. No universality. (Co)equalizing is the same as making a (co)cone here, not the same as being a (co)equalizer/universal (co)cone !

    • CommentRowNumber3.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 21st 2017
    • (edited May 21st 2017)

    I agree. It should read to say, “pp is the coequalizer of the maps f,gf, g”. Edit: I made an adjustment there, and also changed the word “projection” to “quotient” since projection is given the specific meaning having to do with products.

    • CommentRowNumber4.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMar 27th 2021

    Added this:

    Coequalizers were defined in the paper

    for any finite collection of parallel morphisms. The paper refers to them as right equalizers, whereas equalizers are referred to as left equalizers.

    diff, v14, current

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeSep 4th 2021

    added pointer to:

    diff, v15, current

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeNov 8th 2021

    added missing link back to regular epimorphism

    diff, v16, current

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeNov 8th 2021

    added (here) statement of two little lemmas relating coequalizers to kernel pairs

    diff, v17, current