Merge pull request #881 from AlgebraicJulia/idForPtdSetAttrtypes

Adding missing `compose` and `id` methods for pointed set schemas
AlgebraicJulia · Jan 11, 2024 · 7facf5b · 7facf5b
2 parents d21636c + df12eba
commit 7facf5b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/categorical_algebra/FinCats.jl b/src/categorical_algebra/FinCats.jl
@@ -360,8 +360,8 @@ hom(::Union{FinCatPresentation{ThSchema.Meta.T},FinCatPresentation{ThPointedSetS
   gat_typeof(f) ∈ (:Hom, :Attr, :AttrType) ? f :
     error("Expression $f is not a morphism or attribute")
 
-id(C::FinCatPresentation{ThSchema.Meta.T}, x::AttrTypeExpr) = x
-compose(C::FinCatPresentation{ThSchema.Meta.T}, f::AttrTypeExpr, g::AttrTypeExpr) =
+id(C::Union{FinCatPresentation{ThSchema.Meta.T},FinCatPresentation{ThPointedSetSchema.Meta.T}}, x::AttrTypeExpr) = x
+compose(C::Union{FinCatPresentation{ThSchema.Meta.T},FinCatPresentation{ThPointedSetSchema.Meta.T}}, f::AttrTypeExpr, g::AttrTypeExpr) =
   (f == g) ? f : error("Invalid composite of attribute type identities: $f != $g")
 
 function Base.show(io::IO, C::FinCatPresentation)