Mohamed Barakat
Mohamed Barakat
How can I disable caching for a functor or a natural transformation?
```gap gap> LoadPackage( "FinSetsForCAP" ); true gap> BrowseCachingStatistic( FinSets ); Error, Record Element: must be a record (not a list (string)) in Append( current_list, [ current_cache!.hit_counter, current_cache!.miss_counter, Length( PositionsProperty( current_cache!.value,...
Is there a reason why `IsIsomorphism` is not automatically set by the corresponding Add-* for CAP operations like: - IsomorphismFrom* - LeftUnitor* - RightUnitor* - LeftDistributivityExpanding* - LeftDistributivityFactoring* - RightDistributivityExpanding*...
After seeing that you have introduced `CanonicalIdentificationFromCoimageToImageObject` I suggest supporting `MorphismFromImageCokernelOfKernelToKernelOfCokernel` which exists once both kernels and cokernels exist and is an isomorphism for Abelian categories. This can be used...
In `GeneralizedAddMethod.md` you note: - `InjectionOfCofactorOfCoproduct`/`InjectionOfCofactorOfCoproductWithGivenCoproduct` ``` ## FIXME: it suffices that the category knows that it has a zero object if HasCanComputeZeroObject( category ) and CanComputeZeroObject( category ) then...
properties of natural transformations should be propagated to their components (but not vice versa).
Is it possible to have per category a list of construction "titles" like `[ "Kernel", "Cokernel", ...]` and two argument versions of - `ListPrimitivelyInstalledOperationsOfCategory` - `ListInstalledOperationsOfCategory` where the second argument...
Propagate IsZero to MorphismFromZeroObject( M ) once IsZero( M ) is known. Preferably methods should be installed for MorphismIntoTerminalObject/IsTerminalObject and MorphismFromInitialObject/IsInitialObject and they should imply things for MorphismFrom/IntoZeroObject/IsZero.
It would be nice to resurrect and document the printing graph and use more extensively for CAP.
Resolves #46