AlgebraicJulia / AlgebraicJulia/ModelExploration.jl
Bring up to date with new version of Catlab
- Vorherrschende Sprache
- Julia
- Sterne
- 12
- Forks
- 2
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
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.
Beitragsleitfaden
Für dieses Repository ist kein Beitragsleitfaden indexiert
Bewertung
Dieses Issue wurde noch nicht bewertet.