Calculate categorically!
- 1 November 1992
- journal article
- Published by Association for Computing Machinery (ACM) in Formal Aspects of Computing
- Vol. 4 (Suppl 1) , 673-692
- https://doi.org/10.1007/bf03180568
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.Keywords
This publication has 13 references indexed in Scilit:
- Data structures and program transformationScience of Computer Programming, 1990
- Predicate Calculus and Program SemanticsPublished by Springer Nature ,1990
- Notes on an Approach to Category Theory for Computer ScientistsPublished by Springer Nature ,1989
- Lectures on Constructive Functional ProgrammingPublished by Springer Nature ,1989
- Categories in Computer Science and LogicContemporary Mathematics, 1989
- A typed lambda calculus with categorical type constructorsPublished by Springer Nature ,1987
- Category Theory and Computer ProgrammingPublished by Springer Nature ,1986
- The categorical abstract machinePublished by Springer Nature ,1985
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- Categories for the Working MathematicianPublished by Springer Nature ,1971