AlgebraicJulia / AlgebraicJulia/GATlab.jl
Convenience for declaring isomorphisms
未關閉
good first issue
- 主要語言
- Julia
- 星號
- 43
- 分支
- 4
- PR 合併指標
- 30 天內沒有已合併 PR
描述
It takes 4 declarations to declare an isomorphism in a category; you have to declare the forwards and backwards directions, and then you have to have two equalities for the composites.
There should be a macro or something that declares an isomorphism, and then gives programmatic `Name`s to the forwards and backwards directions and equalities.
Are there other scenarios like this that we might want shorthand for? What's the general solution to things like this?
貢獻指南
這個儲存庫沒有索引到貢獻指南
評估
這個 Issue 還沒有評估資料。