Bartosz Milewski : foncteurs représentables et lemme de Yoneda

Sur le blog de Bartosz Milewski:

Category Theory for Programmers: The Preface

https://bartoszmilewski.com/category/category-theory/

Advertisements
This entry was posted in category theory, Higher category theory, Higher topos theory, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle. Bookmark the permalink.