search

AlgebraicJulia / Catlab.jl

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

Enumerate subobjects of acsets with attribute variables #887

Closed kris-brown closed 4 months ago

kris-brown commented 4 months ago

Previously, subobject enumeration would error if performed on an ACSet with AttrVars.

This PR implements the following behavior: when a subobject is taken such that certain AttrVars are no longer referred to, we remove those AttrVars from the subobject, too.