Kris Brown
Kris Brown
I can eventually do a PR with some tests with Sets / Dicts of C-sets.
Hm this error is weird because it seems to be in a completely unrelated file. For generating docs locally: running `docs/make.jl` in the environment of that folder, I cannot build...
Since it's quite common in Catlab for methods to not have return types but uncommon to have pseudo-docstrings with `#`, I'd opt for removing the return type.
This is being addressed in https://github.com/AlgebraicJulia/Catlab.jl/pull/615
The pullback part of this is called `hom_inv` in https://github.com/AlgebraicJulia/Catlab.jl/pull/605
Would something like this be helpful to implement? ``` CSetTransformation with elements V = 3↦2, E = 2↦3 ┌────┬──────┬───┐ │ V │ refl │ → │ ├────┼──────┼───┤ │ 1 │...
Make sense! And yeah, that sounds right. So this is definitely more of a feature request than a bug.
I have not. No special insights - I’d just do “dom” “codom” and “components” keys. If we wanted to do diagram to json then this would be a special case...
here's a recent use case: in all of our labelled Petri net stratification demos, we define a labeled petri net `typed` (with transitions labelled, e.g., "infect", "disease", "strata") and then...
More thoughts on the limit-y half of this code. The implementation in this PR is limited to `type_components` which you can take `preimage` of, so if you wanted to take...