Recent Releases of https://github.com/algebraicjulia/catlab.jl
https://github.com/algebraicjulia/catlab.jl - v0.17.0
Catlab v0.17.0
This major release comes with a variety of breaking changes. This guide provides some general advice for getting code which had worked with v0.16 to work with v0.17. The difficulty of migrating the code can vary depending on how deep one's code reaches into Catlab's internals. We start with some easy fixes that should apply to most uses of Catlab:
Interacting with ACSets
ThACSetCategory implementations
The main change with ACSets is that that we do not infer from the ACSet itself (or its morphisms) what kind of category of ACSets we are working with. Although we can make educated guesses sometimes, this is in principle extra data that must be supplied whenever working with ACSets categorically. There are a variety of ThACSetCategory implementations which Catlab comes with:
| Implementation | Has attributes | Mark as Deleted | Has attribute variables | Julia functions in components[^1] |
|:--:|:--:|:--:|:--:|:--:|
| CSetCat | $\times$ | $\times$ | $\times$ | $\times$ |
| ACSetCat | $\checkmark$ | $\times$ | $\times$ | $\times$ |
| MADCSetCat | $\times$ | $\checkmark$ | $\times$ | $\times$ |
| MADACSetCat | $\checkmark$ | $\checkmark$ | $\times$ | $\times$ |
| VarACSetCat | $\checkmark$ | $\times$ | $\checkmark$ | $\times$ |
| MADVarACSetCat | $\checkmark$ | $\checkmark$ | $\checkmark$ | $\times$ |
| LooseACSetCat | $\checkmark$ | $\times$ | $\times$ | $\checkmark$ |
[^1]: Almost always, when attributes are involved, we want maps between ACSets to preserve the attributes on the nose. However, in the category with "loose ACSetTransformations", we allow maps between ACSets to include the data of a Julia function is not the identity function for some type.
Each of these takes in an (arbitrary) ACSet of the kind one wishes to work with. We then wrap the implementation of ThACSetCategory with its designated wrapper type: ACSetCategory.
julia
const 𝒞 = ACSetCategory(CSetCat(Graph()))
Calling methods with ThACSetCategory implementations
Now we can use this piece of data as a parameter for various ACSet-related operations. Presently this can happen in two ways, depending on whether the method we are using belongs to a formal interface (via GATlab) or not. For example, if we call methods(coproduct) we'll see a method whose first argument is GATlab.WithModel. This indicates that we should use coproduct like the following:
julia
G2 = ob(coproduct[𝒞](Graph(1), Graph(1))) # instead of: ob(coproduct(Graph(1), Graph(1)))
Other methods haven't yet been put into a formal interface. E.g. is_natural and homomorphism do not have a WithModel parameter, though they do take keyword arguments. In such cases, homomorphism(X,Y; cat=𝒞) is how we signal which category we want to work in.[^2]
[^2]: If the cat kwarg is not provided, most methods will do their best to silently infer what the right category to work in is, based on the ACSet argument provided.
The hardest place to insert this extra parameter is binary operators like ⊕. These can't be modified with the indexing notation. This is where the @withmodel macro is helpful.
julia
@withmodel TypedCatWithCoproducts(𝒞) (⊕) begin
@test is_isomorphic(G2, Graph(1) ⊕ Graph(1))
end
As you can see, we presently need to wrap 𝒞 with TypedCatWithCoproducts for this to work. For subobject connectives like ∧, one can use 𝒞 directly.
Interacting with category interface
One thing we do with morphisms (including ACSetTransformations) is compose them. This is now parameterized by a choice of implementation of ThCategory. Our 𝒞 from above should be used as a model parameter for compose and id.
julia
f = ACSetTransformation(G2, Graph(1); V=[1,1], cat=𝒞)
f′ = compose[𝒞](id[𝒞](G2), f)
Extensional equality and force
There are many granularities of equality that one may be interested in. == is quite coarse: f and f′ above are not equal under that equivalence relation. However, under ≃ (an operator introduced in v0.17) they are equal. This should be used in place of force(f) == force(f′).
force can be used to improve the performance of a function by replacing it with an equivalent-behavior one, but this is not always a normal form for comparison of extensional behavior (e.g. id(FinSet(100)) when converted to a normal form is much less efficient than just leaving it as an IdentityFunction).
Other changes
General
- Pretty printing may have changed, and some things that previously were pretty printed may not be presently pretty printed at all. This can be fixed piecemeal in the future.
SetFunctions/FinFunctions
- Functions (e.g.
FinFunction) previously were able to be applied to a vector, which was taken to mean it should be mapped over its elements. Now, because the function may have a domain which includes vectors as elements, this mapping behavior is best done using Julia's dot notation
julia
f = FinFunction([3,2,1], 3)
f(1) == 3
f.([1,1,3,2]) == [3,3,1,2] # instead of: f([1,1,3,2])
It is no longer the case that
FinFunctionhas type parameters for the type of its (co)domain sets. One can get these in a way generic to any implementation of any theory, i.e.impl_type(my_finfunction, :Dom). Likewise, types in the set hierarchy (FinSet,SetOb) do not have type parameters. These are all wrapper types around models of a particular theory.Catlab no longer infers the codomain of a FinFunction presented by just a vector.
julia
FinFunction([1,2,4], 4) # instead of: FinFunction([1,2,4])
TypeSet(T::Type)is now an implementation ofThSet(something which could be wrapped bySetOb), not aSetObitself. Old code which explicitly usesTypeSet(T)will likely not work, so instead one should useSetOb(T)which is defined to beSetOb(TypeSet(T)). Likewise,ConstantFunctionis not a function but an implementation ofThSetFunction. In this case, however, one must manually apply the wrapper type:
```julia
Previously:
c = ConstantFunction("foo", TypeSet(Int))
(dom(c), codom(c)) == (TypeSet(Int), TypeSet(String))
c = SetFunction(ConstantFunction("foo", SetOb(Int))) (dom(c), codom(c)) == (SetOb(Int), SetOb(String)) ```
- There may be subtle differences in how indexing of functions works with composing (e.g. if you (pre/post)compose an indexed
FinFunctionVectorwith some other implementation ofFinFunction, is the result indexed?). Trying to make this more systematic or predictable is future work.
FreeDiagrams
FreeDiagram is now the wrapper type for implementations of the ThFreeDiagram interface. What was previously called FreeDiagram is now called FreeGraph (it is itself one particular implementation of ThFreeDiagram).
Now that (co)dom are model-parameterized methods which are called within the constructor of multi(co)spans, one can pass a cat keyword argument to these constructors. Alternatively, one can provide the feet of the span as a vector as well, in which case (co)dom will not be called when constructing the multi(co)span.
FinCats / FinDomFunctors
There have been subtle changes to the FinCat and Fin(Dom)Functor constructors, as the previous code really presupposed there are only two types of FinCats (graph-like ones with integers as objects and schema-like ones with symbols/presentation generators as objects). We now have FinFunctors which work with anything which implements ThFinCat (which could in principle be done with any Julia types for Ob and Hom), but the tradeoff is that things that were once unambiguous become ambiguous and more data is required to be specified. For example, one previously could define a FinFunctor via an object mapping, a hom mapping, a source schema, and a target schema. Presently, one should be more explicit: plugging in FinCats for the (co)domain and using the actual objects/homs of that category in the mappings (which happen to GAT generators, not symbols).
```julia
Previously:
F = FinFunctor(Dict(:V => :El, :E => :Arr), Dict(:src => :src, :tgt => :tgt),
SchGraph, SchElements)
V, E, src, tgt = generators(SchGraph) El, Arr, _, _, src′, tgt′, _ = generators(SchElements) src, tgt = F = FinFunctor(Dict(V => El, E => Arr), Dict(src => src′, tgt => tgt′), FinCat(SchGraph), FinCat(SchElements); homtype=:generator) ```
Another difference is the homtype keyword argument. If the codomain is itself
a FinCat, it has both Hom and Gen Julia types associated with itself.
Therefore we can talk about Homs in the codomain category in one of
the four following:
:hom: give an element ofHomdirectly:generator: give an element ofGendirectly (coerce viato_hom(cod, f)):list: give a nonempty list of composableGen(coerce viacompose[cod](to_hom.(cod, f))):path: give aPathof composableGen(wherePathenforces composability + also allows representing id maps)
Previously hom_map(F, f) was used both to apply F to generators and homs in the domain of a Fin(Dom)Functor. To do so now would be ambiguous behavior (if DomGen and DomHom are the same Julia type), so gen_map is new a method one can call.
The ob_generators and hom_generators methods for a FinCat now each return a FinSet rather than an AbstractVector.
Module structure
Because the module structure of CategoricalAlgebra has changed, some code that makes reference to this module structure will need to be fixed:
julia
using CategoricalAlgebra.Cats.FinCats, # instead of : using CategoricalAlgebra.FinCats
The main change is that CategoricalAlgebra got split into four pieces: BasicSets along with four submodules of the new CategoricalAlgebra (Cats, SetCats, Pointwise, and Misc).
Regressions
The HomomorphismQuery option for computing all the full hom set between two ACSets via a limit computation is currently not yet re-implemented in v0.17. This code is quite complex and will take some time to redo in the future.
The category of ACSets and LooseACSetTransformations now is defined as having SetFunctions between TypeSets as the category for its attribute types. This means a certain kind of pullback of LooseACSetTransformations (where the components map between finite sets, rather than TypeSets) is no longer supported.
Performance regressions
Performance regressions can be introduced in this migration by naive use of the method[model](args...) idiom. This is because this pattern uses dynamic dispatch and as such shouldn't be used in hot loops. If one wants to call a method associated with an interface in a more performant manner, the following style is required:
julia
compose(WithModel(my_cat), f, g) # clunkier, but better performance than: compose[my_cat](f,g)
Also note the type of my_cat must be known statically.
Example migration: AlgebraicPetri
The process of updating AlgebraicPetri.jl to work with Catlab 0.17 was addressed in this PR. The required changes were:
- No more
LooseACSetTransformation: instead stratification limits are in aLooseACSetcategory of ACSets. - Some uses of
==in the tests replaced with≃. - Components of ACSetTransformations no longer assumed to be
FinFunctionVector: to get a vector out of aFinFunctionwe now callcollect(f)instead off.func. FinDomFunctionob/hom mappings use presentation generators, not symbols.
There was one logic error in the previous implementation that was revealed in the update process: when we call flatten_labels to take a stratified model (which has, for example, Name attributes valued in pairs of symbols) and convert it to a regular Petri net (Name valued in just symbols with a _ in the middle of the pair), the code previously did not change the components of typing hom that is going out of the model into a typing petri net. This needed to be fixed because otherwise a type error would be encountered (trying to use a function with domain Tuple{String,String} when a function with domain String was needed).
Merged pull requests: - Incorporating GATlab more deeply (#949) (@kris-brown) - Reorganize CategoricalAlgebra file structure (#955) (@kris-brown) - add DiagrammaticEquations.jl to downstream.yml (#968) (@jpfairbanks)
- Julia
Published by algebraicjuliabot 7 months ago
https://github.com/algebraicjulia/catlab.jl - v0.16.20
Catlab v0.16.20
Merged pull requests:
- PEG grammars for UWDs (#944) (@jpfairbanks)
- CompatHelper: add new compat entry for StructTypes at version 1, (keep existing compat) (#952) (@algebraicjuliabot)
- CompatHelper: add new compat entry for PEG at version 1, (keep existing compat) (#953) (@algebraicjuliabot)
- Fix bugs in Base.in methods and empty comprehension (#954) (@samuelsonric)
- Removing ADTs and Parser Exports Due to Too Much Internals Exposure (#959) (@cscaff)
- Calling a wiring diagram does an oapply (#962) (@quffaro)
- Add titles to uwds (#964) (@lukem12345)
- Upgraded GATlab Compat to v0.1.5 (#967) (@quffaro)
Closed issues: - RelationTerm/Parser Exports Removal (#958) - Precompile error on v0.16.19 (#960)
- Julia
Published by algebraicjuliabot 9 months ago
https://github.com/algebraicjulia/catlab.jl - v0.16.19
Catlab v0.16.19
Merged pull requests: - Add Sheaf implementation (#852) (@jpfairbanks) - Floating viewer for Graphviz output (#947) (@quffaro) - CompatHelper: bump compat for Colors to 0.13, (keep existing compat) (#948) (@algebraicjuliabot)
Closed issues:
- Error in composing StructTightACSetTransformation and StructCSetTransformation (#945)
- Julia
Published by algebraicjuliabot about 1 year ago
https://github.com/algebraicjulia/catlab.jl - v0.16.18
Catlab v0.16.18
Merged pull requests:
- Informative error for coerce_component with scalar input (#936) (@slwu89)
- Fix empty collection typing bug (#941) (@KevinDCarlson)
- Fixes for Julia v1.11 (#943) (@epatters)
Closed issues: - Scalars in acset transformations (#935) - Tests failing on Julia v1.11 (#942)
- Julia
Published by algebraicjuliabot over 1 year ago
https://github.com/algebraicjulia/catlab.jl - v0.16.17
Catlab v0.16.17
Merged pull requests:
- Integer-typed UWDs (#921) (@samuelcohen1)
- Loosen type in to_graphviz_property_graph (#932) (@slwu89)
- Julia
Published by algebraicjuliabot over 1 year ago
https://github.com/algebraicjulia/catlab.jl - v0.16.16
Catlab v0.16.16
Merged pull requests:
- Require homomorphism to be unique (#926) (@kris-brown)
Closed issues:
- Homomorphism should error if there are multiple homomorphisms (#922)
- Julia
Published by algebraicjuliabot over 1 year ago
https://github.com/algebraicjulia/catlab.jl - v0.16.15
Catlab v0.16.15
Merged pull requests: - adding buildkite functionality (#920) (@quffaro) - Fix for queries with attributes using union types (#923) (@slwu89) - Bugfix for complement for VarACSets (#924) (@kris-brown)
Closed issues: - Parameters in queries for attributes that are unions (#913)
- Julia
Published by algebraicjuliabot over 1 year ago
https://github.com/algebraicjulia/catlab.jl - v0.16.14
Catlab v0.16.14
Merged pull requests:
- Monic constraint and no_bind kwarg for AttrVars in hom search (#918) (@kris-brown)
- Fix construction of varacset from FinDomFunctor (#919) (@KevinDCarlson)
Closed issues: - Keyword argument for sending attrvars to other attrvars (#916)
- Julia
Published by algebraicjuliabot over 1 year ago
https://github.com/algebraicjulia/catlab.jl - v0.16.13
Catlab v0.16.13
Merged pull requests:
- Fix constructor of acset from FinDomFunctor in varacset case (#917) (@KevinDCarlson)
- Julia
Published by algebraicjuliabot over 1 year ago
https://github.com/algebraicjulia/catlab.jl - v0.16.12
Catlab v0.16.12
Merged pull requests: - Redesign ACSetFunctors when there are AttrVars (#915) (@KevinDCarlson)
- Julia
Published by algebraicjuliabot over 1 year ago
https://github.com/algebraicjulia/catlab.jl - v0.16.11
Catlab v0.16.11
Merged pull requests: - Upgrade to Convex v0.16 (#912) (@epatters) - Code simplification from equations in schema (#914) (@kris-brown)
- Julia
Published by algebraicjuliabot over 1 year ago
https://github.com/algebraicjulia/catlab.jl - v0.16.10
Catlab v0.16.10
Merged pull requests:
- Smoothing interaction between VarSets and actual sets and functions (#900) (@KevinDCarlson)
- Fix typo in product keyword arguments (#905) (@jpfairbanks)
- Delete extraneous SigmaMigration method (#906) (@kris-brown)
- Fix Heyting subtraction for ACSets with variables (#909) (@kris-brown)
- Epic backtracking constraint (#910) (@kris-brown)
Closed issues:
- SigmaMigrationFunctor method uses an undefined variable (#903)
- Bug in product keyword arguments (#904)
- Julia
Published by algebraicjuliabot over 1 year ago
https://github.com/algebraicjulia/catlab.jl - v0.16.9
Catlab v0.16.9
Merged pull requests: - VM-based homomorphism search (#830) (@olynch) - Fix types in graph algorithms (#898) (@slwu89) - Cartesian transformations between acsets (#899) (@KevinDCarlson) - Missing ACSetsGATsInterop methods (#901) (@kris-brown) - Bump dependency on ACSets.jl (#902) (@epatters)
Closed issues:
- Question about abstract vs. concrete type in enumerate_paths (#897)
- Julia
Published by algebraicjuliabot almost 2 years ago
https://github.com/algebraicjulia/catlab.jl - v0.16.8
Catlab v0.16.8
Merged pull requests: - Enumerate subobjects of acsets with attribute variables (#887) (@kris-brown) - Fixed typo. "commute must" -> "must commute". (#890) (@neonWhiteout) - Simplify, upgrade, and type-stabilize domtograph (#891) (@KevinArlin)
- Julia
Published by algebraicjuliabot almost 2 years ago
https://github.com/algebraicjulia/catlab.jl - v0.16.7
Catlab v0.16.7
Merged pull requests: - Support for mark-as-deleted in acsets (#831) (@kris-brown) - Overlap iterator output span order bugfix + ignoring of specific attrtypes (#886) (@kris-brown)
Closed issues:
- Constraints on attributes in maximum_common_subobject (#884)
- Maximumcommonsubobject changes ordering (#885)
- Julia
Published by algebraicjuliabot about 2 years ago
https://github.com/algebraicjulia/catlab.jl - v0.16.6
Catlab v0.16.6
Merged pull requests:
- Constrain acset hom search to specified subsets (#873) (@kris-brown)
- Add missing SigmaMigrationFunctor constructors for DynamicACSets (#882) (@KevinArlin)
- Rename Slices to SliceCategories to avoid name conflict (#883) (@KevinArlin)
- Julia
Published by algebraicjuliabot about 2 years ago
https://github.com/algebraicjulia/catlab.jl - v0.16.5
Catlab v0.16.5
Merged pull requests:
- Adding missing compose and id methods for pointed set schemas (#881) (@KevinArlin)
- Julia
Published by algebraicjuliabot about 2 years ago
https://github.com/algebraicjulia/catlab.jl - v0.16.4
Catlab v0.16.4
Merged pull requests:
- Port to JSON3.jl (#879) (@epatters)
- Remove experiments folder (#880) (@epatters)
Closed issues: - Move from JSON.jl to JSON3.jl (#878)
- Julia
Published by algebraicjuliabot about 2 years ago
https://github.com/algebraicjulia/catlab.jl - v0.16.3
Catlab v0.16.3
Merged pull requests: - Upgrade to SCS v2 (#874) (@epatters) - Upgrade to Documenter v1 (#875) (@epatters)
Closed issues: - Docs Warnings (#851)
- Julia
Published by algebraicjuliabot about 2 years ago
https://github.com/algebraicjulia/catlab.jl - v0.16.2
Catlab v0.16.2
Merged pull requests:
- Make sure you can add SetFunctionCallables to BipartiteDiagrams during limit computation (#868) (@KevinArlin)
- Avoid building a Tuple{Union{}} (#871) (@KevinArlin)
- Upgrade to Gatlab v0.1 (#872) (@epatters)
Closed issues: - Fix an empty tuple problem ahead of Julia 1.10 (#869)
- Julia
Published by algebraicjuliabot about 2 years ago
https://github.com/algebraicjulia/catlab.jl - v0.16.1
Catlab v0.16.1
Merged pull requests: - Get rid of a bad use of SetFunctionCallable causing vector typing bugs (#867) (@KevinArlin)
- Julia
Published by algebraicjuliabot over 2 years ago
https://github.com/algebraicjulia/catlab.jl - v0.16.0
Catlab v0.16.0
Merged pull requests:
- Delta migration of acset transformations (#710) (@kris-brown)
- Transformations between acsets involving only combinatorial data (#806) (@kris-brown)
- Data migrations with Julia functions on attributes (#823) (@KevinArlin)
- Move acset homomorphism search into own submodule (#843) (@kris-brown)
- Remove DataMigrations code from Catlab (#846) (@KevinArlin)
- GATlab integration (#847) (@olynch)
- Bug fix and tests for to_graphviz with Diagram objects (#850) (@slwu89)
- Unbreak makemap from attrMigr branch (#854) (@KevinArlin)
- Consistent whitespace in runtests.jl (#855) (@neonWhiteout)
- Export named graphs from Catlab.Graphs (#856) (@epatters)
- Use named graphs API in Graphviz visualization (#858) (@epatters)
- CompatHelper: add new compat entry for AlgebraicInterfaces at version 0.1, (keep existing compat) (#861) (@algebraicjuliabot)
- CompatHelper: add new compat entry for GATlab at version 0.0.7, (keep existing compat) (#862) (@algebraicjuliabot)
- Reexport GATlab (#864) (@epatters)
Closed issues:
- Spin out DataMigrations.jl (#842)
- NamedGraph and presentations (#848)
- Reexport GATlab from Catlab (#863)
- Julia
Published by algebraicjuliabot over 2 years ago
https://github.com/algebraicjulia/catlab.jl - v0.15.5
Catlab v0.15.5
Merged pull requests: - More GATs related to (op)indexed monoidal categories (#836) (@epatters) - Infer LooseACSetTransformation when a Julia function is passed as a component (#839) (@kris-brown)
- Julia
Published by algebraicjuliabot over 2 years ago
https://github.com/algebraicjulia/catlab.jl - v0.15.4
Catlab v0.15.4
Merged pull requests:
- Subobject classifier + Internal hom for C-Sets (#786) (@kris-brown)
- Fix abstract_attributes function (#835) (@kris-brown)
- Julia
Published by algebraicjuliabot over 2 years ago
https://github.com/algebraicjulia/catlab.jl - v0.15.3
Catlab v0.15.3
Merged pull requests: - Forward compatibility for mark-as-deleted acsets (#833) (@epatters)
- Julia
Published by algebraicjuliabot over 2 years ago
https://github.com/algebraicjulia/catlab.jl - v0.15.2
Catlab v0.15.2
Closed issues: - Overlap Maps is not an iterator (#819) - The Chase with domain attributes (#825)
Merged pull requests:
- Category of elements for general C-sets (#818) (@kris-brown)
- Benchmark two different implementations of making a path graph (#820) (@epatters)
- Enumerating partial overlaps as an iterator (#821) (@kris-brown)
- Make neighbors for graphs faster by returning an iterator (#824) (@epatters)
- Better support for attributes in sigma migrations (#829) (@KevinArlin)
- Upgrade GitHub checkout action to v3 (#832) (@epatters)
- Julia
Published by algebraicjuliabot over 2 years ago
https://github.com/algebraicjulia/catlab.jl - v0.15.1
Catlab v0.15.1
Closed issues: - Inconsistency between composition operations (#805)
Merged pull requests:
- Migrate from master branch to main branch (#807) (@mehalter)
- Subobject with attribute variables (#808) (@kris-brown)
- BUILD: fix BenchmarkCI assumption that origin/master exists (#810) (@mehalter)
- BUILD: actually fix review checklist (#812) (@mehalter)
- Fixed typos: colimts -> colimits (#815) (@bartvpelt)
- Fix omitted case in leftmost_arg (#816) (@KevinArlin)
- More support for subacsets with variables (#817) (@kris-brown)
- Julia
Published by algebraicjuliabot over 2 years ago
https://github.com/algebraicjulia/catlab.jl - v0.15.0
Catlab v0.15.0
Closed issues:
- Better error message when unnatural homomorphisms get used (#623)
- JSON serialization for ACSets should include the IDs of the parts (#695)
- Remove acset transformation type parameters kept for backward compatibility (#755)
- Migrate to Julia v1.9 (#770)
- Migrate acsets core to new standalone package (#771)
- Consistent API for functorality and naturality testing (#773)
- Bug in oapply for multispans (#797)
Merged pull requests:
- Include part ID in JSON acset serialization (#712) (@aaguinal)
- Variables in ACSets (#740) (@kris-brown)
- New macro @acset_transformation (#765) (@KevinArlin)
- Use native package extensions in Julia 1.9 (#775) (@mehalter)
- Maximum common sub-C-set (#777) (@mehalter)
- Use AlgebraicJuliaBot to tag releases (#780) (@mehalter)
- Fix implicit conversion for union types with AttrVar (#783) (@mehalter)
- Add check if review checklist has already been commented (#784) (@mehalter)
- delete_subobj! bug fix (#785) (@kris-brown)
- Serialize acset schemas as JSON via Schema rather than Presentation (#787) (@epatters)
- Breaking change to data migration API (#792) (@KevinArlin)
- Use new package ACSets.jl for acsets implementation (#794) (@epatters)
- Remove acset transformation type parameters kept for backward compatibility (#795) (@epatters)
- Upgrade to ACSets.jl v0.2 (#796) (@epatters)
- Fix bug with uninitialized data in oapply for multispans (#798) (@epatters)
- Clean up API for functorality and naturality testing (#799) (@epatters)
- Encapsulate GAT machinery in submodule (#800) (@epatters)
- Reexport all top-level modules (#801) (@epatters)
- Julia
Published by algebraicjuliabot over 2 years ago
https://github.com/algebraicjulia/catlab.jl - v0.14.17
Catlab v0.14.17
Closed issues:
- Rendering a Theory/Presentation (#134)
- @acset macro not interacting well with uniqueindexed (#502)
- Visualize diagrams using Graphviz (#559)
- Improved error message on finfunctor failure (#598)
- connectedcomponentprojectionbfs error (#634)
- (Co)limits with loose acset transformations with fixed type components (#680)
- Bugfix for code on page 7 of acsets paper (#727)
- Unexpected error message when adding parts (#728)
- Error in bfs_tree: T not defined (#738)
- FinFunction does not constrain assignments to be in codomain (#751)
Merged pull requests:
- Colimits of dynamic acsets (#753) (@kris-brown)
- Clean up 32-bit support in tests (#756) (@epatters)
- Update ASKEM integration (#757) (@mehalter)
- Check that function data is compatible with codomains (#759) (@KevinArlin)
- Added type annotations to acset part mutators (#760) (@KevinArlin)
- Improve finite functor error messages (#762) (@KevinArlin)
- Cascading delete in acsets (#768) (@kris-brown)
- Fix method replacement in FinDomFunction constructor (#769) (@epatters)
- Draw bipartite graphs and FinFunctions using Graphviz (#772) (@epatters)
- Julia
Published by github-actions[bot] almost 3 years ago
https://github.com/algebraicjulia/catlab.jl - v0.14.16
What's Changed
- Restore type parameters of acset transformations by @epatters in https://github.com/AlgebraicJulia/Catlab.jl/pull/754
Full Changelog: https://github.com/AlgebraicJulia/Catlab.jl/compare/v0.14.15...v0.14.16
- Julia
Published by mehalter almost 3 years ago
https://github.com/algebraicjulia/catlab.jl - v0.14.15
Catlab v0.14.15
Merged pull requests:
- Fix bug in tree (#742) (@olynch)
- Add ASKEM program integration workflow (#743) (@mehalter)
- Remove duplicate line in docs (#746) (@axelbdt)
- Acset transformations between dynamic acsets (#748) (@kris-brown)
- Replace @generated code in homomorphism search with CompTime (#749) (@kris-brown)
- fix 32-bit catlab support and improve github actions (#752) (@mehalter)
- Julia
Published by github-actions[bot] almost 3 years ago
https://github.com/algebraicjulia/catlab.jl - v0.14.14
Catlab v0.14.14
Closed issues:
- ACset map MethodError running convert (#735)
Merged pull requests:
- Simplified implementation of map for acsets (#736) (@olynch)
- Julia
Published by github-actions[bot] about 3 years ago
https://github.com/algebraicjulia/catlab.jl - v0.14.13
Catlab v0.14.13
Merged pull requests:
- Keyword args for oapply to expose (co)limit (#734) (@olynch)
- Julia
Published by github-actions[bot] about 3 years ago
https://github.com/algebraicjulia/catlab.jl - v0.14.12
Catlab v0.14.12
Closed issues:
- generate_json_acset_schema assumes it's being called outside of Catlab (#721)
Merged pull requests:
- Greatly simplify columns underlying acsets (#715) (@olynch)
- Style guide for Catlab developers (#722) (@olynch)
- Get Catlab version without assuming it is a dependency (#723) (@aaguinal)
- Missing op method for Diagram{Any} (#724) (@epatters)
- Reformat Tuple node labels in Graphviz graphs (#731) (@slwu89)
- Option to randomize C-set homomorphism search (#732) (@kris-brown)
- Add debug flag to is_natural (#733) (@kris-brown)
- Julia
Published by github-actions[bot] about 3 years ago
https://github.com/algebraicjulia/catlab.jl - v0.14.11
Catlab v0.14.11
Closed issues: - Custom vector types for columns in ACSets (#363) - ACSet Refactor (#489) - Stratification Bug while using apex(pullback(...)) (#713)
Merged pull requests:
- Minor documentation fix (#702) (@olynch)
- Clean up and tests for acset column system (#703) (@kris-brown)
- Fix deprecations related to ordered dicts and varargs (#704) (@epatters)
- Remove old and unused tests of acset columns (#705) (@epatters)
- Option product_attrs for ACSet limits (#717) (@kris-brown)
- Missing case in query promotion for @migration macro (#718) (@epatters)
- Julia
Published by epatters about 3 years ago
https://github.com/algebraicjulia/catlab.jl - v0.14.10
Catlab v0.14.10
Closed issues: - Theory of groupoids (#230) - Problematic FinDomFunctionDict type behavior (#698)
Merged pull requests:
- Parse diagram DSLs to ASTs at macro expansion time where possible (#696) (@epatters)
- Error message references undefined variable (#697) (@olynch)
- Typo in type declaration of FinDomFunctionDict (#699) (@epatters)
- Option for acset pretty_tables to filter which tables to show (#701) (@epatters)
- Julia
Published by epatters over 3 years ago
https://github.com/algebraicjulia/catlab.jl - v0.14.9
Catlab v0.14.9
Merged pull requests:
- Use intermediating AST in diagram macros (#693) (@epatters)
- Literal values in @free_diagram and @migration macros (#694) (@epatters)
- Julia
Published by epatters over 3 years ago
https://github.com/algebraicjulia/catlab.jl - v0.14.8
Catlab v0.14.8
Merged pull requests: - Make conversion to Presentation from Schema preserve ordering (#691) (@olynch)
- Julia
Published by epatters over 3 years ago
https://github.com/algebraicjulia/catlab.jl - v0.14.7
Catlab v0.14.7
What's Changed:
- Epi mono factorization in terms of (co)limits by @kris-brown in https://github.com/AlgebraicJulia/Catlab.jl/pull/651
- Theory of groupoids, and syntax system for free groupoids by @ssteakley in https://github.com/AlgebraicJulia/Catlab.jl/pull/663
- Rename monic/epic and allow tight acset transformations by @kris-brown in https://github.com/AlgebraicJulia/Catlab.jl/pull/685
- Hash method for ACSets by @kris-brown in https://github.com/AlgebraicJulia/Catlab.jl/pull/677
- Upgrade PrettyTables.jl to v2 by @epatters in https://github.com/AlgebraicJulia/Catlab.jl/pull/675
- Partiality in ACSets handled in a well-defined and well-understood way by @olynch in https://github.com/AlgebraicJulia/Catlab.jl/pull/681
- Colimits of acsets with given type components by @epatters in https://github.com/AlgebraicJulia/Catlab.jl/pull/688
- Fix unused type parameters related to acset schemas by @epatters in https://github.com/AlgebraicJulia/Catlab.jl/pull/689
New Contributors:
- @ssteakley made their first contribution in https://github.com/AlgebraicJulia/Catlab.jl/pull/663
Full Changelog: https://github.com/AlgebraicJulia/Catlab.jl/compare/v0.14.6...v0.14.7
- Julia
Published by epatters over 3 years ago
https://github.com/algebraicjulia/catlab.jl - v0.14.6
Catlab v0.14.6
Merged pull requests: - Small fix for Presentation -> SchemaDesc function (#679) (@kris-brown)
- Julia
Published by epatters over 3 years ago
https://github.com/algebraicjulia/catlab.jl - v0.14.5
Catlab v0.14.5
Merged pull requests: - Refactor ACSets to use CompTime.jl (#665) (@olynch)
- Julia
Published by epatters over 3 years ago
https://github.com/algebraicjulia/catlab.jl - v0.14.4
Catlab v0.14.4
Merged pull requests:
- Bug fix for permute function (#671) (@tylerhanks)
- Type for graph underlying DWD has wrong supertype (#673) (@epatters)
- Julia
Published by epatters over 3 years ago
https://github.com/algebraicjulia/catlab.jl - v0.14.3
Catlab v0.14.3
What's changed:
- Compile with morphism expressions with generator assignment by @sjbreiner in https://github.com/AlgebraicJulia/Catlab.jl/pull/650
- Graphviz visualization for ACSetTransformation between Graphs by @slwu89 in https://github.com/AlgebraicJulia/Catlab.jl/pull/655
- add documentation for JSON serialization of ACSets by @jpfairbanks in https://github.com/AlgebraicJulia/Catlab.jl/pull/667
- Subsection of literate docs for categorical algebra by @epatters in https://github.com/AlgebraicJulia/Catlab.jl/pull/669
New contributors:
- @sjbreiner made their first contribution in https://github.com/AlgebraicJulia/Catlab.jl/pull/650
- @slwu89 made their first contribution in https://github.com/AlgebraicJulia/Catlab.jl/pull/655
Full Changelog: https://github.com/AlgebraicJulia/Catlab.jl/compare/v0.14.2...v0.14.3
- Julia
Published by epatters over 3 years ago
https://github.com/algebraicjulia/catlab.jl - v0.14.2
Catlab v0.14.2
Closed issues: - Style of individual boxes in Tikz output (#643) - Serialize ACSet presentations to JSON with JSON Schema validation (#648) - typo in edges(graph,src,tgt) (#662)
Merged pull requests: - Serialize and deserialize ACSet schemas to JSON (#649) (@aaguinal) - Theory of double categories with tabulators (#657) (@MichaelJLambert) - Run GitHub actions on Julia v1.8 (#661) (@epatters) - Fix connectedcomponentbfs #634 (#664) (@lcnhb)
- Julia
Published by epatters over 3 years ago
https://github.com/algebraicjulia/catlab.jl - v0.14.1
Catlab v0.14.1
Merged pull requests: - Structured cospans of acsets with multiple objects in interface (#620) (@epatters)
- Julia
Published by epatters over 3 years ago
https://github.com/algebraicjulia/catlab.jl - v0.14.0
Catlab v0.14.0
Closed issues: - Requirement of id2 and compose for both vertical and horizontal morphisms for Double Category Instance (#304) - Conventions on ACSet schemas in standard library (#331) - Consider replacing AutoHashEquals wtih StructEquality (#612)
Merged pull requests:
- Remove LinearAlgebra module (#562) (@kris-brown)
- Move DPO related content to AlgebraicRewriting (#635) (@kris-brown)
- GAT for indexed monoidal categories (#639) (@epatters)
- Rename and export acset schemas (#640) (@epatters)
- Replace AutoHashEquals with StructEquality (#641) (@epatters)
- Prefix all GATs with Th (#642) (@epatters)
- Refactor and extend GATs for double categories (#645) (@epatters)
- LooseAcsetTransformation type component coercion (#646) (@kris-brown)
- Julia
Published by epatters over 3 years ago
https://github.com/algebraicjulia/catlab.jl - v0.13.12
Catlab v0.13.12
Closed issues: - DPO rewriting of structured multicospans (#447)
Merged pull requests:
- Syntactic sugar for empty/singleton sets in @migration macro (#637) (@epatters)
- Fix type ambiguities with empty diagrams in data migration (#638) (@epatters)
- Julia
Published by epatters over 3 years ago
https://github.com/algebraicjulia/catlab.jl - v0.13.11
Catlab v0.13.11
Closed issues: - Remove parts not playing nice with indexed homs (#633)
Merged pull requests: - Fix bugs in removing acset parts when indices are present (#636) (@epatters)
- Julia
Published by epatters over 3 years ago
https://github.com/algebraicjulia/catlab.jl - v0.13.10
Catlab v0.13.10
Merged pull requests:
- Minor syntactic improvements to data migration macros (#627) (@epatters)
- Colimits of representables for migration functors (#628) (@epatters)
- Refactor API for generator names in finitely presented categories (#629) (@epatters)
- Handle special case of pullback migration in colimit_representables (#630) (@epatters)
- Julia
Published by github-actions[bot] almost 4 years ago
https://github.com/algebraicjulia/catlab.jl - v0.13.9
Catlab v0.13.9
Closed issues: - Migrate graph interop from LightGraphs to Graphs (#613) - using Catlab fails (#618)
Merged pull requests:
- Slice categories (#591) (@kris-brown)
- Migrate from LightGraphs.jl to Graphs.jl (#614) (@epatters)
- GAT for M-categories (#616) (@epatters)
- Support expressions of form f(x) == g(y) in diagram DSL (#617) (@epatters)
- Representables and the Yoneda embedding (#621) (@epatters)
- Fix allocation of unique indices for morphisms in C-sets (#622) (@epatters)
- Improved Graphviz drawing of graphs and categories (#625) (@epatters)
- Bump Documenter to v0.27 (#626) (@epatters)
- Julia
Published by github-actions[bot] almost 4 years ago
https://github.com/algebraicjulia/catlab.jl - v0.13.8
Catlab v0.13.8
Merged pull requests:
- Initiality test for FinFunctors (#573) (@kris-brown)
- DOC: category of elements examples (#583) (@jpfairbanks)
- Benchmarks for paper (#588) (@olynch)
- Type inference can fail in FinSetIndexedLimit (#600) (@epatters)
- Loosen types for Graph to PropertyGraph constructors (#601) (@epatters)
- Loose acset homomorphism search (#603) (@kris-brown)
- Category of elements action on morphisms and inverse constructions (#604) (@kris-brown)
- Upgrade Convex.jl to v0.15 (#607) (@epatters)
- add hash method for diagram/diagram hom (#610) (@kris-brown)
- Replace half-baked function roottype with Base.typename (#611) (@epatters)
- Julia
Published by github-actions[bot] almost 4 years ago
https://github.com/algebraicjulia/catlab.jl - v0.13.7
Catlab v0.13.7
Closed issues: - Missing documentation for @acset_type’s (#561) - Core dump due to FunctionWrappers.jl (#595)
Merged pull requests: - Remove dependency on FunctionWrappers.jl (#596) (@epatters)
- Julia
Published by github-actions[bot] about 4 years ago
https://github.com/algebraicjulia/catlab.jl - v0.13.6
Catlab v0.13.6
Merged pull requests: - Expose DPO morphism relating input and output of rewriting (#572) (@kris-brown) - ENH: graphics for FinFunctor diagrams (#582) (@jpfairbanks) - DOC: add ACSetInterface to docs (#590) (@bosonbaas) - Docstrings not attached to acset types (#594) (@epatters)
- Julia
Published by github-actions[bot] about 4 years ago
https://github.com/algebraicjulia/catlab.jl - v0.13.5
Catlab v0.13.5
Merged pull requests:
- DOC: Labelled Graph example with (co)limits (#579) (@jpfairbanks)
- GAT expressions and anonymous morphisms in @diagram macro (#580) (@epatters)
- Colimits of finite sets with named elements (#584) (@epatters)
- Support for Julia v1.7 (#585) (@epatters)
- Julia
Published by github-actions[bot] about 4 years ago
https://github.com/algebraicjulia/catlab.jl - v0.13.4
Catlab v0.13.4
Closed issues:
- Four tests fail in GraphicalLinearAlgebra (#536)
- Pretty-printing for types in FinCats and Diagrams (#537)
- Limits of free diagrams by conversion to free bipartite diagrams (#540)
- Data migration with linear queries and gluing queries (#541)
- Convert set-valued functors to acsets (#547)
- Data migration with duc queries (#550)
- Basic support for data attributes in data migration (#568)
Merged pull requests:
- Basic show methods for diagrams and diagram morphisms (#543) (@epatters)
- Composite functions and functors (#544) (@epatters)
- Reduce general limits to limits of bipartite free diagrams (#545) (@epatters)
- Use meaningful column name when promoting trivial queries (#548) (@epatters)
- Deprecate data migration constructors for acsets (#549) (@epatters)
- Use meaningful element type in tabular sets (#552) (@epatters)
- Vignette for graphs as C-sets (#555) (@jpfairbanks)
- Better architecture for conjunctive data migration (#557) (@epatters)
- DOC: adding vignette for WDs as C-Sets (#563) (@jpfairbanks)
- DOC: add sketch for SMCs (#566) (@jpfairbanks)
- Agglomerative data migration (#567) (@epatters)
- Arbitrarily color boxes / junctions of a wiring diagram (#569) (@kris-brown)
- Allow adding titles to wiring diagrams (#570) (@kris-brown)
- DOC: Add content to SMC sketch (#571) (@jpfairbanks)
- Data migration using gluings of conjunctive queries (#575) (@epatters)
- Data migration with data attributes (#576) (@epatters)
- Julia
Published by github-actions[bot] over 4 years ago
https://github.com/algebraicjulia/catlab.jl - v0.13.3
Catlab v0.13.3
Closed issues:
- Module for linear algebra (#65)
- @functor macro for specifying functors from presentations (#191)
- Pretty-print types for attributed C-sets (#264)
- BUG: Illegal inttoptr error, crashing julia (#414)
- Refactor hypergraph rewriting in DPO unit tests (#448)
- Conjunctive query backend for homomorphism search (#450)
- Use Quiver style from TikzCDs once available (#494)
- Data migration with conjunctive queries (#535)
Merged pull requests:
- Loose acset morphisms and limits of acsets (#519) (@epatters)
- Macros for constructing graphs, categories, and diagrams (#525) (@epatters)
- The 2-category of categories (#526) (@epatters)
- Tables as finite sets (#527) (@epatters)
- Fix backwards incompatibility in ACSetTransformation type parameters (#528) (@epatters)
- Categories of diagrams (#529) (@epatters)
- Data migration using conjunctive queries (#532) (@epatters)
- Replace mention of Data with AttrType in docs (#533) (@epatters)
- Use Quiver style now included in TikzCDs.jl (#534) (@epatters)
- Pretty-printing of tabular sets and acsets (#538) (@epatters)
- Basic show methods for categories, functors, and transformations (#542) (@epatters)
- Julia
Published by github-actions[bot] over 4 years ago
https://github.com/algebraicjulia/catlab.jl - v0.13.2
Catlab v0.13.2
Closed issues: - Catlab does not precompile on Julia 1.6.1 with some older dependencies (#509) - Bundling legs results in type error (#520) - Equality operator for Node and EdgeID (#522)
Merged pull requests:
- Refactor type hierarchy for UWDs (#504) (@epatters)
- Replace abstract base type for free diagrams with generic interface (#505) (@epatters)
- Find C-set homomorphisms using conjunctive queries (#506) (@epatters)
- Drop support for Reexport v0.2 (#510) (@epatters)
- More flexible Graphviz support for acset schemas (#511) (@epatters)
- GitHub action to test downstream packages (#513) (@epatters)
- Reexport the Sets and FinSets submodules (#515) (@epatters)
- Finitely presented categories and functors out of them (#518) (@epatters)
- Fix ordering in (co)domain number accessors for schemas (#521) (@bosonbaas)
- ENH: Equality and hash operators for Graphviz Edge and NodeID (#523) (@bosonbaas)
- Refining the interface for finitely presented categories (#524) (@epatters)
- Julia
Published by github-actions[bot] over 4 years ago
https://github.com/algebraicjulia/catlab.jl - v0.13.1
Catlab v0.13.1
Closed issues: - Meet definition has been confused with join (#497)
Merged pull requests: - ENH: add category of elements to CategoricalAlgebra (#431) (@jpfairbanks) - DOC: add sketch for partitions (#492) (@jpfairbanks) - Documentation example of meets building on preorders (#493) (@jpfairbanks) - Update category of elements for struct acsets (#495) (@epatters) - FIX: get meet/join right (#496) (@jpfairbanks) - FIX: #497 typo in meet description (#498) (@jpfairbanks) - Fixed a few typos (#499) (@pitmonticone) - Fix PrettyTables deprecation warning about backend (#507) (@epatters) - Restore pre-v0.13 behavior for indexing acsets with static arrays (#508) (@epatters)
- Julia
Published by github-actions[bot] over 4 years ago
https://github.com/algebraicjulia/catlab.jl - v0.13.0
Catlab v0.13.0
Closed issues: - Matrix Columns (#374) - A Radically Different Acset Implementation (#375) - Acset Interface (#381) - Data -> AttrType (#384) - Labels in ACSets with TypedTables DictTable (#469) - Different internal representations of subobjects (#472) - Unusual behavior for conjunctive queries with unique_index (#480)
Merged pull requests: - Custom Structs for ACSets (#376) (@olynch) - Generic interface for pushout complements (#465) (@epatters) - DOC: add a vignette for preorders (#476) (@jpfairbanks) - Struct ACSets for Data Migration (#477) (@slibkind) - Wiring Diagrams Struct Acsets refactor (#478) (@slibkind) - Struct ACSets for Programs and WiringDiagram (#481) (@slibkind) - Struct acset refactor (#482) (@kris-brown) - Refactor type hierarchy in graphs module (#486) (@epatters) - Different internal representations of subobjects (#487) (@epatters) - Invalid multiline comment block in vignette (#488) (@epatters) - minor rem_part bug for certain ACSet schemas (#490) (@kris-brown)
- Julia
Published by github-actions[bot] over 4 years ago
https://github.com/algebraicjulia/catlab.jl - v0.12.7
Catlab v0.12.7
Closed issues: - C-sets as a topos (#276)
Merged pull requests:
- Restore support for non-vector iterators in @acset macro (#475) (@epatters)
- Julia
Published by github-actions[bot] over 4 years ago
https://github.com/algebraicjulia/catlab.jl - v0.12.6
Catlab v0.12.6
Closed issues:
- @acset macro doesn't work with variables that aren't compile time constants (#455)
Merged pull requests: - ENH: add function for visualizing CPortGraphs (#457) (@bosonbaas) - More acset documentation (#462) (@olynch) - @acset macro fix for runtime values (#463) (@olynch) - Simplify implementation of @present macro (#466) (@olynch) - Algebra of sub-C-sets of a C-set (#467) (@epatters) - Explain subobject meets and joins as adjoints (#468) (@epatters)
- Julia
Published by github-actions[bot] over 4 years ago
https://github.com/algebraicjulia/catlab.jl - v0.12.5
Catlab v0.12.5
Closed issues: - Convenience function to construct sub-C-sets (#349) - Products and sums of morphisms in FinSet (#449)
Merged pull requests:
- (Co)cartesian category instances from (co)products (#459) (@epatters)
- Remove experimental parsing of DWDs from yFiles graphs (#460) (@epatters)
- Function to create subobject of C-set (#461) (@epatters)
- Don't vectorize incident when attribute is a tuple (#464) (@epatters)
- Julia
Published by github-actions[bot] over 4 years ago
https://github.com/algebraicjulia/catlab.jl - v0.12.4
Catlab v0.12.4
Closed issues: - Regression with data attributes in pullback data migration (#452)
Merged pull requests: - Tighten types on ACSet constructor for data migration (#451) (@epatters) - Reference Semagrams in README (#453) (@olynch) - FIX: resolve attribute error in Delta migration (#458) (@slibkind)
- Julia
Published by github-actions[bot] over 4 years ago
https://github.com/algebraicjulia/catlab.jl - v0.12.3
Catlab v0.12.3
Closed issues:
- CSet Functors (#201)
- Error in computing cartesian product with @relation (#427)
- Partial homomorphism assignment as input (#435)
Merged pull requests: - Enforce unitality of composition in default syntax systems (#424) (@epatters) - Fix special case of cartesian product in FinSet bipartite limits (#428) (@epatters) - Associativity and unitality of composition in FreeSchema (#430) (@slibkind) - Started CI/CD for Streamlining Review Process (#432) (@mehalter) - EHN: Left pushforward data migration (#433) (@slibkind) - BUILD: Fix error in github actions interpreting | (#434) (@mehalter) - Support initial data in C-set homomorphism search (#438) (@epatters) - BUILD: Moved to pullrequesttarget trigger for review checklist (#439) (@mehalter) - Restrict to LinearOperators v1 (#440) (@epatters) - BUILD: Remove dependency on comment-on-pr github action (#441) (@mehalter) - Homomorphism search, monic or iso on particular components (#443) (@kris-brown) - DPO rewriting of C-sets (#446) (@epatters)
- Julia
Published by github-actions[bot] over 4 years ago
https://github.com/algebraicjulia/catlab.jl - v0.12.2
Catlab v0.12.2
Closed issues: - Isomorphism testing of wiring diagrams (#57) - BUG: Illegal inttoptr error, crashing julia (#414) - Context mismatch in axioms of HypergraphCategory (#422)
Merged pull requests: - Convenience functions for homomorphism and isomorphism testing (#413) (@epatters) - Finer control over termination of morphism backtracking search (#415) (@epatters) - Default syntax systems and pretty-printing for (co)presheaves (#416) (@epatters) - Theory of additive categories (#417) (@epatters) - Theory of symmetric monoidal copresheaves (#418) (@epatters) - Extra axioms for theory of SMCs (#419) (@0x0f0f0f) - Refactor benchmarks to separate Catlab/LightGraphs (#420) (@olynch) - Benchmark counting triangles in a graph (#421) (@epatters) - Typo in dagger axiom of hypergraph category (#423) (@epatters)
- Julia
Published by github-actions[bot] almost 5 years ago
https://github.com/algebraicjulia/catlab.jl - v0.12.1
Catlab v0.12.1
Closed issues: - Consistent names for vertical and horizontal composition (#319)
Merged pull requests:
- add theories of co/Presheaf (#402) (@cbw124)
- Consolidate GATs of higher categories in one file (#409) (@epatters)
- Generalized algebraic theory for displayed categories (#410) (@epatters)
- CompatHelper: bump compat for "PrettyTables" to "1.0" (#411) (@github-actions[bot])
- Fix generators with no names in @present macro (#412) (@epatters)
- Julia
Published by github-actions[bot] almost 5 years ago
https://github.com/algebraicjulia/catlab.jl - v0.12.0
Catlab v0.12.0
Closed issues: - Cleanup after next Julia LTS release (#228) - Typo in Schema GAT declaration (#394) - Docs fail to build without luatex (#396) - Constructors for common families of graphs (#399)
Merged pull requests: - Upgrade to Julia v1.6 (#393) (@epatters) - Typo in equational axioms of Schema (#395) (@epatters) - DOC: add some documentation from answering Breiner questions. (#397) (@jpfairbanks) - Find homomorphisms of C-sets using backtracking search (#398) (@epatters) - Command-line switch to disable Literate.jl docs (#400) (@epatters) - Extend backtracking search to C-set monomorphisms and isomorphisms (#401) (@epatters) - Upgrade PrettyTables.jl to v0.12 (#404) (@epatters) - Constructors for common families of graphs (#405) (@epatters) - Cleanup following dropping of support for Julia v1.0 (#406) (@epatters)
- Julia
Published by github-actions[bot] almost 5 years ago
https://github.com/algebraicjulia/catlab.jl - v0.11.2
Catlab v0.11.2
Closed issues: - JSON serialization of attributed C-sets (#265) - UndefRefError in FinSets tests on Julia v1.6.0-rc1 (#385)
Merged pull requests: - JSON serialization and deserialization of ACSets (#372) (@mehalter) - Two missing axioms in theory of monoidal categories (#391) (@epatters) - CompatHelper: bump compat for "GeneralizedGenerated" to "0.3" (#392) (@github-actions[bot])
- Julia
Published by github-actions[bot] almost 5 years ago
https://github.com/algebraicjulia/catlab.jl - v0.11.1
Catlab v0.11.1
Closed issues: - getproperty type piracy (#382)
Merged pull requests: - ENH: Add function to visualize presentation (#380) (@olynch) - No type piracy in ACSet schema description types (#383) (@epatters)
- Julia
Published by github-actions[bot] about 5 years ago
https://github.com/algebraicjulia/catlab.jl - v0.11.0
Catlab v0.11.0
Merged pull requests: - Set up CompatHelper (#369) (@epatters) - Implement DWDs using ACSets, v2 (#371) (@epatters) - Remove submodule for embedded graphs (#378) (@epatters)
- Julia
Published by github-actions[bot] about 5 years ago
https://github.com/algebraicjulia/catlab.jl - v0.10.2
Catlab v0.10.2
Merged pull requests: - CompatHelper: bump compat for "PrettyTables" to "0.11" (#379) (@github-actions[bot])
- Julia
Published by github-actions[bot] about 5 years ago
https://github.com/algebraicjulia/catlab.jl - v0.10.1
Catlab v0.10.1
Merged pull requests: - Use StaticArrays 1.0 (#365) (@MasonProtter) - Allow Reexport 1.0 (#368) (@ChrisRackauckas)
- Julia
Published by github-actions[bot] about 5 years ago
https://github.com/algebraicjulia/catlab.jl - v0.10.0
Catlab v0.10.0
Closed issues:
- CSet creation (#205)
- Bipartite Graphs (#300)
- Port names in @relation macro (#314)
- Consistent interface for UWD algebras and evaluating scheduled UWDs (#332)
- Attributed Sets (#338)
Merged pull requests:
- Functions out of finite sets and other extensions (#347) (@epatters)
- Sort-merge algorithm for pullbacks (#348) (@epatters)
- Support any Tables.jl-compliant backend for tables in C-set (#350) (@epatters)
- Bipartite graphs (#351) (@epatters)
- Indexed FinFunctions and hash joins (#355) (@epatters)
- Move commutative squares to new module for commutative diagrams (#356) (@epatters)
- Multiway hash joins (#359) (@epatters)
- Querying ACSets (#345) (@olynch)
- Haskell-style map function for ACSets (#352) (@olynch)
- Conjunctive queries of ACSets and the UWD algebra of multispans (#358) (@epatters)
- Allow context to be left implicit in @relation macro (#361) (@epatters)
- Expose function pretty_tables for ACSets (#362) (@epatters)
- Support for constants in conjunctive queries on ACSets (#364) (@epatters)
- Julia
Published by github-actions[bot] about 5 years ago
https://github.com/algebraicjulia/catlab.jl - v0.9.5
Catlab v0.9.5
Bug fix release for a regression in v0.9.4.
- Julia
Published by github-actions[bot] about 5 years ago
https://github.com/algebraicjulia/catlab.jl - v0.9.4
Catlab v0.9.4
Closed issues: - Slow subpart Evaluation (#324) - API docs for Graphs module (#326) - Set up package benchmarks (#328)
Merged pull requests:
- Pullback functorial data migration for C-sets (#317) (@slibkind)
- Remove dependency on LightGraphs (#325) (@epatters)
- Speed up dispatch on value types (#327) (@epatters)
- API docs for Graphs module (#329) (@epatters)
- Convenient Macro for Creating ACSets (#333) (@olynch)
- Benchmarks for C-set graphs (#334) (@epatters)
- Optimize getters and setters for C-sets (#336) (@epatters)
- Operad of Circular PortGraphs (#337) (@jpfairbanks)
- Jpf/cportgraphs fix (#342) (@jpfairbanks)
- Extend migrate! to attributed C-sets that are not empty (#343) (@epatters)
- Port names in @relation macro (#344) (@epatters)
- Consistent interface for UWD schedule evaluation (#346) (@epatters)
- Julia
Published by github-actions[bot] about 5 years ago
https://github.com/algebraicjulia/catlab.jl - v0.9.3
Catlab v0.9.3
Closed issues:
- Consistency bug in C-Set updates (#199)
- Docs now take a very long time to build (#247)
- Using C-Sets as ACSet data attributes (#306)
- Should we use Base.view for subparts? (#307)
- Composite morphisms for subpart without given part (#310)
- Simplified @relation macro shortcut (#318)
Merged pull requests: - Monoidal Double Categories (#303) (@mehalter) - Roll back added C-set parts on error (#305) (@epatters) - Update Slack URL (#308) (@logankilpatrick) - Scheduled UWDs: data structures and evaluation (#309) (@epatters) - Upgrade Documenter to fix slow build times (#311) (@epatters) - Return views from C-set accessors where appropriate (#313) (@epatters) - (Co)limits of general free diagrams of C-sets (#315) (@epatters) - The UWD algebra of structured multicospans (#316) (@epatters) - Upgrade PrettyTables.jl to v0.10 (#320) (@epatters) - Fix braidings in symmetric monoidal double categories (#321) (@epatters) - Bundle legs of structured multicospans (#322) (@epatters)
- Julia
Published by github-actions[bot] over 5 years ago
https://github.com/algebraicjulia/catlab.jl - v0.9.2
Catlab v0.9.2
Closed issues: - Delete parts from C-sets (#196) - Using composition in the indexing category for querying C-Set (#294) - Key error in C-Set subpart function (#299) - Indexing notation for presentation generators (#301)
Merged pull requests: - Remove parts from C-sets (#293) (@epatters) - Remove vertices and edges from graphs (#295) (@epatters) - Added matomo analytics tracker (#296) (@mehalter) - Use our multigraph type for underlying graph of directed wiring diagram (#297) (@epatters) - Composite morphisms and attributes in C-set accessors (#298) (@epatters) - Indexing notation for C-sets (#302) (@epatters)
- Julia
Published by github-actions[bot] over 5 years ago
https://github.com/algebraicjulia/catlab.jl - v0.9.1
Catlab v0.9.1
Closed issues: - Copy tables between C-Sets of different types (#285) - Generic version of substitute for extensions of UWDs (#288)
Merged pull requests: - Double Category of Squares (#278) (@jpfairbanks) - Embedded graphs (#287) (@epatters) - Copy parts between C-sets with different schemas (#290) (@epatters) - Substitute UWDs with arbitrary data attributes on junctions (#291) (@epatters) - Abbreviated presentation syntax for generators of same type (#292) (@epatters)
- Julia
Published by github-actions[bot] over 5 years ago
https://github.com/algebraicjulia/catlab.jl - v0.9.0
Catlab v0.9.0
Closed issues: - Show C-set as HTML tables (#262) - Show C-set as ASCII tables (#263) - Reflexive graphs (#272) - Universal property for (co)limits of C-sets (#280)
Merged pull requests: - Structured cospans of attributed C-sets (#279) (@epatters) - Structured cospans as a hypergraph category (#281) (@epatters) - Axioms for SMCs with diagonals (#282) (@epatters) - Top-level module for graphs (#283) (@epatters) - Pretty printing of C-set tables (#284) (@epatters)
- Julia
Published by github-actions[bot] over 5 years ago
https://github.com/algebraicjulia/catlab.jl - v0.8.2
Catlab v0.8.2
Bug fix release.
- Julia
Published by github-actions[bot] over 5 years ago
https://github.com/algebraicjulia/catlab.jl - v0.8.1
Catlab v0.8.1
Closed issues: - Universal morphisms for (co)limits in FinSet (#238)
Merged pull requests:
- Universal properties of limits and colimits in FinSet (#269) (@epatters)
- C-set morphisms (#270) (@epatters)
- Limits of C-sets (#271) (@epatters)
- Colimits of C-sets (#273) (@epatters)
- Colimits of attributed C-sets (#274) (@epatters)
- General substitution of undirected wiring diagrams (#275) (@epatters)
- Don't restrict to DataType in C-set attributes (#277) (@epatters)
- Julia
Published by github-actions[bot] over 5 years ago
https://github.com/algebraicjulia/catlab.jl - v0.8.0
Catlab v0.8.0
Closed issues:
- Convert morphism expressions to undirected wiring diagrams (#218)
- Improve specification of data attributes of C-sets (#233)
- Build docs for latest release (#241)
- Labeling UWDs with numbers (#246)
- Easy-to-use constructors for ACSet types (#256)
- Catlab 0.7 blocks DataStructures 0.18 (#259)
- Interface for diagram shapes and limits (#171)
- Pushout/pullback design (#185)
- Category of Restricted Types (#223)
- Use FunctionWrappers.jl for FinSet and FinRel (#225)
- Use <: notation for extending GATs (#234)
Merged pull requests: - Improving C-sets: struct arrays and schemas (#219) (@olynch) - ENH: trial implementation of DecidableSets (#224) (@olynch) - Use Graphvizjll instead of relying on local installation (#232) (@christopher-dG) - Refactor interface for free diagrams and (co)limits (#235) (@epatters) - More conventional Julia syntax for GAT extension (#237) (@olynch) - Use FunctionWrappers for FinSets and FinRelations (#239) (@olynch) - BUG: _file=missing causes error in @warn (#240) (@olynch) - Allow TagBot to build documentation (#242) (@felixcremer) - Work around old LaTeX distribution in GitHub CI (#244) (@epatters) - Another approach to empty StructArrays in C-sets (#245) (@epatters) - Added more restrictive compose dependency (#248) (@mehalter) - Added code coverage github actions (#249) (@mehalter) - More Exhaustive Code Coverage Tests (#250) (@mehalter) - Option to label boxes/junctions in Graphviz UWDs by number (#251) (@epatters) - V0.7.4 Version Bump on Master (#253) (@mehalter) - Restore original unit tests for C-sets (#254) (@epatters) - Add codecov.yml. (#255) (@epatters) - Old CSetType function and friends (#257) (@olynch) - Improved type checking of addparts (#258) (@mehalter) - Half-edge graphs (#260) (@epatters) - Documentation, bug fixes, and cleanup for attributed C-sets (#261) (@epatters) - Missing type parameters in abstract type for ACSets (#267) (@epatters) - Convert morphism expressions to UWDs (#268) (@epatters)
- Julia
Published by github-actions[bot] over 5 years ago
https://github.com/algebraicjulia/catlab.jl - v0.7.4
Catlab v0.7.4
Hotfix release attempting to work around the Julia package manager delivering a very old version of Compose.jl.
- Julia
Published by github-actions[bot] over 5 years ago
https://github.com/algebraicjulia/catlab.jl - v0.7.3
Catlab v0.7.3
Closed issues:
- Hypergraph Categories (#50)
- Doctrines for multiple monoidal products (#105)
- Cap/Cup with rem_junction (#164)
- Use @match from MLStyle.jl instead of Match.jl (#210)
- FinSet nomenclature (#215)
- Theory for hypergraph categories (#216)
- Broken Julia LTS v1.0 Support (#226)
Merged pull requests:
- Tensor notation for undirected wiring diagrams (#207) (@epatters)
- improved show for CSets, and vis for graphical display (#208) (@olynch)
- Drawing undirected wiring diagrams with Graphviz (#212) (@epatters)
- Use MLStyle for pattern matching (#214) (@epatters)
- Use standard names for FinSet and FinRel (#217) (@epatters)
- Undirected wiring diagrams as a hypergraph category (#221) (@epatters)
- Restore support for Julia v1.0 (#227) (@epatters)
- CI test on Julia v1.5 (#229) (@epatters)
- Julia
Published by github-actions[bot] over 5 years ago
https://github.com/algebraicjulia/catlab.jl - v0.7.2
Catlab v0.7.2
Closed issues: - We should generalized generated instead of eval (#120) - Names of FinOrdFunctionLazy and FinOrdFunctionMap (#184) - Indexing of data attached to C-sets (#190)
Merged pull requests: - Dependent Presentations (#189) (@mehalter) - Undirected wiring diagrams (#192) (@epatters) - Remove spurious imports in ShapeDiagrams submodule (#193) (@epatters) - Unique and non-unique indexing of data in C-sets (#195) (@epatters) - Rename concrete types for FinOrd and FinOrdRel (#197) (@epatters) - Macro to build undirected wiring diagrams via Julia-esque syntax (#202) (@epatters) - LinearMaps and LinearOperators are optional dependencies (#203) (@epatters) - Bounds check before assigning C-set subpart (#204) (@epatters) - Add link to emily riehls textbook to GAT description (#206) (@felixcremer)
- Julia
Published by github-actions[bot] over 5 years ago
https://github.com/algebraicjulia/catlab.jl - v0.7.1
Catlab v0.7.1
Merged pull requests: - ENH: n-ary (co)products (#182) (@olynch) - C-sets as a generic data structure (#187) (@epatters) - Remove Manifest.toml (#188) (@epatters)
- Julia
Published by github-actions[bot] over 5 years ago
https://github.com/algebraicjulia/catlab.jl - v0.7.0
Catlab v0.7.0
Closed issues: - Register instances of a signature (#5) - Rename "Doctrines" module to "Theories" (#146)
Merged pull requests: - Rename Doctrines module to Theories (#166) (@epatters) - Computing pushouts of spans in FinOrd (#167) (@epatters) - Update links for new AlgebraicJulia organization (#168) (@epatters) - Binary colimits in FinOrd (#169) (@epatters) - New logo for Catlab (#170) (@mehalter) - Link to Catlab channel on Julia Zulip (#172) (@epatters) - Binary limits in FinOrd (#173) (@epatters) - Use macro in Base instead of Parameters.jl package (#174) (@epatters) - Begin refactoring of GATs (#175) (@epatters) - Proper typing of presentations (#176) (@epatters) - GATs for categories with (co)limits (#177) (@epatters) - Categories of matrices (#178) (@epatters) - The distributive bicategory of relations FinOrdRel (#180) (@epatters) - Remove the wiring layers submodule (#181) (@epatters) - Implementation of Decorated Cospans (#183) (@mehalter) - Release v0.7 (#186) (@epatters)
- Julia
Published by github-actions[bot] over 5 years ago
https://github.com/algebraicjulia/catlab.jl - v0.6.2
Catlab v0.6.2
Closed issues: - CI for unit tests of experiments (#151)
Merged pull requests: - Test experiments in GitHub CI (#160) (@epatters) - Customize shapes and styles of boxes in Compose/TikZ wiring diagrams (#161) (@epatters)
- Julia
Published by github-actions[bot] almost 6 years ago
https://github.com/algebraicjulia/catlab.jl - v0.6.1
Catlab v0.6.1
Closed issues: - Thin categories and preorders (#84) - Allow use of Graphviz for layout only (#93) - LinearMaps isomorphic to LinearOperators (#125) - Method Ambiguity when an instance type defines the theories operations (#141) - Compose \circ in base julia is now vararg (#143) - Transfer of Instances to Separate Experiment Folder (#144) - Drawing SVGs with Compose changing background color (#159)
Merged pull requests: - Added LinearOperators instance of GLA (#140) (@bosonbaas) - Preorders and thin categories, part 2 (#148) (@epatters) - Migration from Experimental to Examples (#149) (@bosonbaas) - Ellipse shape for Compose.jl and TikZ wiring diagrams (#152) (@epatters) - Use Graphviz layouts in Compose.jl or TikZ drawings (#156) (@epatters) - ENH: Implement Stochastic Maps as GATExprs (#158) (@jpfairbanks)
- Julia
Published by github-actions[bot] almost 6 years ago
https://github.com/algebraicjulia/catlab.jl - v0.6.0
Catlab v0.6.0
Closed issues: - From signatures to theories: allow specification of axioms (#62) - Doctrines and syntax for "additive" monoidal categories (#104) - No Julia functions inside GAT signatures (#112) - Getting Diagrams from Julia Code (#119) - Example test for GLA Linmaps (#121)
Merged pull requests:
- Added tests for and added to Additive Monoidal Categories (#110) (@bosonbaas)
- Experimental: Markov categories (#111) (@epatters)
- Add equivalency axioms and "where" syntax to signature macro (#113) (@mehalter)
- Updated standard library, tests, and documentation to adopt the new where clause notation (#114) (@mehalter)
- Allowed for local compilation of documentation and fixed broken links (#115) (@bosonbaas)
- Fixed inheritance of method aliases between GATs (#117) (@mehalter)
- Updated signature definitions throughout the source, tests, and documentation (#118) (@mehalter)
- Fixed the generation of alias functions (#122) (@mehalter)
- GLA gmres test (#124) (@jpfairbanks)
- Graphical linear algebra: first version (#126) (@epatters)
- Move from @signature to @theory, and add @import to @instance macro (#127) (@mehalter)
- Overload plus function in GLA (#128) (@epatters)
- Added ability to define operation aliases in block form (#129) (@mehalter)
- Remove functions from signature/theory definitions (#130) (@mehalter)
- Update index.md with history of GATs (#137) (@jpfairbanks)
- Julia
Published by github-actions[bot] almost 6 years ago
https://github.com/algebraicjulia/catlab.jl - v0.5.3
Catlab v0.5.3
Closed issues:
- Allow outer ports to float in wiring diagram layouts (#81)
- What are the steps for implementing a new syntax? (#85)
- Renaming @parse_wiring_diagram (#88)
- Doctrine for traced monoidal categories (#95)
- Bug in @program (#102)
- Special handing of nullary operations in presentations (#106)
Merged pull requests: - Install TagBot as a GitHub Action (#91) (@JuliaTagBot) - Use isotonic regression for layout of outer ports (#92) (@epatters) - Doctrine and wiring diagrams for traced monoidal categories (#97) (@epatters)
- Julia
Published by github-actions[bot] almost 6 years ago
https://github.com/algebraicjulia/catlab.jl - v0.5.2
v0.5.2 (2020-02-03)
Closed issues:
- Special Morphisms with derived objects (#86)
- Julia
Published by julia-tagbot[bot] about 6 years ago
https://github.com/algebraicjulia/catlab.jl - v0.5.1
v0.5.1 (2020-01-15)
Closed issues:
- Use special function
newin symbolic expression constructors (#83) - Wiring diagrams for abelian bicategories of relations (#70)
- Julia
Published by julia-tagbot[bot] about 6 years ago
https://github.com/algebraicjulia/catlab.jl - v0.5.0
v0.5.0 (2020-01-05)
Closed issues:
- Migrate to DisjointSets in DataStructures.jl (#75)
- Better typing for wiring diagrams (#74)
- Potential Bug in to_hom_expr (#67)
- Wiring diagrams for bicategories of relations (#49)
- Backend-agnostic layout of wiring diagrams based on expressions (#46)
- Smarter placement of wire decorations in TikZ wiring diagrams (#16)
Merged pull requests:
- Wiring diagrams for dagger categories and compact closed categories (#77) (epatters)
- Type-parametrized wiring diagrams (#76) (epatters)
- Rewrite TikZ wiring diagrams to use backend-agnostic layout (#69) (epatters)
- Wiring diagrams for self-dual compact closed categories (#68) (epatters)
- Backend-agnostic layout of wiring diagrams + Compose.jl backend (#66) (epatters)
- Julia
Published by julia-tagbot[bot] about 6 years ago
https://github.com/algebraicjulia/catlab.jl - v0.4.1
v0.4.1 (2019-12-23)
Closed issues:
- Special Morphisms in the Programs module (#63)
- Migrate from Travis CI to GitHub Actions (#59)
- Missing codiagonal / logical structure in Bicategory of Relations implementation (#54)
- Macro for defining generators (#6)
Merged pull requests:
- Migrate from Travis CI to GitHub Actions (#60) (epatters)
- Julia
Published by julia-tagbot[bot] about 6 years ago
https://github.com/algebraicjulia/catlab.jl - v0.4.0
v0.4.0 (2019-11-22)
Closed issues:
- Morphisms as programs (#52)
- Algebraic Networks <-> Julia Programs (#51)
- Use Literate.jl for long-form documentation, including Jupyter notebooks (#45)
- Operadic interface for substitution in wiring diagrams (#40)
- Preserve order of box IDs when substituting (#39)
- Rename the "Algebra" module (#37)
Merged pull requests:
- Reimplement substitution and encapsulation of wiring diagrams to preserve box order (#56) (epatters)
- Parse Julia programs into wiring diagrams (#53) (epatters)
- Use Literate.jl to generate Jupyter notebooks and HTML documentation (#47) (epatters)
- Julia
Published by julia-tagbot[bot] over 6 years ago
https://github.com/algebraicjulia/catlab.jl - Catlab v0.3.0
v0.3.0 (2019-09-24)
Closed issues:
- Explicit representation of copies and merges in wiring diagrams (#44)
- Create expressions from wiring diagrams with copies, merges, etc. (#43)
- Wiring Diagrams missing visual element for create and mcopy. (#42)
- Consistent inferface for serialization and deserialization (#41)
- Generate HTML documentation (#33)
- Arbitrary graph-level data in wiring diagrams (#18)
Merged pull requests:
- Convert permutations to composities of braidings and identities (#38) (epatters)
- Convert wiring diagram to morphism expression in monoidal category (#35) (epatters)
- Started creating Documenter.jl based documentation (#34) (mehalter)
- Julia
Published by julia-tagbot[bot] over 6 years ago
https://github.com/algebraicjulia/catlab.jl - Catlab v0.2.3
Read wiring diagrams in yFiles format (#31). Restore support for Julia v1.0 (#32).
- Julia
Published by julia-tagbot[bot] over 6 years ago
https://github.com/algebraicjulia/catlab.jl - Catlab v0.2.2
Update example notebooks. Stop using the Nullables package and drop support for Julia v1.0. Add missing REQUIRE entry for Requires.jl. Other minor fixes and enhancements.
- Julia
Published by epatters over 6 years ago
https://github.com/algebraicjulia/catlab.jl - Catlab v0.2.1
Use version of UnionFind.jl that is now available on the official Julia package registry.
- Julia
Published by epatters almost 7 years ago