Calculate categorically!

M.M. Fokkinga

    Research output: Contribution to journalArticleAcademicpeer-review

    7 Citations (Scopus)
    75 Downloads (Pure)

    Abstract

    Diagram chasing is an established proof technique in Category Theory. Algebraic calculation is a good alternative; made possible thanks to a notation for various unique arrows and a suitable formulation of initiality, and the calculational properties brought forward by initiality.
    Original languageUndefined
    Pages (from-to)673-692
    Number of pages20
    JournalFormal aspects of computing
    Volume4
    Issue number4
    DOIs
    Publication statusPublished - 1992

    Keywords

    • EWI-6291
    • METIS-118555
    • IR-66235

    Cite this