AlgebraicJulia/Catlab.jl

Exponentials in FinSet

Open

#554 opened on Nov 4, 2021

View on GitHub
 (2 comments) (0 reactions) (0 assignees)Julia (706 stars) (68 forks)batch import
enhancementgood first issue

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.

Contributor guide

Tech stack
None
Domain
backend
Issue type
feature
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
4
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
1-2 days
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
stale
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
clear
Prerequisites
Julia programmingCategory theory basicsCatlab.jl libraryFinite sets
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
40
Research direction
Research the existing FinSet implementation in Catlab.jl to understand how finite sets and morphisms are represented. Implement a function that computes the exponential object (set of all functions) for two finite sets A and B, potentially by generating all possible mappings. Consider leveraging existing categorical constructs in the library. Check any related discussions in the issue comments for further guidance.