formatting, cat thy
natural transformation
more natural transformation, category equivalence