Open AccessComputational Paths and the Fundamental Groupoid of a Type
Author(s) -
Arthur Ramos,
Ruy J. G. B. de Queiroz,
Anjolina G. de Oliveira
Publication year - 2021
Language(s) - English
Resource type - Conference proceedings
DOI - 10.5753/etc.2021.16371
Subject(s) - leverage (statistics) , computer science , type (biology) , theoretical computer science , algebra over a field , mathematics , pure mathematics , artificial intelligence , ecology , biology
Using computational paths as the fundamental concept, we show that we can leverage Category Theory to propose the concept of fundamental groupoid of a type.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom