2095 Commits (master)
 

Author SHA1 Message Date
Evan Patterson de12d4be40
Merge pull request #529 from epatters/diagram-cats 8 hours ago
Evan Patterson e1649bd8d4 ENH: Function to check whether finitely presented cat is discrete. 4 days ago
Evan Patterson 1b1a9183f3 ENH: Convenience constructors for functors out of discrete categories. 5 days ago
Evan Patterson 17a6216fd6 ENH: Categories of diagrams in a fixed category. 5 days ago
Evan Patterson c23d6cf7fe
Merge pull request #526 from epatters/cat-as-2-category 5 days ago
Evan Patterson 00ffa7c9d0 ENH: Consistent interface to control checking morphism equality. 5 days ago
Evan Patterson d5534d3cf2
Merge pull request #527 from epatters/tabular-sets 6 days ago
Evan Patterson 62019d59b1 REFACTOR: Unify vector- and dict-based functors and transformations. 6 days ago
Evan Patterson 14cec53374 ENH: Data structure for discrete categories. 1 week ago
Evan Patterson 716157c157 ENH: Preliminary implementation of the 2-category of categories. 1 week ago
Evan Patterson 8b9826bc1e CLEANUP: Rename internal function `compose_impl` to `do_compose`. 1 week ago
Evan Patterson 2a89d358f2 ENH: Include whiskering in theory of 2-categories. 1 week ago
Evan Patterson af44d3dd86 REFACTOR: Use `*` instead of `⋆` for horizontal composition. 1 week ago
Evan Patterson f50aa76fbd ENH: Basic data structures for natural transformations. 2 weeks ago
Evan Patterson 2d44edd3da REFACTOR: Separate structs for vector-based and dict-based functors. 2 weeks ago
Evan Patterson 0b36cd0995
Merge pull request #525 from epatters/diagram-macros 1 week ago
Evan Patterson b434c9260c ENH: Macro `@diagram` with DSL for defining diagrams in a category. 2 weeks ago
Evan Patterson 12db258435 ENH: Macro `@category` with DSL for presenting categories. 2 weeks ago
Evan Patterson 9b526366e7 ENH: Macro `@graph` with DSL for constructing graphs. 2 weeks ago
Evan Patterson 0a756fc6d5 DOC: Fix/remove some broken cross-references. 2 weeks ago
Evan Patterson 1cd367481b DOC: Brief overview of the `Programs` module. 2 weeks ago
Evan Patterson 94e8e0f890
Merge pull request #528 from epatters/loose-acset-homs-incompat 1 week ago
Evan Patterson d9b63e4a20 BUG: Fix backwards incompatibility in ACSetTransformation type params. 1 week ago
Evan Patterson a1ff035b5d ENH: Tables.jl-compliant tables as finite sets. 1 week ago
Evan Patterson 1b9e7bec29 REFACTOR: Create abstract type for FinSets. 1 week ago
Evan Patterson a4887148bd
Merge pull request #519 from epatters/loose-acset-morphisms 2 weeks ago
Evan Patterson 8932b65ffe ENH: Pullbacks of C-sets with attributes. 2 weeks ago
Evan Patterson 386e0a23ab CLEANUP: Use type dispatch to distinguish tight vs loose acset limits. 2 weeks ago
Evan Patterson 4ae38bfdb3 ENH: Products of C-sets with attributes. 2 weeks ago
Evan Patterson 5607045b7e REFACTOR: Replace `diagram_ob_type` with `diagram_type`. 2 weeks ago
Evan Patterson d2b71a1613 ENH: Loose morphisms of attributed C-sets. 3 weeks ago
Evan Patterson 1752163b37
BUILD: Release Catlab v0.13.2. 2 weeks ago
Evan Patterson 70acb8d498
Merge pull request #524 from epatters/refactor-cat-interface 2 weeks ago
Evan Patterson 9ba63807e9
Merge pull request #521 from bosonbaas/adom_acodom_order 2 weeks ago
bosonbaas 0e32bde990 Added changes to codom_nums and dom_nums 2 weeks ago
bosonbaas e6df770feb Added test which demonstrates bugfix 2 weeks ago
bosonbaas 87968f399f BUGFIX: Fixing order inconsistency in adom_nums and acodom_nums 2 weeks ago
Evan Patterson f1ee03cb28 ENH: Coerce objects/morphisms in `TypeCat` using generic interface. 2 weeks ago
Evan Patterson ec6df50a70 REFACTOR: Generic interface to retrieve objects/morphisms by name. 2 weeks ago
Evan Patterson 4a6337eacc REFACTOR: Generic interface for category relative to Julia object. 2 weeks ago
Evan Patterson a8c43f810c
Merge pull request #523 from bosonbaas/node_equality 2 weeks ago
bosonbaas 84cfd275df ENH: Added equality and has operators for Edge and NodeID 2 weeks ago
Evan Patterson b9a9d189fa
Merge pull request #518 from epatters/fincats 2 weeks ago
Evan Patterson 386f15d562 CLEANUP: Clean up and document basic interface for functors. 3 weeks ago
Evan Patterson 41fdacdc6f ENH: Make generic interface for functors and convert `DataMigration`. 3 weeks ago
Evan Patterson e63bc2fb06 ENH: Categories and functors based on `Presentation`s. 3 weeks ago
Evan Patterson d9c8302462 ENH: Category presented by graph plus path equations. 3 weeks ago
Evan Patterson fa7d166b85 ENH: Interoperability between `FinDomFunctor`s and `FreeDiagram`s. 3 weeks ago
Evan Patterson f6be26191a ENH: Generalize `FinFunctor` to `FinDomFunctor`. 3 weeks ago
Evan Patterson 3ac1f4f334 ENH: Convenience function to construct graph with parallel edges. 3 weeks ago