Eugenia Cheng

In How to Bake Pi, Cheng starts with familiar decisions from the kitchen before introducing the more abstract habits of category theory. Try it if a formal definition usually reaches you before you can see what problem it solves. The book gives you a way to ask what stays the same when the examples change.