The idea that propositional logic could be represented as a category is what opened my mind to the power of what categories might be able to do.