AlgebraicJulia / AlgebraicJulia/Catlab.jl
Categories enriched in a preorder
Aperta
- Lingua principale
- Julia
- Stelle
- 724
- Fork
- 73
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
Once we have a doctrine for preorders, we should be able to model V-enrichment. That is to say, take a presentation of X and assign to each Hom(x,y) an element of V. Then we can use matrix multiplication to interrogate X. This is based on Ch 2 of 7 sketches.
Guida per i contributori
Apri la guida per i contributori
Valutazione
Questa issue non è ancora stata valutata.