AlgebraicJulia / AlgebraicJulia/Catlab.jl

Categories enriched in a preorder

Aperta
#133 2 commenti 1 reazione 0 assegnatari Vedi su GitHub
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.

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.