diff --git a/src/categorical_algebra/CategoricalAlgebra.jl b/src/categorical_algebra/CategoricalAlgebra.jl index 1f4c9aee9..5095c6b31 100644 --- a/src/categorical_algebra/CategoricalAlgebra.jl +++ b/src/categorical_algebra/CategoricalAlgebra.jl @@ -21,7 +21,7 @@ include("CatElements.jl") include("Chase.jl") include("FunctorialDataMigrations.jl") include("StructuredCospans.jl") -include("Slices.jl") +include("SliceCategories.jl") @reexport using .Categories @reexport using .FinCats @@ -41,6 +41,6 @@ include("Slices.jl") @reexport using .Chase @reexport using .FunctorialDataMigrations @reexport using .StructuredCospans -@reexport using .Slices +@reexport using .SliceCategories end diff --git a/src/categorical_algebra/Slices.jl b/src/categorical_algebra/SliceCategories.jl similarity index 99% rename from src/categorical_algebra/Slices.jl rename to src/categorical_algebra/SliceCategories.jl index 661f2af48..2b3b598a8 100644 --- a/src/categorical_algebra/Slices.jl +++ b/src/categorical_algebra/SliceCategories.jl @@ -1,4 +1,4 @@ -module Slices +module SliceCategories export Slice, SliceHom using StructEquality diff --git a/test/categorical_algebra/CategoricalAlgebra.jl b/test/categorical_algebra/CategoricalAlgebra.jl index 40e3d64f9..0bc373fa1 100644 --- a/test/categorical_algebra/CategoricalAlgebra.jl +++ b/test/categorical_algebra/CategoricalAlgebra.jl @@ -56,8 +56,8 @@ end include("StructuredCospans.jl") end -@testset "Slices" begin - include("Slices.jl") +@testset "SliceCategories" begin + include("SliceCategories.jl") end diff --git a/test/categorical_algebra/Slices.jl b/test/categorical_algebra/SliceCategories.jl similarity index 98% rename from test/categorical_algebra/Slices.jl rename to test/categorical_algebra/SliceCategories.jl index 7c71c7a39..182758236 100644 --- a/test/categorical_algebra/Slices.jl +++ b/test/categorical_algebra/SliceCategories.jl @@ -1,4 +1,4 @@ -module TestSlices +module TestSliceCategories using Test using Catlab.Theories, Catlab.CategoricalAlgebra, Catlab.Graphs