AlgebraicJulia / AlgebraicJulia/GATlab.jl
Morphism theories
Aperta
good first issue
- Lingua principale
- Julia
- Stelle
- 43
- Fork
- 4
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
Given any theory, we should automatically derive a theory of morphisms between instances of that theory.
This should use "parameterized names", so instead of `Literal("foo")`, we should use `Domain(l::Name) <: Name`, `Codomain(l::Name) <: Name`, and `Ap(l::Name) <: Name` for the generated names for elements of the domain, elements of the codomain, and term constructors for the action of the morphism.
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Valutazione
Questa issue non è ancora stata valutata.