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.
    • CommentAuthorPeter Heinig
    • CommentTimeJul 25th 2017
    • (edited Jul 31st 2017)

    Changed 201707051620.

    Metadata. by-and-large, cf. this thread. A difference to 201707051600 is that here what A 2-Categorical Pasting Theorem, Journal of Algebra 129 (1990) calls a “boundary of the face F” is indicated by bold arrows.

    EDIT: (proof of necessity of hypothesis in [A 2-Categorical Pasting Theorem, Journal of Algebra 129 (1990] and relevance to 201707051600 temporarily removed, to make it more uniform)

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeJul 25th 2017
    • (edited Jul 25th 2017)

    Hey Peter,

    in the other thread we seemed to have agreed that before you go on producing miscellania whose purpose is hard to discern for us, you instead begin practicing the kind of edits that we are after here, which is decent mathematical text roughly of the kind that is customary from textbooks and research articles.

    I repeat my suggestion from the other thread: Try to look into bringing the entry digraph, which you had started, into a decent form. Meanwhile, don’t be distracted by other activity.