Yuri Ximenes Martins (~yx)

Mathematics Ph.D
Software Developer
Researcher

contact: yx.dev@gmx.ie

github linkedin arxiv nlab

+----------------------------------------------------------+
|  linux           category theory           axiomatics    |
|                                                          |
|    mathematics     functional programming                |
|                                          homotopy theory |
|   type theory        +-------------+                     |
|                      | abstraction |       foundations   |
|       programming    +-------------+                     |
|                                              teaching    |
| formalism     philosophy          logic       learning   |
|                           vim                            |
|     shell scripting               computer science       |
+----------------------------------------------------------+