We're using applied category theory quite heavily in the design and implementation of the categorical query language CQL: https://www.categoricaldata.net . There category theory gave us algorithms that are missing from SQL (such as for left Kan extensions) and the ability to do extended compile time checking of queries against data integrity constraints; for most of CQL internals, it's unclear how you could make it work without category theory.