AlgebraicJulia/Catlab.jl

Exponentials in FinSet

オープン

#554 opened on 2021/11/04

GitHub で見るコントリビューターガイド
 (2 件のコメント) (0 件のリアクション) (0 人の担当者)Julia (68 件のフォーク)batch import
enhancementgood first issue

Repository metrics

Stars
 (706 個のスター)
PR merge metrics
 (平均マージ 17d 19h) (30d で 2 merged PRs)

説明

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.

コントリビューターガイド

調査方針
FinSetの指数オブジェクトを実装するために、2つの有限集合間のすべての関数の集合を構築します。既存の圏論の実装とCatlabのFinSet型を調査してください。
技術スタック
なし
領域
backend
Issue 種別
機能
難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。
3
推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。
半日
活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。
アクティブ
明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。
明確
前提条件
Category theoryJulia
初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。
50