Category theory is the precise way that you check if structures in one branch of math represent the same structures somewhere else. It’s a remarkable field of meta-mathematics that nearly no one knows… and it could hold the keys to importing useful tools to help solve dilemmas in self-reference, truth, and consistency.
Do you know why this book is on the MIRI course list? What is the connection to Friendly AI?
From the course list.