Computational Paths and the Fundamental Groupoid of a Type

descriptionPublicationkeyboard_double_arrow_right Article , Preprint , Other literature type 18 Jul 2021Embargo end date: 01 Jan 2015Publisher:Sociedade Brasileira de Computação - SBCJournal:Anais do VI Encontro de Teoria da Computação (ETC 2021)

Authors: Arthur F. Ramos; Ruy J. G. B. de Queiroz; Anjolina Grisi de Oliveira;

doi: 10.5753/etc.2021.16371 , 10.48550/arxiv.1509.06429

arXiv: 1509.06429

Computational Paths and the Fundamental Groupoid of a Type

- Summary
- Subjects
- Metrics

Abstract

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.

Related Organizations

UNIVERSIDADE DE SAO PAULO
Brazil
Universidade Federal de Pernambuco
Brazil

Keywords

FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic in Computer Science (cs.LO)

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	2
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

2

Average

Green

bronze

Fields of Science (4) View all

Fields of Science