AlgebraicJulia / AlgebraicJulia/ModelExploration.jl

Bring up to date with new version of Catlab

Open
#7 2 comments 0 reactions 0 assignees View on GitHub
Dominant language
Julia
Stars
12
Forks
2
PR merge metrics
No merged PRs in 30d

Description

No method matching
```julia
ob_map(::Catlab.CategoricalAlgebra.FinCats.FinDomFunctorMap{Catlab.CategoricalAlgebra.FinCats.FinCatPresentation{Catlab.Theories.ThCategory, Catlab.Theories.FreeCategory.Ob, Catlab.Theories.FreeCategory.Hom}, Catlab.CategoricalAlgebra.Categories.TypeCat{Catlab.CategoricalAlgebra.Slices.Slice{Catlab.CategoricalAlgebra.CSets.ACSetTransformation}, Catlab.CategoricalAlgebra.Slices.SliceHom{Catlab.CategoricalAlgebra.CSets.ACSetTransformation}}, Dict{Symbol, Catlab.CategoricalAlgebra.Slices.Slice{Catlab.CategoricalAlgebra.CSets.ACSetTransformation}}, Dict{Any, Any}})
```
among other things.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.