Using Category Theory to design implicit conversions and generic operators by John C. Reynolds.
Abstract:
A generalization of many-sorted algebras, called category-sorted algebras, is defined and applied to the language-design problem of avoiding anomalies in the interaction of implicit conversions and generic operators. The definition of a simple imperative language (without any binding mechanisms) is used as an example.
The greatest exposure most people have to implicit conversions is that they are handled properly.
This paper dates from 1980 so some of the category theory jargon will seem odd but consider it a “practical” application of category theory.
That should hold your interest. 😉
I first saw this in a tweet by scottfleischman.