FiniteCategories 0.6.3.0 → 0.6.3.1

raw patch · 3 files changed

+12/−8 lines, 3 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Math.Categories.ConeCategory: postcomposeCoconeWithMorphism :: (FiniteCategory c1 m1 o1, Morphism m1 o1, Eq c1, Eq m1, Eq o1, Morphism m2 o2) => Cocone c1 m1 o1 c2 m2 o2 -> m2 -> Cocone c1 m1 o1 c2 m2 o2

+ Math.Categories.ConeCategory: postcomposeCoconeWithMorphism :: (FiniteCategory c1 m1 o1, Morphism m1 o1, Eq c1, Eq m1, Eq o1, Category c2 m2 o2, Morphism m2 o2) => Cocone c1 m1 o1 c2 m2 o2 -> m2 -> Cocone c1 m1 o1 c2 m2 o2

- Math.Categories.ConeCategory: precomposeConeWithMorphism :: (FiniteCategory c1 m1 o1, Morphism m1 o1, Eq c1, Eq m1, Eq o1, Morphism m2 o2) => Cone c1 m1 o1 c2 m2 o2 -> m2 -> Cone c1 m1 o1 c2 m2 o2

+ Math.Categories.ConeCategory: precomposeConeWithMorphism :: (FiniteCategory c1 m1 o1, Morphism m1 o1, Eq c1, Eq m1, Eq o1, Category c2 m2 o2, Morphism m2 o2) => Cone c1 m1 o1 c2 m2 o2 -> m2 -> Cone c1 m1 o1 c2 m2 o2

Files

CHANGELOG.md +5/−1
FiniteCategories.cabal +1/−1
src/Math/Categories/ConeCategory.hs +6/−6

CHANGELOG.md view

@@ -50,4 +50,8 @@ 
 ## 0.6.3.0 -- 2024-02-05
 
-* Add helpers for cones and cocones+* Add helpers for cones and cocones
+
+## 0.6.3.1 -- 2024-03-06
+
+* Bug fixes in helpers for cones and cocones

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.3.0
+version:             0.6.3.1
 
 -- A short (one-line) description of the package.
 synopsis: Finite categories and usual categorical constructions on them.

src/Math/Categories/ConeCategory.hs view

@@ -212,11 +212,11 @@     
     -- | Precompose a cone with a morphism going to the apex. (Does not check that the morphism has the apex as target.)
     precomposeConeWithMorphism :: (FiniteCategory c1 m1 o1, Morphism m1 o1, Eq c1, Eq m1, Eq o1,
-                                                        Morphism m2 o2) => 
+                                         Category c2 m2 o2, Morphism m2 o2) => 
         Cone c1 m1 o1 c2 m2 o2 -> m2 -> Cone c1 m1 o1 c2 m2 o2
-    precomposeConeWithMorphism c m = unsafeCommaObject (source m) One (unsafeNaturalTransformation (source $ legsCone c) (target $ legsCone c) ((@ m) <$> (components $ legsCone c)))
+    precomposeConeWithMorphism c m = unsafeCommaObject (source m) One (unsafeNaturalTransformation (constantDiagram (src.source.legsCone $ c) (tgt.source.legsCone $ c) (source m)) (target $ legsCone c) ((@ m) <$> (components $ legsCone c)))
     
-    -- | Postcompose a cone with a functor going from the base. 
+    -- | Postcompose a cone with a functor going from the universe category. 
     postcomposeConeWithFunctor :: (FiniteCategory c1 m1 o1, Morphism m1 o1, Eq c1, Eq m1, Eq o1,
                                      Category c2 m2 o2, Morphism m2 o2, Eq c2, Eq m2, Eq o2,
                                                         Morphism m3 o3) => 
@@ -367,7 +367,7 @@             doms = possibleDomainsBottomContained $ indexingCategoryCocone cc1
             maps = Set.concat2 [enumerateInjectiveMaps (\x y -> legsCocone cc1 =>$ x == legsCocone cc2 =>$ y) (set dom) (ob (indexingCategoryCocone cc2)) | dom <- doms]
             
-     -- | Precompose a cocone with a functor going to the base.
+     -- | Precompose a cocone with a functor going to the universe category.
     precomposeCoconeWithFunctor :: (      Category c1 m1 o1, Morphism m1 o1, Eq c1, Eq m1, Eq o1,  
                               FiniteCategory c2 m2 o2, Morphism m2 o2, Eq c2, Eq m2, Eq o2,
                                                        Morphism m3 o3, Eq c3, Eq m3, Eq o3) =>
@@ -376,6 +376,6 @@     
     -- | Postcompose a cone with a morphism going from the nadir. (Does not check that the morphism has the nadir as source.)
     postcomposeCoconeWithMorphism :: (FiniteCategory c1 m1 o1, Morphism m1 o1, Eq c1, Eq m1, Eq o1,
-                                                         Morphism m2 o2) =>
+                                            Category c2 m2 o2, Morphism m2 o2) =>
         Cocone c1 m1 o1 c2 m2 o2 -> m2 -> Cocone c1 m1 o1 c2 m2 o2
-    postcomposeCoconeWithMorphism cc m = unsafeCommaObject One (target m) (unsafeNaturalTransformation (source $ legsCocone cc) (target $ legsCocone cc) ((m @) <$> (components $ legsCocone cc)))+    postcomposeCoconeWithMorphism cc m = unsafeCommaObject One (target m) (unsafeNaturalTransformation (source $ legsCocone cc) (constantDiagram (src.target.legsCocone $ cc) (tgt.target.legsCocone $ cc) (target m)) ((m @) <$> (components $ legsCocone cc)))