AlgebraicJulia/Catlab.jl

Exponentials in FinSet

Open

#554 aberto em 4 de nov. de 2021

Ver no GitHub
 (2 comments) (0 reactions) (0 assignees)Julia (68 forks)batch import
enhancementgood first issue

Métricas do repositório

Stars
 (706 stars)
Métricas de merge de PR
 (Nenhuma PRs mesclada em 30d)

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.

Guia do colaborador

Direção de pesquisa
Implemente o objeto exponencial em FinSet construindo o conjunto de todas as funções entre dois conjuntos finitos. Pesquise implementações existentes de teoria das categorias e o tipo FinSet no Catlab.
Pilha de tecnologia
None
Domain
backend
Tipo Issue
Funcionalidade
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
3
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
Meio dia
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
Category theoryJulia
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
50