Evan Patterson
Evan Patterson
Thanks for this useful package! I am currently setting up both PkgBenchmark and BenchmarkCI in the same branch of my repo. As a result, the file `benchmark/benchmarks.jl` does not exist...
The `Graphs` module has built-in support for Graphviz drawing of graphs. It should also support visualizing graph homomorphisms. A starting point is in #555, which visualizes the codomain graph using...
Multiple inheritance of signatures would be useful in many situations, e.g. to say that dagger compact category inherits from both dagger category and compact closed category. As usual in these...
The syntax system needs expressions for representing equality between morphisms or other terms. In a bicategory of relations, we also need expressions for subsumptions. Both equalities and subsumptions can be...
Define the generalized algebraic theory of groupoids, `Groupoid`, extending the theory of categories, `Category`, with another term constructor and two axioms. Good first issue to learn the basics of GATs.
Pretty-print GATs as LaTeX in both of the following styles: 1. Cartmell-style linear notation 2. natural-deduction-style tree notation The examples above depict the theory of monoids and are taken from...
It is an embarrassing state of affairs that after so long, we still have the default `show` method for presentations, which is unreadable. We should implement custom `show` methods, one...
Thanks to @slibkind's PR #433, we now have a first implementation of the left pushforward data migration functor for C-sets. Given a functor F: C -> D between schemas, the...
PR #467 implemented the bi-Heyting algebra of sub-C-sets, which is the propositional fragment of the logic of a presheaf topos. We should upgrade it to predicate logic, which would involve...