and your category consists of objects that are all...

# arrow

[Bob Glamm]

and your category consists of objects that are all representations of all your programs and morphisms are the transformations (compilers) between those representations.