Back to University of Twente portal
Calculate categorically!
Fokkinga, Maarten M. (1992) Calculate categorically! Formal Aspects of Computing, 4 (6A). pp. 673-692. ISSN 0934-5043
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| PDF 228Kb |
| 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. |
| Item Type: | Article |
| Faculty: | Electrical Engineering, Mathematics and Computer Science (EEMCS) |
| Research Group: | |
| Link to this item: | http://purl.utwente.nl/publications/66235 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page
Metis ID: 118555