Open AccessComputational Paths and the Fundamental Groupoid of a Type
Author(s) -
Arthur Ramos,
Ruy J. G. B. de Queiroz,
Anjolina Grisi de Oliveira
Publication year - 2021
Language(s) - English
Resource type - Conference proceedings
DOI - 10.5753/etc.2021.16371
Subject(s) - computer science , type (biology) , path (computing) , algebra over a field , mathematics , geology , programming language , pure mathematics , paleontology
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.