search

AlgebraicJulia / Catlab.jl

A framework for applied category theory in the Julia language
https://www.algebraicjulia.org
MIT License
608 stars 58 forks source link

Subobject with attribute variables #808

Closed kris-brown closed 1 year ago

kris-brown commented 1 year ago

Biheyting logic for acsets with variables