Owen Lynch
Owen Lynch
Well, don't get too excited; I'm working out Functors and MonoidalFunctors now, and we'll see how that goes before I attempt that.
Oh, awesome!
Yeah, we already don't really enforce the equations, so I think it's generally fine to have things in the schema that don't come into the presentation. Julia just doesn't have...
Now that I think of it, can we enrich over arbitrary acsets? :eyes:
Theoretically, we could even add type-checking to this!
Yeah, I'm totally not attached to `with_names`, it was just the first thing I thought of. I'm also not attached to `@present_acset`; I would definitely be up for changing that...
I'm not sure exactly how that would work, can you elaborate with an example? If I'm parsing what you are saying correctly, then I think it might only work in...
1. `@named_acset` doesn't really get me going, but I don't have that strong of an opinion; if we don't come up with anything else I'd be happy to call it...
One thing is that it doesn't actually make sense to declare an arbitrary range `3:7 :: V` if we haven't declared vertices 1 and 2 yet. So I think we...
Hell, if we wanted to be *really* fancy, we could have something like ```julia @acset DecGraph{Symbol} begin (w,x,y,z) :: V @define E(src,tgt,!dec), formula = src -> tgt begin a =...