Closed mohamed-barakat closed 12 months ago
I think FunctorCategories
and FiniteCocompletions
need to be adjusted as well as both precall FreydCategories
.
Note: locally when I preload FinSetsForCAP
in FiniteCocompletions
, the following happens:
gap> FinBouquets;
gap> Chat := ModelingCategory( FinBouquets );
gap> ColimitQuiversC := CategoryOfColimitQuivers( UnderlyingCategory( FinBouquets ) );
gap> P := ColimitQuiversC.P;
gap> b := ColimitQuiversC.b;
Error, no method found! For debugging hints type ?Recovery from NoMethodFound
Error, no 1st choice method found for `Limit' on 3 arguments at /home/kamal/Software/gap/lib/methsel2.g:250 called from
Limit( H, hom_diagram[1], hom_diagram[2]
) at /home/kamal/
Note: locally when I preload
FinSetsForCAP
inFiniteCocompletions
, the following happens:gap> FinBouquets; gap> Chat := ModelingCategory( FinBouquets ); gap> ColimitQuiversC := CategoryOfColimitQuivers( UnderlyingCategory( FinBouquets ) ); gap> P := ColimitQuiversC.P;
I see, this is because FinSetsForCAP
is lacking the limits in CategoryConstructor
(future ToolsForCategoricalTowers
).
I see, this is because
FinSetsForCAP
is lacking the limits inCategoryConstructor
(futureToolsForCategoricalTowers
).
Just forced pushed an update to this PR, please try again.
All modified and coverable lines are covered by tests :white_check_mark:
Files | Coverage Δ | |
---|---|---|
CatReps/PackageInfo.g | 100.00% <100.00%> (ø) |
|
FiniteCocompletions/PackageInfo.g | 100.00% <100.00%> (ø) |
|
FunctorCategories/PackageInfo.g | 100.00% <100.00%> (ø) |
:loudspeaker: Thoughts on this report? Let us know!.
to have the full functionality of
FreydCategoriesForCAP
and before
FinSetsForCAP
preloadCategoryConstructor
(futureToolsForCategoricalTowers
)to have the full functionality of FinSetsForCAP