AlgebraicJulia/Catlab.jl

Exponentials in FinSet

Open

#554 aperta il 4 nov 2021

Vedi su GitHub
 (2 commenti) (0 reazioni) (0 assegnatari)Julia (68 fork)batch import
enhancementgood first issue

Metriche repository

Star
 (706 star)
Metriche merge PR
 (Nessuna PR mergiata in 30 g)

Descrizione

Given two FinSets A, B is there some computation that creates the set of all functions in Hom(A, B)? For example if A has 5 elements and B has 2, there should be 32 functions in the set f: A->B.

Guida contributor

Direzione di ricerca
Implementa l'oggetto esponenziale in FinSet costruendo l'insieme di tutte le funzioni tra due insiemi finiti. Esamina le implementazioni esistenti di teoria delle categorie e il tipo FinSet in Catlab.
Tech stack
Nessuno
Dominio
backend
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Mezza giornata
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
Category theoryJulia
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
50