[neonological]

>>> Category theory is the stem cell that differentiates into and lies at the root of all pure mathematics. ["All forms of pure math" is also written on the slides.]

I would say this statement is not false. It does seem to lie at the root and is an alternative to set theory which means that mathematics can be perceived with category theory as it's foundation. Whether an actual written CT reformalization has been executed within all the pure mathematical sub fields or whether doing an actual formalization from the perspective of CT will be a benefit at all is another topic all together.

I agree that category theory is not popular. However I feel software engineers should have interest in it as Category theory looks to intersect with an area of software engineering that is currently done ad-hoc style with just gut feelings.

If you squint, Category theory looks to be a formalized theory for the design and complexity of modules. Fully understanding Category theory and how it applies to software could lead to a future where design and architecture is "calculated" rather then "designed."