Owen Lynch
Owen Lynch
Very small change.
Is it possible to highlight wikilinks that point to pages that haven't been created, similar to the way wikipedia does it?
I want there to be a method on a `Var[A]` that takes in a function `A -> (A,B)` and returns a `B`. This would be a generalization of `update`. This...
If you put some of the math equations between dollar signs, pandoc can convert them to mathml in HTML and regular latex in pdf. This would make reading some of...
This is my first time writing any serious formalization in Coq, if you could give me code feedback that would be great! Also, I hope that this is useful. I...
I was inspired to write this while reading Sophie Libkind's post; there was a section where she created an acset and I thought "there must be a better way." Example...
It's best to let the test code speak for itself ``` julia using Catlab.Theories, Catlab.Present, Catlab.CategoricalAlgebra.PACSets @present TheoryMatrixGraph(FreeMonoidalSchema) begin V::Ob EdgeTy::AttrType edges::Attr(V ⊗ V, EdgeTy) end @pacset_type MatrixGraph(TheoryMatrixGraph) # Intelligently...
PR #350 allows for any Tables.jl-compliant data structure to be used for ACSets. I am creating this issue to record that one of the reasons that we want this is...
Writing down this issue so that we remember that there were a couple of small performance regressions with struct acsets, and it would be good to see if we can...
At its core, an acset is just - A finite set of primary keys for each object in the schema - A FinDomFunction for every morphism, (which can be indexed)...