Calculate Categorically! (1992)
by
Maarten Fokkinga
| Venue: | Formal Aspects of Computing |
| Citations: | 4 - 0 self |
BibTeX
@ARTICLE{Fokkinga92calculatecategorically!,
author = {Maarten Fokkinga},
title = {Calculate Categorically!},
journal = {Formal Aspects of Computing},
year = {1992},
volume = {4},
pages = {69--2}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper is an alternative to diagram chasing (4). The use of a standard notation for various unique arrows obviates in some cases the need for pictures for the purpose of naming (2). The need for a pictorial overview of the typing (1) is decreased to some extend by a consistent notation, in particular f ; g for composition (so that f : a ! b g: b ! c ) f
