Mathematics

Topics I find interesting in mathematics.

Type theory

For an introduction to type theory see NCatLab.

For proof assistants, see:

• my writings on Agda.

Theoretical resources on homotopy type theory:

• The univalence book.
• Seminars HoTTEST.

Machine learning

• Deep learning, see Deep learning in Python