AlgebraicJulia/Catlab.jl

Exponentials in FinSet

Open

#554 ouverte le 4 nov. 2021

Voir sur GitHub
 (2 commentaires) (0 réactions) (0 assignés)Julia (68 forks)batch import
enhancementgood first issue

Métriques du dépôt

Stars
 (706 stars)
Métriques de merge PR
 (Aucune PR mergée en 30 j)

Description

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.

Guide contributeur

Direction de recherche
Implémentez l'objet exponentiel dans FinSet en construisant l'ensemble de toutes les fonctions entre deux ensembles finis. Recherchez les implémentations existantes de la théorie des catégories et le type FinSet dans Catlab.
Stack technique
Aucun
Domaine
backend
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
Une demi journée
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
Category theoryJulia
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
50