AlgebraicJulia / AlgebraicJulia/Catlab.jl

Categories enriched in a preorder

Aberta
#133 2 comentários 1 reação 0 responsáveis Ver no GitHub
Linguagem predominante
Julia
Estrelas
724
Forks
73
Métricas de merge de PRs
Nenhum PR com merge em 30d

Descrição

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.

Guia de contribuição

Abrir o guia de contribuição

Avaliação

Esta issue ainda não foi avaliada.

Receba novas issues na sua caixa de entrada

Um resumo curto de issues do GitHub para quem está começando.