C. T. Burton

• Theory morphisms and their natural transformations viewed computationally