Prospects for Category Theory in Aldor