AlgebraicJulia/Catlab.jl

Exponentials in FinSet

Open

#554 geöffnet am 4. Nov. 2021

Auf GitHub ansehen
 (2 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Julia (68 Forks)batch import
enhancementgood first issue

Repository-Metriken

Stars
 (706 Stars)
PR-Merge-Metriken
 (Keine gemergten PRs in 30 T)

Beschreibung

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.

Contributor Guide

Research-Richtung
Implementieren Sie das Exponentialobjekt in FinSet, indem Sie die Menge aller Funktionen zwischen zwei endlichen Mengen konstruieren. Recherchieren Sie vorhandene kategorientheoretische Implementierungen und den FinSet Typ in Catlab.
Tech Stack
Keine
Domain
backend
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
Halber Tag
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
Category theoryJulia
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
50