A surprising story of how a computer was taught to prove some theorems in finitely complete categories November 26, 2021 conference math matrix properties research talk +