FiniteCategories 0.6.4.0 → 0.6.5.0

raw patch · 5 files changed

+8/−4 lines, 5 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

+ Math.Categories.FinSketch: type FunctorSketch n e = FinFunctor (CategorySketch n e) (ArrowSketch n e) (ObjectSketch n e)

Files

CHANGELOG.md +5/−1
FiniteCategories.cabal +1/−1
src/Math/Categories/FinSketch.hs +1/−0
src/Math/Categories/FunctorCategory.hs +1/−1
src/Math/FiniteCategories/CompositionGraph.hs +0/−1

CHANGELOG.md view

@@ -58,4 +58,8 @@ 
 ## 0.6.4.0 -- 2024-03-08
 
-* Adding leg getter in CartesianClosedCategory+* Adding leg getter in CartesianClosedCategory
+
+## 0.6.5.0 -- 2024-05-16
+
+* Changes to simplification of CGMorphism

FiniteCategories.cabal view

@@ -14,7 +14,7 @@ -- PVP summary:      +-+------- breaking API changes
 --                   | | +----- non-breaking API additions
 --                   | | | +--- code changes with no API change
-version:             0.6.4.0
+version:             0.6.5.0
 
 -- A short (one-line) description of the package.
 synopsis: Finite categories and usual categorical constructions on them.

src/Math/Categories/FinSketch.hs view

@@ -27,6 +27,7 @@     ConeSketch(..),     CoconeSketch(..),     TripodSketch(..),+    FunctorSketch(..),     SketchError(..),     constructTwoConeFromTripod,     constructTwoConeFromTripodText,

src/Math/Categories/FunctorCategory.hs view

@@ -197,7 +197,7 @@                       Diagram c1 m1 o1 c2 m2 o2 -> Maybe (DiagramError c1 m1 o1 c2 m2 o2)
     checkFiniteDiagram d@Diagram{src=s,tgt=t,omap=om,mmap=fm}
         | domain om /= ob s = Just WrongDomainObjects{srcObjs = ob s, domainObjs = domain om}
-        | not $ (genArrows s) `isIncludedIn` (domain fm) = Just WrongDomainMorphisms{srcMorphs = arrows s, domainMorphs = domain fm}
+        | not $ (genArrows s) `isIncludedIn` (domain fm) = Just WrongDomainMorphisms{srcMorphs = genArrows s, domainMorphs = domain fm}
         | not $ image om `isIncludedIn` ob t = Just WrongImageObjects{imageObjs = image om, codomainObjs = ob t}
         | not $ image fm `isIncludedIn` arrows t = Just WrongImageMorphisms{imageMorphs = image fm, codomainMorphs = arrows t}
         | not.(Set.null) $ tear = Just TornMorphism{f = anElement tear, fImage = d ->£ (anElement tear)}

src/Math/FiniteCategories/CompositionGraph.hs view

@@ -148,7 +148,6 @@     -- | Helper function for `simplify`. Returns a simplified raw path.
     simplifyOnce :: (Eq a, Eq b) => CompositionLaw a b -> RawPath a b -> RawPath a b
     simplifyOnce _ [] = [] 
-    simplifyOnce _ [e] = [e]
     simplifyOnce cl list 
         | new_list == [] = []
         | new_list /= list = new_list