Electronic category theory

This paper describes some experiments in using algebraic and categorical ideas to write programs. In particular a program to compute colimits in a category given coproducts and coequalisers has been written, also one to ‘lift’ such colimits to comma categories. The discussion is informal and aims to show how categorical concepts can be painlessly realised in computational practice.