├── .github
├── pull_request_template.md
└── workflows
│ └── Tests.yml
├── .gitignore
├── ActionsForCAP
├── .gitignore
├── LICENSE
├── PackageInfo.g
├── README.md
├── doc
│ ├── Doc.autodoc
│ └── clean
├── examples
│ ├── ActionsTest.g
│ ├── ActionsTest2.g
│ ├── CategoryWithAttributesTest.g
│ ├── IndirectionTest.g
│ └── IndirectionTest2.g
├── gap
│ ├── ActionMorphisms.gd
│ ├── ActionMorphisms.gi
│ ├── ActionObjects.gd
│ ├── ActionObjects.gi
│ ├── ActionsCategory.gd
│ ├── ActionsCategory.gi
│ ├── CoactionMorphisms.gd
│ ├── CoactionMorphisms.gi
│ ├── CoactionObjects.gd
│ ├── CoactionObjects.gi
│ ├── CoactionsCategory.gd
│ ├── CoactionsCategory.gi
│ ├── SemisimpleCategory.gd
│ └── SemisimpleCategory.gi
├── init.g
├── makedoc.g
├── makedoc_with_overfull_hbox_warnings.g
├── makefile
├── read.g
└── tst
│ ├── 100_LoadPackage.tst
│ └── testall.g
├── AttributeCategoryForCAP
├── .gitignore
├── LICENSE
├── PackageInfo.g
├── README.md
├── doc
│ ├── Doc.autodoc
│ └── clean
├── examples
│ └── example.g
├── gap
│ ├── AttributeCategory.gd
│ └── AttributeCategory.gi
├── init.g
├── makedoc.g
├── makedoc_with_overfull_hbox_warnings.g
├── makefile
├── read.g
└── tst
│ ├── 100_LoadPackage.tst
│ └── testall.g
├── CAP
├── .gitignore
├── GeneralizedAddMethod.md
├── IDEAS
├── LICENSE
├── LOGIC_SYNTAX_IDEAS
├── LogicForCategories
│ ├── PredicateImplicationsForAbCategories.tex
│ ├── PredicateImplicationsForAbelianCategories.tex
│ ├── PredicateImplicationsForAdditiveCategories.tex
│ ├── PredicateImplicationsForCategoriesEnrichedOverCommutativeRegularSemigroups.tex
│ ├── PredicateImplicationsForGeneralCategories.tex
│ ├── PredicateImplicationsForPreabelianCategories.tex
│ ├── PropositionsForAbCategories.tex
│ ├── PropositionsForAbelianCategories.tex
│ ├── PropositionsForAdditiveCategories.tex
│ ├── PropositionsForCategoriesEnrichedOverCommutativeRegularSemigroups.tex
│ ├── PropositionsForGeneralCategories.tex
│ ├── PropositionsForPreabelianCategories.tex
│ ├── RelationsForAbCategories.tex
│ ├── RelationsForAbelianCategories.tex
│ ├── RelationsForAdditiveCategories.tex
│ ├── RelationsForCategoriesEnrichedOverCommutativeRegularSemigroups.tex
│ ├── RelationsForGeneralCategories.tex
│ └── RelationsForPreabelianCategories.tex
├── PackageInfo.g
├── README.md
├── TODO
├── doc
│ ├── AddFunctions.autodoc
│ ├── Doc.autodoc
│ ├── Limits.autodoc
│ └── clean
├── examples
│ ├── CacheTest.g
│ ├── DummyCategory.g
│ ├── Functors.g
│ ├── HandlePrecompiledTowers.g
│ ├── IntegerCategory.g
│ ├── Schemes.g
│ ├── TerminalCategoryWithMultipleObjects.g
│ ├── TerminalCategoryWithSingleObject.g
│ └── dummy_rings.g
├── gap
│ ├── CAP.gd
│ ├── CAP.gi
│ ├── CategoriesCategory.gd
│ ├── CategoriesCategory.gi
│ ├── CategoryConstructor.gd
│ ├── CategoryConstructor.gi
│ ├── CategoryMorphisms.gd
│ ├── CategoryMorphisms.gi
│ ├── CategoryMorphismsOperations.gd
│ ├── CategoryMorphismsOperations.gi
│ ├── CategoryObjects.gd
│ ├── CategoryObjects.gi
│ ├── CategoryObjectsOperations.gd
│ ├── CategoryObjectsOperations.gi
│ ├── CategoryTwoCells.gd
│ ├── CategoryTwoCells.gi
│ ├── CategoryTwoCellsOperations.gd
│ ├── CategoryTwoCellsOperations.gi
│ ├── ConstructiveCategoriesRecord.gd
│ ├── ConstructiveCategoriesRecord.gi
│ ├── Derivations.gd
│ ├── Derivations.gi
│ ├── DerivedMethods.autogen.gi
│ ├── DerivedMethods.gi
│ ├── DummyImplementations.gd
│ ├── DummyImplementations.gi
│ ├── DummyImplementationsOfMatricesForHomalg.gd
│ ├── DummyImplementationsOfMatricesForHomalg.gi
│ ├── Finalize.gd
│ ├── Finalize.gi
│ ├── InstallAdds.gd
│ ├── InstallAdds.gi
│ ├── LimitConvenience.gd
│ ├── LimitConvenience.gi
│ ├── LimitConvenienceOutput.gi
│ ├── LogicForCAP.gd
│ ├── LogicForCAP.gi
│ ├── MethodRecord.gi
│ ├── MethodRecordDeclarations.autogen.gd
│ ├── MethodRecordInstallations.autogen.gi
│ ├── MethodRecordTools.gd
│ ├── MethodRecordTools.gi
│ ├── OppositeCategory.gd
│ ├── OppositeCategory.gi
│ ├── PrepareFunctions.gi
│ ├── PrepareFunctionsTools.gd
│ ├── PrepareFunctionsTools.gi
│ ├── PrintingFunctions.gd
│ ├── PrintingFunctions.gi
│ ├── ProductCategory.gd
│ ├── ProductCategory.gi
│ ├── ReinterpretationOfCategory.gd
│ ├── ReinterpretationOfCategory.gi
│ ├── TerminalCategory.gd
│ ├── TerminalCategory.gi
│ ├── TheoremParser.gd
│ ├── TheoremParser.gi
│ ├── ToolsForCategories.gd
│ ├── ToolsForCategories.gi
│ ├── UniversalObjects.gd
│ ├── UniversalObjects.gi
│ ├── WrapperCategory.gd
│ ├── WrapperCategory.gi
│ └── init.gi
├── help_for_CAP.md
├── init.g
├── makedoc.g
├── makedoc_with_overfull_hbox_warnings.g
├── makefile
├── read.g
└── tst
│ ├── 100_LoadPackage.tst
│ ├── CAP_INTERNAL_ASSERT_VALUE_IS_OF_TYPE_GETTER.tst
│ ├── IsWellDefinedForMorphismsWithGivenSourceAndRange.tst
│ ├── ListWithKeys.tst
│ ├── Simplify.tst
│ └── testall.g
├── CartesianCategories
├── .codecov.yml
├── .gitignore
├── LICENSE
├── PackageInfo.g
├── README.md
├── doc
│ ├── Doc.autodoc
│ └── clean
├── examples
│ ├── InfoStringOfInstalledOperationsOfCategory.g
│ └── InitialCategory.g
├── gap
│ ├── AUTOGENERATED_FROM.md
│ ├── BicartesianCategories.gd
│ ├── BicartesianCategories.gi
│ ├── BraidedCartesianCategories.gd
│ ├── BraidedCartesianCategories.gi
│ ├── BraidedCartesianCategoriesDerivedMethods.gi
│ ├── BraidedCartesianCategoriesMethodRecord.gi
│ ├── BraidedCartesianCategoriesMethodRecordDeclarations.autogen.gd
│ ├── BraidedCartesianCategoriesMethodRecordInstallations.autogen.gi
│ ├── BraidedCartesianCategoriesTest.gd
│ ├── BraidedCartesianCategoriesTest.gi
│ ├── BraidedCocartesianCategories.gd
│ ├── BraidedCocartesianCategories.gi
│ ├── BraidedCocartesianCategoriesDerivedMethods.gi
│ ├── BraidedCocartesianCategoriesMethodRecord.gi
│ ├── BraidedCocartesianCategoriesMethodRecordDeclarations.autogen.gd
│ ├── BraidedCocartesianCategoriesMethodRecordInstallations.autogen.gi
│ ├── BraidedCocartesianCategoriesTest.gd
│ ├── BraidedCocartesianCategoriesTest.gi
│ ├── CartesianCategories.gd
│ ├── CartesianCategories.gi
│ ├── CartesianCategoriesDerivedMethods.gi
│ ├── CartesianCategoriesDerivedMethods_extra.gi
│ ├── CartesianCategoriesMethodRecord.gi
│ ├── CartesianCategoriesMethodRecordDeclarations.autogen.gd
│ ├── CartesianCategoriesMethodRecordInstallations.autogen.gi
│ ├── CartesianCategoriesProperties.gd
│ ├── CartesianCategoriesProperties.gi
│ ├── CartesianCategoriesTest.gd
│ ├── CartesianCategoriesTest.gi
│ ├── CartesianCategories_extra.gd
│ ├── CartesianCategories_extra.gi
│ ├── CartesianClosedCategories.gd
│ ├── CartesianClosedCategories.gi
│ ├── CartesianClosedCategoriesDerivedMethods.gi
│ ├── CartesianClosedCategoriesDerivedMethods_extra.gi
│ ├── CartesianClosedCategoriesMethodRecord.gi
│ ├── CartesianClosedCategoriesMethodRecordDeclarations.autogen.gd
│ ├── CartesianClosedCategoriesMethodRecordInstallations.autogen.gi
│ ├── CartesianClosedCategoriesProperties.gd
│ ├── CartesianClosedCategoriesProperties.gi
│ ├── CartesianClosedCategoriesTest.gd
│ ├── CartesianClosedCategoriesTest.gi
│ ├── CocartesianCategories.gd
│ ├── CocartesianCategories.gi
│ ├── CocartesianCategoriesDerivedMethods.gi
│ ├── CocartesianCategoriesDerivedMethods_extra.gi
│ ├── CocartesianCategoriesMethodRecord.gi
│ ├── CocartesianCategoriesMethodRecordDeclarations.autogen.gd
│ ├── CocartesianCategoriesMethodRecordInstallations.autogen.gi
│ ├── CocartesianCategoriesProperties.gd
│ ├── CocartesianCategoriesProperties.gi
│ ├── CocartesianCategoriesTest.gd
│ ├── CocartesianCategoriesTest.gi
│ ├── CocartesianCategories_extra.gd
│ ├── CocartesianCategories_extra.gi
│ ├── CocartesianCoclosedCategories.gd
│ ├── CocartesianCoclosedCategories.gi
│ ├── CocartesianCoclosedCategoriesDerivedMethods.gi
│ ├── CocartesianCoclosedCategoriesMethodRecord.gi
│ ├── CocartesianCoclosedCategoriesMethodRecordDeclarations.autogen.gd
│ ├── CocartesianCoclosedCategoriesMethodRecordInstallations.autogen.gi
│ ├── CocartesianCoclosedCategoriesProperties.gd
│ ├── CocartesianCoclosedCategoriesProperties.gi
│ ├── CocartesianCoclosedCategoriesTest.gd
│ ├── CocartesianCoclosedCategoriesTest.gi
│ ├── CodistributiveCocartesianCategories.gd
│ ├── CodistributiveCocartesianCategories.gi
│ ├── CodistributiveCocartesianCategoriesMethodRecord.gi
│ ├── CodistributiveCocartesianCategoriesMethodRecordDeclarations.autogen.gd
│ ├── CodistributiveCocartesianCategoriesMethodRecordInstallations.autogen.gi
│ ├── CodistributiveCocartesianCategoriesProperties.gd
│ ├── CodistributiveCocartesianCategoriesTest.gd
│ ├── CodistributiveCocartesianCategoriesTest.gi
│ ├── DistributiveCartesianCategories.gd
│ ├── DistributiveCartesianCategories.gi
│ ├── DistributiveCartesianCategoriesMethodRecord.gi
│ ├── DistributiveCartesianCategoriesMethodRecordDeclarations.autogen.gd
│ ├── DistributiveCartesianCategoriesMethodRecordInstallations.autogen.gi
│ ├── DistributiveCartesianCategoriesProperties.gd
│ ├── DistributiveCartesianCategoriesTest.gd
│ ├── DistributiveCartesianCategoriesTest.gi
│ ├── HomomorphismStructureDerivedMethods.gi
│ ├── InitialCategory.gd
│ ├── InitialCategory.gi
│ ├── InitialCategoryProperties.gd
│ ├── SymmetricCartesianCategoriesDerivedMethods.gi
│ ├── SymmetricCartesianClosedCategoriesDerivedMethods.gi
│ ├── SymmetricCocartesianCategoriesDerivedMethods.gi
│ ├── SymmetricCocartesianCoclosedCategoriesDerivedMethods.gi
│ ├── Synonyms.gd
│ ├── Synonyms.gi
│ ├── Tools.gd
│ └── Tools.gi
├── init.g
├── makedoc.g
├── makedoc_with_overfull_hbox_warnings.g
├── makefile
├── read.g
└── tst
│ ├── 100_LoadPackage.tst
│ ├── TerminalCategoryCartesian.tst
│ ├── TerminalCategoryCocartesian.tst
│ └── testall.g
├── CompilerForCAP
├── .gitignore
├── LICENSE
├── PackageInfo.g
├── README.md
├── TODO
├── benchmarks
│ ├── FPres.g
│ ├── ZX.g
│ ├── algorithms.g
│ ├── boxing.g
│ └── data_structures.g
├── doc
│ ├── Doc.autodoc
│ ├── Extension.autodoc
│ ├── Usage.autodoc
│ └── clean
├── examples
│ ├── LinearAlgebraForCAP.g
│ ├── precompile_CategoryOfColumns_as_Opposite_CategoryOfRows.g
│ ├── precompile_CategoryOfRows_as_AdditiveClosure_RingAsCategory.g
│ ├── precompile_CoFreydCategory_as_Opposite_FreydCategory_Opposite.g
│ ├── precompile_MatrixCategory_as_CategoryOfRows.g
│ ├── precompile_ModulePresentations_as_FreydCategory_CategoryOfRowsOrColumns.g
│ └── precompile_Opposite_MatrixCategory.g
├── gap
│ ├── CleanUpHoistedAndDeduplicatedExpressions.gd
│ ├── CleanUpHoistedAndDeduplicatedExpressions.gi
│ ├── CompileCAPOperation.gd
│ ├── CompileCAPOperation.gi
│ ├── CompilerForCAP.gd
│ ├── CompilerForCAP.gi
│ ├── CompilerHints.gd
│ ├── CompilerHints.gi
│ ├── DeduplicateExpressions.gd
│ ├── DeduplicateExpressions.gi
│ ├── DropHandledEdgeCases.gd
│ ├── DropHandledEdgeCases.gi
│ ├── DropUnusedBindings.gd
│ ├── DropUnusedBindings.gi
│ ├── EnhancedSyntaxTree.gd
│ ├── EnhancedSyntaxTree.gi
│ ├── HoistExpressions.gd
│ ├── HoistExpressions.gi
│ ├── InferDataTypes.gd
│ ├── InferDataTypes.gi
│ ├── InlineArguments.gd
│ ├── InlineArguments.gi
│ ├── InlineBindings.gd
│ ├── InlineBindings.gi
│ ├── InlineFunctionCalls.gd
│ ├── InlineFunctionCalls.gi
│ ├── InlineSimpleFunctionCalls.gd
│ ├── InlineSimpleFunctionCalls.gi
│ ├── IterateOverTree.gd
│ ├── IterateOverTree.gi
│ ├── Logic.gd
│ ├── Logic.gi
│ ├── LogicTemplates.gd
│ ├── LogicTemplates.gi
│ ├── OutlineWrappedArguments.gd
│ ├── OutlineWrappedArguments.gi
│ ├── PrecompileCategory.gd
│ ├── PrecompileCategory.gi
│ ├── PrettyPrintSyntaxTree.gd
│ ├── PrettyPrintSyntaxTree.gi
│ ├── ProofAssistant.gd
│ ├── ProofAssistant.gi
│ ├── ResolveGlobalVariables.gd
│ ├── ResolveGlobalVariables.gi
│ ├── ResolveOperations.gd
│ ├── ResolveOperations.gi
│ ├── Tools.gd
│ ├── Tools.gi
│ ├── TypeSignaturesOfMatricesForHomalg.gi
│ └── TypeSignaturesOfQPA.gi
├── img
│ ├── BMWK_Fz_2017_WebSVG_en.svg
│ ├── compilation_process.svg
│ ├── compilation_process.tex
│ ├── example_category.svg
│ ├── example_category.tex
│ ├── example_computation.svg
│ └── example_computation.tex
├── init.g
├── makedoc.g
├── makedoc_with_overfull_hbox_warnings.g
├── makefile
├── read.g
└── tst
│ ├── 100_LoadPackage.tst
│ ├── 200_CAP_JIT_INTERNAL_FUNCTION_ID.tst
│ ├── 300_proof_AdditiveClosure_has_a_zero_object.tst
│ ├── 300_proof_AdditiveClosure_has_direct_sums.tst
│ ├── 300_proof_AdditiveClosure_has_preadditive_structure.tst
│ ├── 300_proof_AdditiveClosure_hom_structure.tst
│ ├── 300_proof_CategoryOfRows_has_kernels.tst
│ ├── 300_proof_OppositeCategory_hom_structure.tst
│ ├── 300_proof_RingAsCategory_has_associative_composition.tst
│ ├── 300_proof_RingAsCategory_has_preadditive_structure.tst
│ ├── 300_proof_RingAsCategory_of_k_algebra_has_linear_structure.tst
│ ├── 300_proof_hom_structure_for_linear_categories.tst
│ ├── 400_proof_assistant_mode_disabled.tst
│ ├── CAP_JIT_DROP_NEXT_STATEMENT.tst
│ ├── CAP_JIT_INTERNAL_TELESCOPED_ITERATION.tst
│ ├── CAP_JIT_NEXT_FUNCCALL_DOES_NOT_RETURN_FAIL.tst
│ ├── CapJitAddKnownMethod.tst
│ ├── CapJitCompiledCAPOperationAsEnhancedSyntaxTree.tst
│ ├── CapJitCompiledFunction.tst
│ ├── CapJitDeduplicatedExpressions.tst
│ ├── CapJitDisableDataTypeInference.tst
│ ├── CapJitDroppedHandledEdgeCases.tst
│ ├── CapJitDroppedUnusedBindings.tst
│ ├── CapJitEnableProofAssistantMode.tst
│ ├── CapJitEnableStepByStepCompilation.tst
│ ├── CapJitHoistedExpressions.tst
│ ├── CapJitInlinedBindings.tst
│ ├── CapJitInlinedFunctionCalls.tst
│ ├── CapJitIsEqualForEnhancedSyntaxTrees.tst
│ ├── CapJitReplacedSourceAndRangeAttributes.tst
│ ├── CapJitResolvedGlobalVariables.tst
│ ├── CapJitResolvedOperations.tst
│ ├── CapJitTypedExpression.tst
│ ├── ENHANCED_SYNTAX_TREE.tst
│ ├── EXPR_CASE.tst
│ ├── Logic.tst
│ ├── LogicTemplates.tst
│ ├── MatElm.tst
│ ├── StopCompilationAtCategory.tst
│ ├── do_not_resolve_CAP_operations_statically.tst
│ ├── generalized_loop_fusion.tst
│ ├── generate_opposite_derivations.tst
│ ├── inline_arguments_for_variadic_functions.tst
│ ├── loop_extraction.tst
│ ├── proof_assistant.tst
│ ├── rapid_rassignment.tst
│ ├── testall.g
│ └── unique_function_ids.tst
├── ComplexesAndFilteredObjectsForCAP
├── .gitignore
├── LICENSE
├── PackageInfo.g
├── README.md
├── doc
│ ├── Doc.autodoc
│ └── clean
├── examples
│ └── .gitkeep
├── gap
│ ├── CocomplexCategory.gd
│ ├── CocomplexCategory.gi
│ ├── FilteredObjects.gd
│ ├── FilteredObjects.gi
│ ├── ZFunctors.gd
│ └── ZFunctors.gi
├── init.g
├── makedoc.g
├── makedoc_with_overfull_hbox_warnings.g
├── makefile
├── read.g
└── tst
│ ├── 100_LoadPackage.tst
│ └── testall.g
├── FreydCategoriesForCAP
├── .gitignore
├── LICENSE
├── PackageInfo.g
├── README.md
├── ToDo
├── doc
│ ├── Doc.autodoc
│ └── clean
├── examples
│ ├── AdditiveClosure.g
│ ├── AdditiveClosureKronecker.g
│ ├── AdditiveClosureMonoidal.g
│ ├── AdelmanCategoryBasics.g
│ ├── Basics.gi
│ ├── CategoryOfColumns.g
│ ├── CategoryOfRows.g
│ ├── CoFreydCategory.g
│ ├── CokernelImageClosureExample.gi
│ ├── FreydCategoryOfGradedRowsAndColumns.g
│ ├── Functors.g
│ ├── GradeSequenceNotAuslanderRegular.g
│ ├── GradeSequenceOnFpFunctors.g
│ ├── GradedRowsAndColumns.g
│ ├── GroupsAsCats.g
│ ├── HomOfFpFunctors.g
│ ├── HomStructureTest.g
│ ├── LinearClosure.g
│ ├── MatricesOverProsets.g
│ ├── MatricesOverZG.g
│ ├── Opposite_CategoryOfRows_as_CategoryOfColumns.g
│ ├── ProjInjBij.g
│ ├── Prosets.g
│ ├── Random.g
│ ├── Relations.g
│ ├── RingsAsAbCats.g
│ ├── RowsAndColsOverFields.g
│ ├── Simplify.g
│ ├── StandardTensorStructure.g
│ └── generate_documentation.g
├── gap
│ ├── AdditiveClosure.gd
│ ├── AdditiveClosure.gi
│ ├── AdelmanCategory.gd
│ ├── AdelmanCategory.gi
│ ├── CategoryOfColumns.gd
│ ├── CategoryOfColumns.gi
│ ├── CategoryOfColumns_as_Opposite_CategoryOfRows.gd
│ ├── CategoryOfColumns_as_Opposite_CategoryOfRows.gi
│ ├── CategoryOfGradedRowsAndColumns
│ │ ├── CategoryOfGradedColumns.gd
│ │ ├── CategoryOfGradedColumns.gi
│ │ ├── CategoryOfGradedRows.gd
│ │ ├── CategoryOfGradedRows.gi
│ │ ├── GradedRowOrColumn.gd
│ │ ├── GradedRowOrColumn.gi
│ │ ├── GradedRowOrColumnMorphism.gd
│ │ ├── GradedRowOrColumnMorphism.gi
│ │ ├── ToDo.txt
│ │ ├── Tools.gd
│ │ └── Tools.gi
│ ├── CategoryOfRows.autogen.gd
│ ├── CategoryOfRows.gd
│ ├── CategoryOfRows.gi
│ ├── CategoryOfRows_as_AdditiveClosure_RingAsCategory.gd
│ ├── CategoryOfRows_as_AdditiveClosure_RingAsCategory.gi
│ ├── CategoryOfRows_as_AdditiveClosure_RingAsCategory_CompilerLogic.gi
│ ├── CoFreydCategory.gd
│ ├── CoFreydCategory.gi
│ ├── CoFreydCategory_as_Opposite_FreydCategory_Opposite.gd
│ ├── CoFreydCategory_as_Opposite_FreydCategory_Opposite.gi
│ ├── CokernelImageClosure.gd
│ ├── CokernelImageClosure.gi
│ ├── FreydCategoriesDerivedMethods.gi
│ ├── FreydCategoriesForCAP.gd
│ ├── FreydCategoriesForCAP.gi
│ ├── FreydCategory.gd
│ ├── FreydCategory.gi
│ ├── GradeFiltration.gd
│ ├── GradeFiltration.gi
│ ├── GradedModulePresentationsByFreyd
│ │ ├── GradedModulePresentationsByFreyd.gd
│ │ ├── GradedModulePresentationsByFreyd.gi
│ │ └── ToDo.txt
│ ├── GroupsAsCats.gd
│ ├── GroupsAsCats.gi
│ ├── LinearClosure.gd
│ ├── LinearClosure.gi
│ ├── MethodRecordDeclarations.autogen.gd
│ ├── MethodRecordInstallations.autogen.gi
│ ├── ProSetsAsCats.gd
│ ├── ProSetsAsCats.gi
│ ├── Relations.gd
│ ├── Relations.gi
│ ├── RingsAsAbCats.gd
│ ├── RingsAsAbCats.gi
│ ├── SerreSubcategoryFunctions.gd
│ ├── SerreSubcategoryFunctions.gi
│ └── precompiled_categories
│ │ ├── CategoryOfColumns_as_Opposite_CategoryOfRows_ArbitraryRing_precompiled.gi
│ │ ├── CategoryOfColumns_as_Opposite_CategoryOfRows_CommutativeRing_precompiled.gi
│ │ ├── CategoryOfColumns_as_Opposite_CategoryOfRows_Field_precompiled.gi
│ │ ├── CategoryOfColumns_as_Opposite_CategoryOfRows_HomalgExteriorRingOverField_precompiled.gi
│ │ ├── CategoryOfRows_as_AdditiveClosure_RingAsCategory_ArbitraryRing_precompiled.gi
│ │ ├── CategoryOfRows_as_AdditiveClosure_RingAsCategory_CommutativeRing_precompiled.gi
│ │ ├── CategoryOfRows_as_AdditiveClosure_RingAsCategory_Field_precompiled.gi
│ │ ├── CategoryOfRows_as_AdditiveClosure_RingAsCategory_HomalgExteriorRingOverField_precompiled.gi
│ │ └── CoFreydCategory_as_Opposite_FreydCategory_Opposite_precompiled.gi
├── init.g
├── makedoc.g
├── makedoc_with_overfull_hbox_warnings.g
├── makefile
├── read.g
└── tst
│ ├── 050_load_with_suggested_dependencies.tst
│ ├── 100_LoadPackage.tst
│ ├── CategoryOfRows_as_AdditiveClosure_RingAsCategory.tst
│ ├── ClosedAndCoclosedRows.tst
│ ├── TensorCorrespondenceRowsAndOppositeOfRows.tst
│ ├── add_hom_structure_using_external_hom.tst
│ └── testall.g
├── GeneralizedMorphismsForCAP
├── .gitignore
├── LICENSE
├── LogicForGeneralizedMorphismCategory
│ └── PredicateImplicationsForGeneralizedMorphismCategory.tex
├── PackageInfo.g
├── README.md
├── doc
│ ├── Doc.autodoc
│ └── clean
├── examples
│ ├── ArtinianModules.g
│ ├── Example.g
│ ├── FiniteZModules.g
│ ├── IntersectionCospan.g
│ ├── IntersectionSpan.g
│ ├── IntersectionThreeArrow.g
│ ├── IsSupportedInOrigin.g
│ ├── QuasiAffine.g
│ ├── SnakeInMatrixCategory.g
│ ├── SnakeLemmaTrondheim.g
│ ├── Sweep.g
│ ├── VectorSpacesGeneralizedMorphismsCategory.g
│ └── VectorSpacesIsWellDefined.g
├── gap
│ ├── GeneralizedMorphismCategory.gd
│ ├── GeneralizedMorphismCategory.gi
│ ├── GeneralizedMorphismCategoryByCospans.gd
│ ├── GeneralizedMorphismCategoryByCospans.gi
│ ├── GeneralizedMorphismCategoryBySpans.gd
│ ├── GeneralizedMorphismCategoryBySpans.gi
│ ├── GeneralizedMorphismCategoryByThreeArrows.gd
│ ├── GeneralizedMorphismCategoryByThreeArrows.gi
│ ├── GeneralizedMorphismCategoryFunctors.gd
│ ├── GeneralizedMorphismCategoryFunctors.gi
│ ├── SerreQuotientSubcategory.gd
│ ├── SerreQuotientSubcategory.gi
│ ├── SerreQuotients.gd
│ ├── SerreQuotients.gi
│ ├── SerreQuotientsByCospans.gd
│ ├── SerreQuotientsByCospans.gi
│ ├── SerreQuotientsBySpans.gd
│ ├── SerreQuotientsBySpans.gi
│ ├── SerreQuotientsByThreeArrows.gd
│ ├── SerreQuotientsByThreeArrows.gi
│ ├── SerreQuotientsFunctors.gd
│ ├── SerreQuotientsFunctors.gi
│ ├── Switcher.gd
│ └── Switcher.gi
├── init.g
├── makedoc.g
├── makedoc_with_overfull_hbox_warnings.g
├── makefile
├── read.g
└── tst
│ ├── 100_LoadPackage.tst
│ └── testall.g
├── GradedModulePresentationsForCAP
├── .gitignore
├── LICENSE
├── PackageInfo.g
├── README.md
├── doc
│ ├── Doc.autodoc
│ └── clean
├── examples
│ ├── CohP1.g
│ ├── g_lp_over_polynomial_ring.g
│ └── g_rp_over_polynomial_ring.g
├── gap
│ ├── GradedModuleFunctors.gd
│ ├── GradedModuleFunctors.gi
│ ├── GradedModulePresentationMorphism.gd
│ ├── GradedModulePresentationMorphism.gi
│ ├── GradedModulePresentationObjects.gd
│ ├── GradedModulePresentationObjects.gi
│ ├── GradedModulePresentations.gd
│ ├── GradedModulePresentations.gi
│ ├── LiftPresentationTransformation.gd
│ └── LiftPresentationTransformation.gi
├── init.g
├── makedoc.g
├── makedoc_with_overfull_hbox_warnings.g
├── makefile
├── read.g
└── tst
│ ├── 100_LoadPackage.tst
│ └── testall.g
├── GroupRepresentationsForCAP
├── .gitignore
├── LICENSE
├── PackageInfo.g
├── README.md
├── doc
│ ├── Doc.autodoc
│ └── clean
├── examples
│ ├── A4CategoryTest.g
│ ├── AssociatorComputation
│ │ ├── ComputeAssociatorS3.g
│ │ ├── ReadDec.g
│ │ ├── ReadReps.g
│ │ ├── S3Ass.g
│ │ ├── S3Dec.g
│ │ ├── S3Key.g
│ │ ├── S3Reps.g
│ │ └── WriteAssociator.g
│ ├── D8CategoryTest.g
│ ├── HM1000CategoryTest.g
│ ├── Q8CategoryTest.g
│ ├── S3CategoryTest.g
│ ├── S3ZGradedCategoryTest.g
│ ├── S4CategoryTest.g
│ ├── S5CategoryTest.g
│ ├── SemisimpleCategoryTest.g
│ ├── SemisimpleCategoryTestForGZGraded.g
│ └── doc
│ │ ├── Quickstart_Associator_D8.g
│ │ └── Quickstart_RepD8.g
├── gap
│ ├── AssociatorsDatabase
│ │ ├── 1Ass.g
│ │ ├── A4Ass.g
│ │ ├── A5
│ │ │ ├── A5Ass.g
│ │ │ ├── A5Dec.g
│ │ │ ├── A5Key.g
│ │ │ └── A5Reps.g
│ │ ├── D14AssD.g
│ │ ├── D8
│ │ │ ├── D8Ass.g
│ │ │ ├── D8Dec.g
│ │ │ ├── D8Key.g
│ │ │ ├── D8Reps.g
│ │ │ └── WriteD8.g
│ │ ├── DatabaseKeys.g
│ │ ├── HM1000AssD.g
│ │ ├── Q8
│ │ │ ├── Q8Ass.g
│ │ │ ├── Q8Dec.g
│ │ │ ├── Q8Key.g
│ │ │ ├── Q8Reps.g
│ │ │ └── WriteQ8.g
│ │ ├── S3Ass.g
│ │ ├── S4Ass.g
│ │ └── S5AssD.g
│ ├── AssociatorsForRepresentationCategoryOfGroup.gd
│ ├── AssociatorsForRepresentationCategoryOfGroup.gi
│ ├── GIrreducibleObjects.gd
│ ├── GIrreducibleObjects.gi
│ ├── GZGradedIrreducibleObjects.gd
│ ├── GZGradedIrreducibleObjects.gi
│ ├── RepresentationCategoryOfGroup.gd
│ ├── RepresentationCategoryOfGroup.gi
│ ├── SemisimpleCategory.gd
│ ├── SemisimpleCategory.gi
│ ├── SemisimpleCategoryMorphisms.gd
│ ├── SemisimpleCategoryMorphisms.gi
│ ├── SemisimpleCategoryObjects.gd
│ ├── SemisimpleCategoryObjects.gi
│ ├── Tools.gd
│ └── Tools.gi
├── init.g
├── makedoc.g
├── makedoc_with_overfull_hbox_warnings.g
├── makefile
├── read.g
└── tst
│ ├── 100_LoadPackage.tst
│ └── testall.g
├── HomologicalAlgebraForCAP
├── .gitignore
├── LICENSE
├── PackageInfo.g
├── README.md
├── doc
│ ├── Doc.autodoc
│ └── clean
├── examples
│ ├── BettiTableSpectralSequence.g
│ ├── Homology.g
│ ├── SnakeLemmaModules.g
│ ├── SpectralSequences.g
│ └── SpectralSequencesTest.g
├── gap
│ ├── HomologicalAlgebraAlgorithms.gd
│ └── HomologicalAlgebraAlgorithms.gi
├── init.g
├── makedoc.g
├── makedoc_with_overfull_hbox_warnings.g
├── makefile
├── read.g
└── tst
│ ├── 100_LoadPackage.tst
│ └── testall.g
├── InternalExteriorAlgebraForCAP
├── .gitignore
├── LICENSE
├── PackageInfo.g
├── README.md
├── doc
│ ├── Doc.autodoc
│ └── clean
├── examples
│ ├── HMCohomology.g
│ └── InternalExteriorAlgebraModulesTest.g
├── gap
│ ├── InternalExteriorAlgebraModules.gd
│ └── InternalExteriorAlgebraModules.gi
├── init.g
├── makedoc.g
├── makedoc_with_overfull_hbox_warnings.g
├── makefile
├── read.g
└── tst
│ ├── 100_LoadPackage.tst
│ └── testall.g
├── Jenkinsfile
├── LinearAlgebraForCAP
├── .gitignore
├── LICENSE
├── LogicForMatrixCategory
│ └── PredicateImplicationsForMatrixCategory.tex
├── PackageInfo.g
├── README.md
├── doc
│ ├── Doc.autodoc
│ └── clean
├── examples
│ ├── Example.g
│ ├── Functors.g
│ ├── HomologyObject.g
│ ├── Liftable.g
│ ├── LinearAlgebraMissingsOperations.g
│ ├── MatrixCategory.g
│ ├── MonoidalStructure.g
│ ├── MorphismToSink_MorphismFromSource.g
│ ├── OppositeCategory.g
│ ├── PreComposeList.g
│ ├── SplitEpiSummand.g
│ ├── VectorSpacesKernelTest.g
│ ├── VectorSpacesPullback.g
│ └── WrapperCategory.g
├── gap
│ ├── CompilerLogic.gi
│ ├── LinearAlgebraForCAP.gd
│ ├── LinearAlgebraForCAP.gi
│ ├── MatrixCategoryMorphism.gd
│ ├── MatrixCategoryMorphism.gi
│ ├── MatrixCategoryObject.gd
│ ├── MatrixCategoryObject.gi
│ ├── MatrixCategory_as_CategoryOfRows.gd
│ ├── MatrixCategory_as_CategoryOfRows.gi
│ └── precompiled_categories
│ │ ├── MatrixCategory_precompiled.gi
│ │ └── Opposite_MatrixCategory_precompiled.gi
├── init.g
├── makedoc.g
├── makedoc_with_overfull_hbox_warnings.g
├── makefile
├── read.g
└── tst
│ ├── 100_LoadPackage.tst
│ ├── 200_FreydCategoriesForCAP.tst
│ ├── ClosedAndCoclosedInMatrixCategory.tst
│ ├── TensorCorrespondenceMatrixCategoryAndOpposite.tst
│ ├── testall.g
│ └── testall_no_precompiled_code.g
├── Manual
├── .gitignore
├── Bibliography.bib
├── CAPManual.pdf
├── CAPManual.tex
├── Caching.tex
├── Constructions.tex
├── ConstructiveCategoryTheory.tex
├── GAP_code
│ ├── group_example
│ │ └── complete_example.g
│ └── vecspaces_example
│ │ └── complete_example.g
├── GAP_tex
│ ├── group_example
│ │ ├── AddGroup.g
│ │ ├── AddGroup.tex
│ │ ├── AddGroup_main.tex
│ │ ├── AddIdentityMorphism.g
│ │ ├── AddIdentityMorphism.tex
│ │ ├── AddIdentityMorphism_main.tex
│ │ ├── AddIsCongruentForMorphisms.g
│ │ ├── AddIsCongruentForMorphisms.tex
│ │ ├── AddIsCongruentForMorphisms_main.tex
│ │ ├── AddPreCompose.g
│ │ ├── AddPreCompose.tex
│ │ ├── AddPreCompose_main.tex
│ │ ├── AdditionalMorphism.g
│ │ ├── AdditionalMorphism.tex
│ │ ├── AdditionalMorphism_main.tex
│ │ ├── CreateCategory.g
│ │ ├── CreateCategory.tex
│ │ ├── CreateCategory_main.tex
│ │ ├── EnableAdd.g
│ │ ├── EnableAdd.tex
│ │ ├── EnableAdd_main.tex
│ │ ├── Finalize.g
│ │ ├── Finalize.tex
│ │ ├── Finalize_main.tex
│ │ ├── GroupFilter.g
│ │ ├── GroupFilter.tex
│ │ ├── GroupFilter_main.tex
│ │ ├── IdentityMorphism.g
│ │ ├── IdentityMorphism.tex
│ │ └── IdentityMorphism_main.tex
│ └── vecspaces_example
│ │ ├── ApplyDoubleFunctor.g
│ │ ├── ApplyDoubleFunctor.tex
│ │ ├── ApplyDoubleFunctor_main.tex
│ │ ├── Cokernel.tex
│ │ ├── CreateMorphisms.g
│ │ ├── CreateMorphisms.tex
│ │ ├── CreateMorphisms_main.tex
│ │ ├── Declarations.tex
│ │ ├── Declarations2.tex
│ │ ├── DerivedMethodsExample.g
│ │ ├── DerivedMethodsExample.tex
│ │ ├── DerivedMethodsExample_main.tex
│ │ ├── DirectSum.tex
│ │ ├── DoubleFunctor.tex
│ │ ├── Equalities.tex
│ │ ├── Finalize.tex
│ │ ├── Functions1.tex
│ │ ├── HomSets.tex
│ │ ├── IdentityFunctor.g
│ │ ├── IdentityFunctor.tex
│ │ ├── IdentityFunctor2.g
│ │ ├── IdentityFunctor2.tex
│ │ ├── IdentityFunctor2_main.tex
│ │ ├── IdentityFunctor_main.tex
│ │ ├── InstallFunctor.g
│ │ ├── InstallFunctor.tex
│ │ ├── InstallFunctor_main.tex
│ │ ├── IntersectionExample.g
│ │ ├── IntersectionExample.tex
│ │ ├── IntersectionExample_main.tex
│ │ ├── Kernel.tex
│ │ ├── KernelAlternative.gi
│ │ ├── KernelAlternative.tex
│ │ ├── KernelExample.g
│ │ ├── KernelExample.tex
│ │ ├── KernelExample_main.tex
│ │ ├── NaturalTrafo.tex
│ │ ├── NaturalTrafoApply.g
│ │ ├── NaturalTrafoApply.tex
│ │ ├── NaturalTrafoApply_main.tex
│ │ ├── QuadrupleFunctor.g
│ │ ├── QuadrupleFunctor.tex
│ │ ├── QuadrupleFunctor_main.tex
│ │ ├── SnakeLemma.g
│ │ ├── SnakeLemma.tex
│ │ ├── SnakeLemmaImplementation.tex
│ │ ├── SnakeLemma_main.tex
│ │ ├── View.tex
│ │ ├── ViewOperations.g
│ │ ├── ViewOperations.tex
│ │ ├── ViewOperations_main.tex
│ │ └── ZeroObject.tex
├── Index.tex
├── Introduction.tex
├── Logic.tex
├── README.md
├── Specifications.tex
├── Tutorial.tex
├── header.tex
├── myalpha.bst
└── pre.tex
├── ModulePresentationsForCAP
├── .gitignore
├── LICENSE
├── LogicForModulePresentations
│ ├── .gitignore
│ ├── LICENSE
│ ├── PredicateImplicationsForGeneralModuleCategories.tex
│ ├── PropositionsForGeneralModuleCategories.tex
│ └── RelationsForGeneralModuleCategories.tex
├── PackageInfo.g
├── README.md
├── doc
│ ├── Doc.autodoc
│ └── clean
├── examples
│ ├── Annihilator.g
│ ├── Gabriel_Purity_Paper.g
│ ├── IntersectionOfIdeals.g
│ ├── Koszul.g
│ ├── MatricesGrowthTest.g
│ ├── ModulePresentationsMonoidalCategory.g
│ ├── MonoidalStructure.g
│ ├── MorphismBetweenDirectSums.g
│ ├── ProjectivityTest.g
│ ├── Purity.g
│ ├── Resolution.g
│ ├── SpectralSequenceTest.g
│ └── testfile.g
├── gap
│ ├── ModulePresentationFunctors.gd
│ ├── ModulePresentationFunctors.gi
│ ├── ModulePresentationMorphism.gd
│ ├── ModulePresentationMorphism.gi
│ ├── ModulePresentationNaturalTransformations.gd
│ ├── ModulePresentationNaturalTransformations.gi
│ ├── ModulePresentationObject.gd
│ ├── ModulePresentationObject.gi
│ ├── ModulePresentationsForCAP.gd
│ ├── ModulePresentationsForCAP.gi
│ ├── ModulePresentations_as_FreydCategory_CategoryOfRowsOrColumns.gd
│ ├── ModulePresentations_as_FreydCategory_CategoryOfRowsOrColumns.gi
│ ├── Tools.gd
│ ├── Tools.gi
│ └── precompiled_categories
│ │ ├── LeftPresentations_as_FreydCategory_CategoryOfRows_ArbitraryRing_precompiled.gi
│ │ ├── LeftPresentations_as_FreydCategory_CategoryOfRows_CommutativeRing_precompiled.gi
│ │ ├── LeftPresentations_as_FreydCategory_CategoryOfRows_Field_precompiled.gi
│ │ ├── RightPresentations_as_FreydCategory_CategoryOfColumns_ArbitraryRing_precompiled.gi
│ │ ├── RightPresentations_as_FreydCategory_CategoryOfColumns_CommutativeRing_precompiled.gi
│ │ └── RightPresentations_as_FreydCategory_CategoryOfColumns_Field_precompiled.gi
├── init.g
├── makedoc.g
├── makedoc_with_overfull_hbox_warnings.g
├── makefile
├── read.g
└── tst
│ ├── 100_LoadPackage.tst
│ ├── basic.tst
│ └── testall.g
├── ModulesOverLocalRingsForCAP
├── .gitignore
├── LICENSE
├── PackageInfo.g
├── README.md
├── doc
│ ├── Doc.autodoc
│ └── clean
├── examples
│ ├── BasisOfRowModule.g
│ ├── Category.g
│ ├── ComplexTask.g
│ ├── General.g
│ ├── IntersectionFormula.g
│ ├── IntersectionFormulaHartshorne.g
│ ├── NonMaximalIdeal.g
│ ├── Regular.g
│ └── homalgTest.g
├── gap
│ ├── Functors.gd
│ ├── Functors.gi
│ ├── GaussForQuotientField.gd
│ ├── GaussForQuotientField.gi
│ ├── ModulesOverLocalRingsForCAP.gd
│ ├── ModulesOverLocalRingsForCAP.gi
│ ├── Morphisms.gd
│ ├── Morphisms.gi
│ ├── NaturalTransformations.gd
│ ├── NaturalTransformations.gi
│ ├── Objects.gd
│ └── Objects.gi
├── init.g
├── makedoc.g
├── makedoc_with_overfull_hbox_warnings.g
├── makefile
├── read.g
└── tst
│ ├── 100_LoadPackage.tst
│ └── testall.g
├── MonoidalCategories
├── .gitignore
├── LICENSE
├── PackageInfo.g
├── README.md
├── doc
│ ├── Doc.autodoc
│ └── clean
├── examples
│ └── .gitkeep
├── gap
│ ├── AdditiveMonoidalCategories.gd
│ ├── AdditiveMonoidalCategories.gi
│ ├── AdditiveMonoidalCategoriesDerivedMethods.gi
│ ├── AdditiveMonoidalCategoriesMethodRecord.gi
│ ├── AdditiveMonoidalCategoriesMethodRecordDeclarations.autogen.gd
│ ├── AdditiveMonoidalCategoriesMethodRecordInstallations.autogen.gi
│ ├── AdditiveMonoidalCategoriesTest.gd
│ ├── AdditiveMonoidalCategoriesTest.gi
│ ├── BraidedMonoidalCategories.gd
│ ├── BraidedMonoidalCategories.gi
│ ├── BraidedMonoidalCategoriesDerivedMethods.gi
│ ├── BraidedMonoidalCategoriesMethodRecord.gi
│ ├── BraidedMonoidalCategoriesMethodRecordDeclarations.autogen.gd
│ ├── BraidedMonoidalCategoriesMethodRecordInstallations.autogen.gi
│ ├── BraidedMonoidalCategoriesProperties.gd
│ ├── BraidedMonoidalCategoriesProperties.gi
│ ├── BraidedMonoidalCategoriesTest.gd
│ ├── BraidedMonoidalCategoriesTest.gi
│ ├── ClosedMonoidalCategories.gd
│ ├── ClosedMonoidalCategories.gi
│ ├── ClosedMonoidalCategoriesDerivedMethods.gi
│ ├── ClosedMonoidalCategoriesDerivedMethods_extra.gi
│ ├── ClosedMonoidalCategoriesMethodRecord.gi
│ ├── ClosedMonoidalCategoriesMethodRecordDeclarations.autogen.gd
│ ├── ClosedMonoidalCategoriesMethodRecordInstallations.autogen.gi
│ ├── ClosedMonoidalCategoriesProperties.gd
│ ├── ClosedMonoidalCategoriesProperties.gi
│ ├── ClosedMonoidalCategoriesTest.gd
│ ├── ClosedMonoidalCategoriesTest.gi
│ ├── ClosedMonoidalCategoriesTestWithGiven.gd
│ ├── ClosedMonoidalCategoriesTestWithGiven.gi
│ ├── CoclosedMonoidalCategories.gd
│ ├── CoclosedMonoidalCategories.gi
│ ├── CoclosedMonoidalCategoriesDerivedMethods.gi
│ ├── CoclosedMonoidalCategoriesMethodRecord.gi
│ ├── CoclosedMonoidalCategoriesMethodRecordDeclarations.autogen.gd
│ ├── CoclosedMonoidalCategoriesMethodRecordInstallations.autogen.gi
│ ├── CoclosedMonoidalCategoriesProperties.gd
│ ├── CoclosedMonoidalCategoriesProperties.gi
│ ├── CoclosedMonoidalCategoriesTest.gd
│ ├── CoclosedMonoidalCategoriesTest.gi
│ ├── CoclosedMonoidalCategoriesTestWithGiven.gd
│ ├── CoclosedMonoidalCategoriesTestWithGiven.gi
│ ├── CreateClosedMonoidalCategories.gd
│ ├── CreateClosedMonoidalCategories.gi
│ ├── CreateCoclosedMonoidalCategories.gd
│ ├── CreateCoclosedMonoidalCategories.gi
│ ├── CreateLeftClosedMonoidalCategories.gd
│ ├── CreateLeftClosedMonoidalCategories.gi
│ ├── CreateLeftCoclosedMonoidalCategories.gd
│ ├── CreateLeftCoclosedMonoidalCategories.gi
│ ├── CreateMonoidalCategories.gd
│ ├── CreateMonoidalCategories.gi
│ ├── HomomorphismStructureDerivedMethods.gi
│ ├── LeftClosedMonoidalCategories.gd
│ ├── LeftClosedMonoidalCategories.gi
│ ├── LeftClosedMonoidalCategoriesDerivedMethods.gi
│ ├── LeftClosedMonoidalCategoriesMethodRecord.gi
│ ├── LeftClosedMonoidalCategoriesMethodRecordDeclarations.autogen.gd
│ ├── LeftClosedMonoidalCategoriesMethodRecordInstallations.autogen.gi
│ ├── LeftClosedMonoidalCategoriesProperties.gd
│ ├── LeftClosedMonoidalCategoriesProperties.gi
│ ├── LeftClosedMonoidalCategoriesTest.gd
│ ├── LeftClosedMonoidalCategoriesTest.gi
│ ├── LeftClosedMonoidalCategoriesTestWithGiven.gd
│ ├── LeftClosedMonoidalCategoriesTestWithGiven.gi
│ ├── LeftCoclosedMonoidalCategories.gd
│ ├── LeftCoclosedMonoidalCategories.gi
│ ├── LeftCoclosedMonoidalCategoriesDerivedMethods.gi
│ ├── LeftCoclosedMonoidalCategoriesMethodRecord.gi
│ ├── LeftCoclosedMonoidalCategoriesMethodRecordDeclarations.autogen.gd
│ ├── LeftCoclosedMonoidalCategoriesMethodRecordInstallations.autogen.gi
│ ├── LeftCoclosedMonoidalCategoriesProperties.gd
│ ├── LeftCoclosedMonoidalCategoriesProperties.gi
│ ├── LeftCoclosedMonoidalCategoriesTest.gd
│ ├── LeftCoclosedMonoidalCategoriesTest.gi
│ ├── LeftCoclosedMonoidalCategoriesTestWithGiven.gd
│ ├── LeftCoclosedMonoidalCategoriesTestWithGiven.gi
│ ├── MonoidalCategories.gd
│ ├── MonoidalCategories.gi
│ ├── MonoidalCategoriesDerivedMethods.gi
│ ├── MonoidalCategoriesMethodRecord.gi
│ ├── MonoidalCategoriesMethodRecordDeclarations.autogen.gd
│ ├── MonoidalCategoriesMethodRecordInstallations.autogen.gi
│ ├── MonoidalCategoriesProperties.gd
│ ├── MonoidalCategoriesTensorProductOnObjectsAndTensorUnit.gd
│ ├── MonoidalCategoriesTensorProductOnObjectsAndTensorUnit.gi
│ ├── MonoidalCategoriesTensorProductOnObjectsAndTensorUnitMethodRecord.gi
│ ├── MonoidalCategoriesTensorProductOnObjectsAndTensorUnitMethodRecordDeclarations.autogen.gd
│ ├── MonoidalCategoriesTensorProductOnObjectsAndTensorUnitMethodRecordInstallations.autogen.gi
│ ├── MonoidalCategoriesTensorProductOnObjectsAndTensorUnitTest.gd
│ ├── MonoidalCategoriesTensorProductOnObjectsAndTensorUnitTest.gi
│ ├── MonoidalCategoriesTest.gd
│ ├── MonoidalCategoriesTest.gi
│ ├── RigidSymmetricClosedMonoidalCategories.gd
│ ├── RigidSymmetricClosedMonoidalCategories.gi
│ ├── RigidSymmetricClosedMonoidalCategoriesDerivedMethods.gi
│ ├── RigidSymmetricClosedMonoidalCategoriesMethodRecord.gi
│ ├── RigidSymmetricClosedMonoidalCategoriesMethodRecordDeclarations.autogen.gd
│ ├── RigidSymmetricClosedMonoidalCategoriesMethodRecordInstallations.autogen.gi
│ ├── RigidSymmetricClosedMonoidalCategoriesProperties.gd
│ ├── RigidSymmetricClosedMonoidalCategoriesProperties.gi
│ ├── RigidSymmetricClosedMonoidalCategoriesTest.gd
│ ├── RigidSymmetricClosedMonoidalCategoriesTest.gi
│ ├── RigidSymmetricCoclosedMonoidalCategories.gd
│ ├── RigidSymmetricCoclosedMonoidalCategories.gi
│ ├── RigidSymmetricCoclosedMonoidalCategoriesDerivedMethods.gi
│ ├── RigidSymmetricCoclosedMonoidalCategoriesMethodRecord.gi
│ ├── RigidSymmetricCoclosedMonoidalCategoriesMethodRecordDeclarations.autogen.gd
│ ├── RigidSymmetricCoclosedMonoidalCategoriesMethodRecordInstallations.autogen.gi
│ ├── RigidSymmetricCoclosedMonoidalCategoriesProperties.gd
│ ├── RigidSymmetricCoclosedMonoidalCategoriesProperties.gi
│ ├── RigidSymmetricCoclosedMonoidalCategoriesTest.gd
│ ├── RigidSymmetricCoclosedMonoidalCategoriesTest.gi
│ ├── SymmetricClosedMonoidalCategoriesDerivedMethods.gi
│ ├── SymmetricClosedMonoidalCategoriesProperties.gd
│ ├── SymmetricClosedMonoidalCategoriesProperties.gi
│ ├── SymmetricCoclosedMonoidalCategoriesDerivedMethods.gi
│ ├── SymmetricCoclosedMonoidalCategoriesProperties.gd
│ ├── SymmetricCoclosedMonoidalCategoriesProperties.gi
│ ├── SymmetricMonoidalCategoriesDerivedMethods.gi
│ ├── SymmetricMonoidalCategoriesProperties.gd
│ ├── SymmetricMonoidalCategoriesProperties.gi
│ ├── Synonyms.gd
│ └── Synonyms.gi
├── init.g
├── makedoc.g
├── makedoc_with_overfull_hbox_warnings.g
├── makefile
├── read.g
└── tst
│ ├── 100_LoadPackage.tst
│ ├── TerminalCategoryMonoidal.tst
│ ├── TerminalCategoryMonoidalLeft.tst
│ └── testall.g
├── README.md
├── ToricSheaves
├── .gitignore
├── LICENSE
├── PackageInfo.g
├── README.md
├── doc
│ ├── Doc.autodoc
│ └── clean
├── examples
│ ├── Gabriel_Purity_Paper_Sheaves.g
│ ├── Hirzebruch7.gi
│ └── WeightedProjectiveSpace.gi
├── gap
│ ├── CoverByLocallyFreeObject.gd
│ ├── CoverByLocallyFreeObject.gi
│ ├── GlobalSectionFunctors.gd
│ ├── GlobalSectionFunctors.gi
│ ├── ToricSheaves.gd
│ ├── ToricSheaves.gi
│ ├── ToricSheavesForToricVarieties.gd
│ ├── ToricSheavesForToricVarieties.gi
│ └── ZeroPartOfModule.gi
├── init.g
├── makedoc.g
├── makedoc_with_overfull_hbox_warnings.g
├── makefile
├── read.g
└── tst
│ ├── 100_LoadPackage.tst
│ └── testall.g
├── dev
├── .release
├── ci_gaprc
├── codecov.yml
├── make_dist.sh
├── process_coverage.py
├── release-gap-package
├── simulate_dist.sh
└── upload_codecov.sh
└── makefile
/.gitignore:
--------------------------------------------------------------------------------
1 | tmp/
2 | gh-pages
3 | *swp
4 | DISCUSS
5 | *~
6 | # git-ls-files --others --exclude-from=.git/info/exclude
7 | # Lines that start with '#' are comments.
8 | # For a project mostly in C, the following would be a good set of
9 | # exclude patterns (uncomment them if you want to use them):
10 | # *.[oa]
11 | *~
12 | bin
13 | change.log
14 | VERSION
15 | public_html
16 | public_html.version
17 | */doc/manual.six
18 | */doc/*.pdf
19 | */doc/*.html
20 | */doc/*.txt
21 | */doc/*.css
22 | */doc/*.js
23 | */doc/*Bib.xml
24 | */doc/*Bib.xml.bib
25 | */doc/*.aux
26 | */doc/*.bbl
27 | */doc/*.blg
28 | */doc/*.brf
29 | */doc/*.idx
30 | */doc/*.ilg
31 | */doc/*.ind
32 | */doc/*.log
33 | */doc/*.pnr
34 | */doc/*.tex
35 | */doc/*.toc
36 | */doc/*.out
37 | */doc/manual.lab
38 | *.DS_Store
39 | doc/*.xml
40 | */doc/*.xml
41 | maketest.g
42 | parsertest.g
43 | judgement_test
44 |
45 | stats
46 | coverage.json
47 |
--------------------------------------------------------------------------------
/ActionsForCAP/.gitignore:
--------------------------------------------------------------------------------
1 | /doc/chap*.html
2 | /doc/chap*.txt
3 | /doc/*.css
4 | /doc/*.js
5 | /doc/chooser.html
6 | /doc/*.aux
7 | /doc/*.bbl
8 | /doc/*.blg
9 | /doc/*.brf
10 | /doc/*.idx
11 | /doc/*.ilg
12 | /doc/*.ind
13 | /doc/*.lab
14 | /doc/*.log
15 | /doc/*.out
16 | /doc/*.pnr
17 | /doc/*.six
18 | /doc/*.tex
19 | /doc/*.toc
20 | /doc/manual.pdf
21 | /doc/_*.xml
22 |
23 | /bin/
24 | /gen/
25 | /Makefile
26 |
27 | /tmp/
28 | /gh-pages/
29 |
30 | /coverage.json
31 | /doc/*.xml
32 | /doc_tmp/
33 | /stats
34 | /tst/actionsforcap*.tst
35 |
--------------------------------------------------------------------------------
/ActionsForCAP/doc/Doc.autodoc:
--------------------------------------------------------------------------------
1 | @Chapter Actions
2 | @Chapter Coactions
3 | @Chapter G-Irreducible Objects
4 | @Chapter G-Z-Graded Irreducible Objects
5 | @Chapter Internal Exterior Algebra Modules
6 | @Chapter Semisimple Categories
7 | @Chapter Representation Category of Groups
8 | @Chapter Associators
9 |
--------------------------------------------------------------------------------
/ActionsForCAP/doc/clean:
--------------------------------------------------------------------------------
1 | #!/bin/sh
2 | rm -f *.{aux,bbl,blg,brf,css,html,idx,ilg,ind,js,lab,log,out,pdf,pnr,six,tex,toc,txt,xml,xml.bib}
3 |
--------------------------------------------------------------------------------
/ActionsForCAP/examples/ActionsTest.g:
--------------------------------------------------------------------------------
1 | #! @Chapter Examples and tests
2 |
3 | #! @Section Tests
4 |
5 | #! @Example
6 |
7 | LoadPackage( "ActionsForCAP", false );
8 | #! true
9 | LoadPackage( "LinearAlgebraForCAP", false );
10 | #! true
11 |
12 | Q := HomalgFieldOfRationals();;
13 | vec := MatrixCategory( Q );;
14 | u := TensorUnit( vec );;
15 | cat := LeftActionsCategory( u );
16 | #! Category of left actions of
17 | V := MatrixCategoryObject( vec, 2 );
18 | #!
19 | alpha := VectorSpaceMorphism( TensorProductOnObjects( u, V ), HomalgMatrix( [ [ 0, 1 ], [ -1, 0 ] ], 2, 2, Q ), V );
20 | #!
21 |
22 | #! @EndExample
23 |
--------------------------------------------------------------------------------
/ActionsForCAP/examples/ActionsTest2.g:
--------------------------------------------------------------------------------
1 | LoadPackage( "ActionsForCAP" );
2 |
3 | LoadPackage( "LinearAlgebraForCAP" );
4 |
5 | Q := HomalgFieldOfRationals( );
6 |
7 | category := MatrixCategory( Q );
8 |
9 | u := TensorUnit( category );
10 |
11 | a := VectorSpaceObject( 2, Q );
12 |
13 | structure_morphism := VectorSpaceMorphism( TensorProductOnObjects( u, a ),
14 | HomalgMatrix( [ [ 0, 1 ], [ -1, 0 ] ], 2, 2, Q ),
15 | a );
16 |
17 | act_a := LeftActionObject( structure_morphism, u );
18 |
19 | coact_a := RightCoactionObject( (-1) * RightUnitorInverse( a ), u );
20 |
21 | mor_1 := ActionMorphism( act_a, IdentityMorphism( a ), act_a );
22 |
--------------------------------------------------------------------------------
/ActionsForCAP/init.g:
--------------------------------------------------------------------------------
1 | # SPDX-License-Identifier: GPL-2.0-or-later
2 | # ActionsForCAP: Actions and Coactions for CAP
3 | #
4 | # Reading the declaration part of the package.
5 | #
6 | ReadPackage( "ActionsForCAP", "gap/ActionsCategory.gd" );
7 |
8 | ReadPackage( "ActionsForCAP", "gap/CoactionsCategory.gd" );
9 |
10 | ReadPackage( "ActionsForCAP", "gap/ActionObjects.gd" );
11 |
12 | ReadPackage( "ActionsForCAP", "gap/CoactionObjects.gd" );
13 |
14 | ReadPackage( "ActionsForCAP", "gap/ActionMorphisms.gd" );
15 |
16 | ReadPackage( "ActionsForCAP", "gap/CoactionMorphisms.gd" );
17 |
--------------------------------------------------------------------------------
/ActionsForCAP/makedoc.g:
--------------------------------------------------------------------------------
1 | # SPDX-License-Identifier: GPL-2.0-or-later
2 | # ActionsForCAP: Actions and Coactions for CAP
3 | #
4 | # This file is a script which compiles the package manual.
5 | #
6 | if fail = LoadPackage( "AutoDoc", "2019.05.20" ) then
7 |
8 | Error( "AutoDoc version 2019.05.20 or newer is required." );
9 |
10 | fi;
11 |
12 | AutoDoc( rec(
13 | autodoc := rec(
14 | files := [ "doc/Doc.autodoc" ],
15 | scan_dirs := [ "doc", "gap", "examples", "examples/doc" ],
16 | ),
17 | extract_examples := rec(
18 | units := "Single",
19 | ),
20 | gapdoc := rec(
21 | LaTeXOptions := rec(
22 | LateExtraPreamble := """
23 | """,
24 | ),
25 | ),
26 | scaffold := rec(
27 | entities := [ "homalg", "CAP" ],
28 | ),
29 | ) );
30 |
31 | QUIT;
32 |
--------------------------------------------------------------------------------
/ActionsForCAP/read.g:
--------------------------------------------------------------------------------
1 | # SPDX-License-Identifier: GPL-2.0-or-later
2 | # ActionsForCAP: Actions and Coactions for CAP
3 | #
4 | # Reading the implementation part of the package.
5 | #
6 | ReadPackage( "ActionsForCAP", "gap/ActionObjects.gi" );
7 |
8 | ReadPackage( "ActionsForCAP", "gap/CoactionObjects.gi" );
9 |
10 | ReadPackage( "ActionsForCAP", "gap/ActionMorphisms.gi" );
11 |
12 | ReadPackage( "ActionsForCAP", "gap/CoactionMorphisms.gi" );
13 |
14 | ReadPackage( "ActionsForCAP", "gap/ActionsCategory.gi" );
15 |
16 | ReadPackage( "ActionsForCAP", "gap/CoactionsCategory.gi" );
17 |
--------------------------------------------------------------------------------
/ActionsForCAP/tst/100_LoadPackage.tst:
--------------------------------------------------------------------------------
1 | # SPDX-License-Identifier: GPL-2.0-or-later
2 | # ActionsForCAP: Actions and Coactions for CAP
3 | #
4 | # This file tests if the package can be loaded without errors or warnings.
5 | #
6 | # do not load suggested dependencies automatically
7 | gap> PushOptions( rec( OnlyNeeded := true ) );
8 | gap> package_loading_info_level := InfoLevel( InfoPackageLoading );;
9 | gap> SetInfoLevel( InfoPackageLoading, PACKAGE_ERROR );;
10 | gap> LoadPackage( "ActionsForCAP", false );
11 | true
12 | gap> SetInfoLevel( InfoPackageLoading, PACKAGE_INFO );;
13 | gap> LoadPackage( "ActionsForCAP" );
14 | true
15 | gap> SetInfoLevel( InfoPackageLoading, package_loading_info_level );;
16 |
--------------------------------------------------------------------------------
/AttributeCategoryForCAP/.gitignore:
--------------------------------------------------------------------------------
1 | /doc/chap*.html
2 | /doc/chap*.txt
3 | /doc/*.css
4 | /doc/*.js
5 | /doc/chooser.html
6 | /doc/*.aux
7 | /doc/*.bbl
8 | /doc/*.blg
9 | /doc/*.brf
10 | /doc/*.idx
11 | /doc/*.ilg
12 | /doc/*.ind
13 | /doc/*.lab
14 | /doc/*.log
15 | /doc/*.out
16 | /doc/*.pnr
17 | /doc/*.six
18 | /doc/*.tex
19 | /doc/*.toc
20 | /doc/manual.pdf
21 | /doc/_*.xml
22 |
23 | /bin/
24 | /gen/
25 | /Makefile
26 |
27 | /tmp/
28 | /gh-pages/
29 |
30 | /coverage.json
31 | /doc/*.xml
32 | /doc_tmp/
33 | /stats
34 | /tst/attributecategoryforcap*.tst
35 |
--------------------------------------------------------------------------------
/AttributeCategoryForCAP/doc/Doc.autodoc:
--------------------------------------------------------------------------------
1 | @Chapter Attribute Category
2 |
--------------------------------------------------------------------------------
/AttributeCategoryForCAP/doc/clean:
--------------------------------------------------------------------------------
1 | #!/bin/sh
2 | rm -f *.{aux,bbl,blg,brf,css,html,idx,ilg,ind,js,lab,log,out,pdf,pnr,six,tex,toc,txt,xml,xml.bib}
3 |
--------------------------------------------------------------------------------
/AttributeCategoryForCAP/init.g:
--------------------------------------------------------------------------------
1 | # SPDX-License-Identifier: GPL-2.0-or-later
2 | # AttributeCategoryForCAP: Automatic enhancement with attributes of a CAP category
3 | #
4 | # Reading the declaration part of the package.
5 | #
6 |
7 | ReadPackage( "AttributeCategoryForCAP", "gap/AttributeCategory.gd" );
8 |
--------------------------------------------------------------------------------
/AttributeCategoryForCAP/makedoc.g:
--------------------------------------------------------------------------------
1 | # SPDX-License-Identifier: GPL-2.0-or-later
2 | # AttributeCategoryForCAP: Automatic enhancement with attributes of a CAP category
3 | #
4 | # This file is a script which compiles the package manual.
5 | #
6 | if fail = LoadPackage( "AutoDoc", "2019.05.20" ) then
7 |
8 | Error( "AutoDoc version 2019.05.20 or newer is required." );
9 |
10 | fi;
11 |
12 | AutoDoc( rec(
13 | autodoc := rec(
14 | files := [ "doc/Doc.autodoc" ],
15 | scan_dirs := [ "doc", "gap", "examples", "examples/doc" ],
16 | ),
17 | extract_examples := rec(
18 | units := "Single",
19 | ),
20 | gapdoc := rec(
21 | LaTeXOptions := rec(
22 | LateExtraPreamble := """
23 | """,
24 | ),
25 | ),
26 | scaffold := rec(
27 | entities := [ "homalg", "CAP" ],
28 | ),
29 | ) );
30 |
31 | QUIT;
32 |
--------------------------------------------------------------------------------
/AttributeCategoryForCAP/read.g:
--------------------------------------------------------------------------------
1 | # SPDX-License-Identifier: GPL-2.0-or-later
2 | # AttributeCategoryForCAP: Automatic enhancement with attributes of a CAP category
3 | #
4 | # Reading the implementation part of the package.
5 | #
6 | ReadPackage( "AttributeCategoryForCAP", "gap/AttributeCategory.gi" );
7 |
--------------------------------------------------------------------------------
/AttributeCategoryForCAP/tst/100_LoadPackage.tst:
--------------------------------------------------------------------------------
1 | # SPDX-License-Identifier: GPL-2.0-or-later
2 | # AttributeCategoryForCAP: Automatic enhancement with attributes of a CAP category
3 | #
4 | # This file tests if the package can be loaded without errors or warnings.
5 | #
6 | # do not load suggested dependencies automatically
7 | gap> PushOptions( rec( OnlyNeeded := true ) );
8 | gap> package_loading_info_level := InfoLevel( InfoPackageLoading );;
9 | gap> SetInfoLevel( InfoPackageLoading, PACKAGE_ERROR );;
10 | gap> LoadPackage( "AttributeCategoryForCAP", false );
11 | true
12 | gap> SetInfoLevel( InfoPackageLoading, PACKAGE_INFO );;
13 | gap> LoadPackage( "AttributeCategoryForCAP" );
14 | true
15 | gap> SetInfoLevel( InfoPackageLoading, package_loading_info_level );;
16 |
--------------------------------------------------------------------------------
/CAP/.gitignore:
--------------------------------------------------------------------------------
1 | /doc/chap*.html
2 | /doc/chap*.txt
3 | /doc/*.css
4 | /doc/*.js
5 | /doc/chooser.html
6 | /doc/*.aux
7 | /doc/*.bbl
8 | /doc/*.blg
9 | /doc/*.brf
10 | /doc/*.idx
11 | /doc/*.ilg
12 | /doc/*.ind
13 | /doc/*.lab
14 | /doc/*.log
15 | /doc/*.out
16 | /doc/*.pnr
17 | /doc/*.six
18 | /doc/*.tex
19 | /doc/*.toc
20 | /doc/manual.pdf
21 | /doc/_*.xml
22 |
23 | /bin/
24 | /gen/
25 | /Makefile
26 |
27 | /tmp/
28 | /gh-pages/
29 |
30 | /coverage.json
31 | /doc/*.xml
32 | /doc_tmp/
33 | /stats
34 | /tst/cap*.tst
35 |
--------------------------------------------------------------------------------
/CAP/IDEAS:
--------------------------------------------------------------------------------
1 | Constructor: Give categories for objects and morphisms to category.
2 | Install filters for containment in category.
3 | Install AddToCategory, which can add an object to a category and sets the filter to true.
4 |
5 |
6 |
7 | TODO REIMER:
8 | Why is there a possibility to add an identity morphism without declaring it?
9 |
10 | TODO:
11 | * Add caching to methods
12 | * Add generic display methods
13 |
14 | ToDo:
15 | * Gruppenkategorie, additive Kategorie.
16 | * Kategorie muss lernen.
17 | * Verallgemeinerte Morphismen Kategorie.
18 |
19 | Bugs:
20 | * Add( Category, object ) muss derzeit im Konstruktor aufgerufen werden (z.B bei QVectorSpace), da sonst
21 | die generic Print Methoden einen Fehler werfen (HomalgCategory nicht bekannt)
22 | * FullView: is direct sum -> was created as direct sum (ebenso: direct product, cokernel, kernel)
23 |
--------------------------------------------------------------------------------
/CAP/LogicForCategories/PredicateImplicationsForAbCategories.tex:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/homalg-project/CAP_project/d9f4367952561020ce83dc511bb660d8e1c2a222/CAP/LogicForCategories/PredicateImplicationsForAbCategories.tex
--------------------------------------------------------------------------------
/CAP/LogicForCategories/PredicateImplicationsForAbelianCategories.tex:
--------------------------------------------------------------------------------
1 | \begin{sequent}
2 | \begin{align*}
3 | \alpha: \Mor ~|~ \IsMonomorphism( \alpha ), \IsEpimorphism( \alpha ) \vdash \IsIsomorphism( \alpha )
4 | \end{align*}
5 | \end{sequent}
--------------------------------------------------------------------------------
/CAP/LogicForCategories/PredicateImplicationsForAdditiveCategories.tex:
--------------------------------------------------------------------------------
1 | \begin{sequent}
2 | \begin{align*}
3 | A:\Obj ~|~ \IsTerminal( A ) \vdash \IsZeroForObjects( A )
4 | \end{align*}
5 | \end{sequent}
6 |
7 | \begin{sequent}
8 | \begin{align*}
9 | A:\Obj ~|~ \IsInitial( A ) \vdash \IsZeroForObjects( A )
10 | \end{align*}
11 | \end{sequent}
12 |
--------------------------------------------------------------------------------
/CAP/LogicForCategories/PredicateImplicationsForCategoriesEnrichedOverCommutativeRegularSemigroups.tex:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/homalg-project/CAP_project/d9f4367952561020ce83dc511bb660d8e1c2a222/CAP/LogicForCategories/PredicateImplicationsForCategoriesEnrichedOverCommutativeRegularSemigroups.tex
--------------------------------------------------------------------------------
/CAP/LogicForCategories/PredicateImplicationsForPreabelianCategories.tex:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/homalg-project/CAP_project/d9f4367952561020ce83dc511bb660d8e1c2a222/CAP/LogicForCategories/PredicateImplicationsForPreabelianCategories.tex
--------------------------------------------------------------------------------
/CAP/LogicForCategories/PropositionsForAdditiveCategories.tex:
--------------------------------------------------------------------------------
1 | \begin{sequent}
2 | \begin{align*}
3 | a: \Obj ~|~ \IsZeroForObjects \big( a \big) \vdash \IsZeroForMorphisms \big( \IdentityMorphism( a ) \big)
4 | \end{align*}
5 | \end{sequent}
6 |
7 | \begin{sequent}
8 | \begin{align*}
9 | a: \Obj, b: \Obj ~|~ \IsZeroForObjects \big( a \big), \IsZeroForObjects \big( b \big) \\
10 | \vdash & \IsZeroForObjects \big( \DirectSum( [ a, b ] ) \big)
11 | \end{align*}
12 | \end{sequent}
13 |
--------------------------------------------------------------------------------
/CAP/LogicForCategories/PropositionsForCategoriesEnrichedOverCommutativeRegularSemigroups.tex:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/homalg-project/CAP_project/d9f4367952561020ce83dc511bb660d8e1c2a222/CAP/LogicForCategories/PropositionsForCategoriesEnrichedOverCommutativeRegularSemigroups.tex
--------------------------------------------------------------------------------
/CAP/LogicForCategories/PropositionsForPreabelianCategories.tex:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/homalg-project/CAP_project/d9f4367952561020ce83dc511bb660d8e1c2a222/CAP/LogicForCategories/PropositionsForPreabelianCategories.tex
--------------------------------------------------------------------------------
/CAP/LogicForCategories/RelationsForAbCategories.tex:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/homalg-project/CAP_project/d9f4367952561020ce83dc511bb660d8e1c2a222/CAP/LogicForCategories/RelationsForAbCategories.tex
--------------------------------------------------------------------------------
/CAP/LogicForCategories/RelationsForAbelianCategories.tex:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/homalg-project/CAP_project/d9f4367952561020ce83dc511bb660d8e1c2a222/CAP/LogicForCategories/RelationsForAbelianCategories.tex
--------------------------------------------------------------------------------
/CAP/LogicForCategories/RelationsForAdditiveCategories.tex:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/homalg-project/CAP_project/d9f4367952561020ce83dc511bb660d8e1c2a222/CAP/LogicForCategories/RelationsForAdditiveCategories.tex
--------------------------------------------------------------------------------
/CAP/LogicForCategories/RelationsForCategoriesEnrichedOverCommutativeRegularSemigroups.tex:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/homalg-project/CAP_project/d9f4367952561020ce83dc511bb660d8e1c2a222/CAP/LogicForCategories/RelationsForCategoriesEnrichedOverCommutativeRegularSemigroups.tex
--------------------------------------------------------------------------------
/CAP/LogicForCategories/RelationsForPreabelianCategories.tex:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/homalg-project/CAP_project/d9f4367952561020ce83dc511bb660d8e1c2a222/CAP/LogicForCategories/RelationsForPreabelianCategories.tex
--------------------------------------------------------------------------------
/CAP/TODO:
--------------------------------------------------------------------------------
1 | * Dokumentation
2 | * Tests
3 | - Abgeleitete Algorithmen testen
4 |
5 | Technik:
6 | * Trace auf Product -> Gutsche
7 | * Maintain ToDo List in Opposite.gi
8 |
9 | ToDo:
10 | * Komplexe -> Gutsche
11 | * Cokomplexe -> Gutsche -> QPA
12 | * Serre-Quotienten
13 |
14 |
15 | Fehlt:
16 | * GeneralizedMorphisms
17 | - Propagation:
18 | + Honest und Mono/Epi => Splitmono/Splitepi
19 |
20 | Cleanup:
21 | * FiberProduct/ Pushout derivation without FiberProductAsKernelDiagram/PushoutAsCokernelObjectDiagram
22 | * higher methods and convenient methods must not use *WithGiven*
23 |
24 | Neue Kategorien
25 | * Spektralsequenzen
26 |
--------------------------------------------------------------------------------
/CAP/doc/Doc.autodoc:
--------------------------------------------------------------------------------
1 | @Chapter CAP Categories
2 |
3 | @Chapter Objects
4 |
5 | @Chapter Morphisms
6 |
7 | @Chapter Category 2-Cells
8 |
9 | @Chapter Category of Categories
10 |
11 | @Chapter Universal Objects
12 |
13 | @Chapter Add Functions
14 |
15 | @Chapter Managing Derived Methods
16 |
17 | @Chapter Technical Details
18 |
19 | @Chapter Limits and Colimits
20 |
21 | @Chapter The Category Constructor
22 |
23 | @Chapter Reinterpretations of categories
24 |
25 | @Chapter Create wrapper hulls of a category
26 |
27 | @Chapter Dummy implementations
28 |
29 | @Chapter Examples and Tests
30 |
--------------------------------------------------------------------------------
/CAP/doc/clean:
--------------------------------------------------------------------------------
1 | #!/bin/sh
2 | rm -f *.{aux,bbl,blg,brf,css,html,idx,ilg,ind,js,lab,log,out,pdf,pnr,six,tex,toc,txt,xml,xml.bib}
3 |
--------------------------------------------------------------------------------
/CAP/examples/CacheTest.g:
--------------------------------------------------------------------------------
1 | LoadPackage( "CAP" );
2 | LoadPackage( "AutoDoc" );
3 | T := DocumentationTree( );
4 | xx := CachingObject( );
5 | SetCacheValue( xx, [ T ], T );
6 | SetCacheValue( xx, [ T ], T );
7 |
--------------------------------------------------------------------------------
/CAP/examples/DummyCategory.g:
--------------------------------------------------------------------------------
1 | #! @Chapter Examples and Tests
2 |
3 | #! @Section Dummy implementations
4 |
5 | #! @Subsection Dummy categories
6 |
7 | #! @Example
8 |
9 | LoadPackage( "CAP", false );
10 | #! true
11 |
12 | list_of_operations_to_install := [
13 | "ObjectConstructor",
14 | "MorphismConstructor",
15 | "ObjectDatum",
16 | "MorphismDatum",
17 | "IsCongruentForMorphisms",
18 | "PreCompose",
19 | "IdentityMorphism",
20 | "DirectSum",
21 | ];;
22 |
23 | dummy := DummyCategory( rec(
24 | list_of_operations_to_install := list_of_operations_to_install,
25 | properties := [ "IsAdditiveCategory" ],
26 | ) );;
27 |
28 | ForAll( list_of_operations_to_install, o -> CanCompute( dummy, o ) );
29 | #! true
30 | IsAdditiveCategory( dummy );
31 | #! true
32 |
33 | #! @EndExample
34 |
--------------------------------------------------------------------------------
/CAP/examples/dummy_rings.g:
--------------------------------------------------------------------------------
1 | #! @Chapter Examples and Tests
2 |
3 | #! @Section Dummy implementations
4 |
5 | #! @Subsection Dummy rings
6 |
7 | #! @Example
8 |
9 | LoadPackage( "CAP", false );
10 | #! true
11 |
12 | DummyRing( );
13 | #! Dummy ring 1
14 | DummyRing( );
15 | #! Dummy ring 2
16 | IsRing( DummyRing( ) );
17 | #! true
18 |
19 | DummyCommutativeRing( );
20 | #! Dummy commutative ring 1
21 | DummyCommutativeRing( );
22 | #! Dummy commutative ring 2
23 | IsRing( DummyCommutativeRing( ) );
24 | #! true
25 | IsCommutative( DummyCommutativeRing( ) );
26 | #! true
27 |
28 | DummyField( );
29 | #! Dummy field 1
30 | DummyField( );
31 | #! Dummy field 2
32 | IsRing( DummyField( ) );
33 | #! true
34 | IsField( DummyField( ) );
35 | #! true
36 |
37 | #! @EndExample
38 |
--------------------------------------------------------------------------------
/CAP/gap/CategoryTwoCellsOperations.gi:
--------------------------------------------------------------------------------
1 | # SPDX-License-Identifier: GPL-2.0-or-later
2 | # CAP: Categories, Algorithms, Programming
3 | #
4 | # Implementations
5 | #
6 |
7 | ###########################
8 | ##
9 | ## IsWellDefined
10 | ##
11 | ###########################
12 |
13 | ##
14 | InstallMethod( IsWellDefined,
15 | [ IsCapCategoryTwoCell ],
16 |
17 | IsWellDefinedForTwoCells
18 | );
19 |
20 |
--------------------------------------------------------------------------------
/CAP/gap/ConstructiveCategoriesRecord.gd:
--------------------------------------------------------------------------------
1 | # SPDX-License-Identifier: GPL-2.0-or-later
2 | # CAP: Categories, Algorithms, Programming
3 | #
4 | # Declarations
5 | #
6 | DeclareGlobalVariable( "CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD" );
7 |
--------------------------------------------------------------------------------
/CAP/gap/Finalize.gd:
--------------------------------------------------------------------------------
1 | # SPDX-License-Identifier: GPL-2.0-or-later
2 | # CAP: Categories, Algorithms, Programming
3 | #
4 | # Declarations
5 | #
6 | #! @Chapter Finalize
7 |
8 | DeclareAttribute( "IsFinalized",
9 | IsCapCategory,
10 | "mutable" );
11 |
12 | DeclareOperation( "Finalize",
13 | [ IsCapCategory ] );
14 |
15 |
--------------------------------------------------------------------------------
/CAP/gap/InstallAdds.gd:
--------------------------------------------------------------------------------
1 | # SPDX-License-Identifier: GPL-2.0-or-later
2 | # CAP: Categories, Algorithms, Programming
3 | #
4 | # Declarations
5 | #
6 |
7 | #! @Chapter Add Functions
8 |
9 | #! @Section InstallAdd Function
10 |
11 | DeclareOperation( "AddCapOperation", [ IsString, IsCapCategory, IsFunction, IsInt ] );
12 |
13 | DeclareGlobalFunction( "CAP_INTERNAL_INSTALL_ADDS_FROM_RECORD" );
14 |
--------------------------------------------------------------------------------
/CAP/gap/LimitConvenience.gd:
--------------------------------------------------------------------------------
1 | # SPDX-License-Identifier: GPL-2.0-or-later
2 | # CAP: Categories, Algorithms, Programming
3 | #
4 | # Declarations
5 | #
6 |
7 | #! @Chapter Limits and Colimits
8 |
9 | #! @Section Functions
10 |
11 | #! @Description
12 | #! This function takes a package name, a method name record and a list of enhanced limits,
13 | #! and generates convenience methods for the limits as a string of GAP code.
14 | #! The result is compared to the content of the file package_name`/gap/LimitConvenienceOutput.gi`.
15 | #! If a difference is found, a warning is raised and the generated string is written to a temporary file for manual inspection.
16 | #! @Arguments package_name, method_name_record, limits
17 | DeclareGlobalFunction( "CAP_INTERNAL_GENERATE_CONVENIENCE_METHODS_FOR_LIMITS" );
18 |
--------------------------------------------------------------------------------
/CAP/gap/PrintingFunctions.gd:
--------------------------------------------------------------------------------
1 | # SPDX-License-Identifier: GPL-2.0-or-later
2 | # CAP: Categories, Algorithms, Programming
3 | #
4 | # Declarations
5 | #
6 | #! @Chapter Pretty print methods
7 |
8 | DeclareGlobalFunction( "InfoStringOfInstalledOperationsOfCategory" );
9 |
10 | DeclareGlobalFunction( "InfoOfInstalledOperationsOfCategory" );
11 |
--------------------------------------------------------------------------------
/CAP/makedoc.g:
--------------------------------------------------------------------------------
1 | # SPDX-License-Identifier: GPL-2.0-or-later
2 | # CAP: Categories, Algorithms, Programming
3 | #
4 | # This file is a script which compiles the package manual.
5 | #
6 | if fail = LoadPackage( "AutoDoc", "2019.05.20" ) then
7 |
8 | Error( "AutoDoc version 2019.05.20 or newer is required." );
9 |
10 | fi;
11 |
12 | AutoDoc( rec(
13 | autodoc := rec(
14 | files := [ "doc/Doc.autodoc" ],
15 | scan_dirs := [ "doc", "gap", "examples", "examples/doc" ],
16 | ),
17 | extract_examples := rec(
18 | units := "Single",
19 | ),
20 | gapdoc := rec(
21 | LaTeXOptions := rec(
22 | LateExtraPreamble := """
23 | \usepackage{tikz}
24 | \usetikzlibrary{arrows}
25 | \pgfarrowsdeclarecombine{twohead}{twohead}{latex}{latex}{latex}{latex}
26 | """,
27 | ),
28 | ),
29 | scaffold := rec(
30 | entities := [ "homalg", "CAP" ],
31 | ),
32 | ) );
33 |
34 | QUIT;
35 |
--------------------------------------------------------------------------------
/CAP/tst/100_LoadPackage.tst:
--------------------------------------------------------------------------------
1 | # SPDX-License-Identifier: GPL-2.0-or-later
2 | # CAP: Categories, Algorithms, Programming
3 | #
4 | # This file tests if the package can be loaded without errors or warnings.
5 | #
6 | # do not load suggested dependencies automatically
7 | gap> PushOptions( rec( OnlyNeeded := true ) );
8 | gap> package_loading_info_level := InfoLevel( InfoPackageLoading );;
9 | gap> SetInfoLevel( InfoPackageLoading, PACKAGE_ERROR );;
10 | gap> LoadPackage( "ModulePresentationsForCAP", false );
11 | true
12 | gap> LoadPackage( "CAP", false );
13 | true
14 | gap> SetInfoLevel( InfoPackageLoading, PACKAGE_INFO );;
15 | gap> LoadPackage( "ModulePresentationsForCAP" );
16 | true
17 | gap> LoadPackage( "CAP" );
18 | true
19 | gap> SetInfoLevel( InfoPackageLoading, package_loading_info_level );;
20 |
--------------------------------------------------------------------------------
/CartesianCategories/.codecov.yml:
--------------------------------------------------------------------------------
1 | codecov:
2 | disable_default_path_fixes: true
3 | require_ci_to_pass: false
4 | fixes:
5 | - "/home/gap/.gap/pkg/CartesianCategories/::"
6 | ignore:
7 | - "home/"
8 |
--------------------------------------------------------------------------------
/CartesianCategories/.gitignore:
--------------------------------------------------------------------------------
1 | /doc/chap*.html
2 | /doc/chap*.txt
3 | /doc/*.css
4 | /doc/*.js
5 | /doc/chooser.html
6 | /doc/*.aux
7 | /doc/*.bbl
8 | /doc/*.blg
9 | /doc/*.brf
10 | /doc/*.idx
11 | /doc/*.ilg
12 | /doc/*.ind
13 | /doc/*.lab
14 | /doc/*.log
15 | /doc/*.out
16 | /doc/*.pnr
17 | /doc/*.six
18 | /doc/*.tex
19 | /doc/*.toc
20 | /doc/manual.pdf
21 | /doc/_*.xml
22 |
23 | /bin/
24 | /gen/
25 | /Makefile
26 |
27 | /tmp/
28 | /gh-pages/
29 |
30 | /coverage.json
31 | /doc/*.xml
32 | /doc_tmp/
33 | /stats
34 | /tst/cartesiancategories*.tst
35 |
--------------------------------------------------------------------------------
/CartesianCategories/doc/clean:
--------------------------------------------------------------------------------
1 | #!/bin/sh
2 | rm -f *.{aux,bbl,blg,brf,css,html,idx,ilg,ind,js,lab,log,out,pdf,pnr,six,tex,toc,txt,xml,xml.bib}
3 |
--------------------------------------------------------------------------------
/CartesianCategories/examples/InfoStringOfInstalledOperationsOfCategory.g:
--------------------------------------------------------------------------------
1 | #! @Chapter Examples and Tests
2 |
3 | #! @Section InfoOfInstalledOperationsOfCategory
4 |
5 | #! @Example
6 |
7 | LoadPackage( "CartesianCategories", false );
8 | #! true
9 |
10 | distributive := DummyCategory( rec(
11 | list_of_operations_to_install :=
12 | ListOfDefiningOperations( "IsBicartesianClosedCategory" ),
13 | properties := [ "IsBicartesianClosedCategory", "IsSkeletalCategory" ] ) );;
14 |
15 | InfoOfInstalledOperationsOfCategory( distributive );
16 | #! 21 primitive operations were used to derive 121 operations for this category \
17 | #! which algorithmically
18 | #! * IsBicartesianClosedCategory
19 | #! and not yet algorithmically
20 | #! * IsDistributiveCategory
21 | #! and furthermore mathematically
22 | #! * IsSkeletalCategory
23 |
24 | #! @EndExample
25 |
--------------------------------------------------------------------------------
/CartesianCategories/examples/InitialCategory.g:
--------------------------------------------------------------------------------
1 | #! @Chunk InitialCategory
2 |
3 | LoadPackage( "CartesianCategories" );
4 |
5 | #! @Example
6 | I := InitialCategory( );
7 | #! InitialCategory( )
8 | IsInitialCategory( I );
9 | #! true
10 | Display( I );
11 | #! A CAP category with name InitialCategory( ):
12 | #!
13 | #! 5 primitive operations were used to derive 13 operations for this category \
14 | #! which not yet algorithmically
15 | #! * IsEquippedWithHomomorphismStructure
16 | #! and furthermore mathematically
17 | #! * IsInitialCategory
18 | OI := Opposite( I );
19 | #! Opposite( InitialCategory( ) )
20 | IsInitialCategory( OI );
21 | #! true
22 | Display( OI );
23 | #! A CAP category with name Opposite( InitialCategory( ) ):
24 | #!
25 | #! 17 primitive operations were used to derive 17 operations for this category \
26 | #! which not yet algorithmically
27 | #! * IsEquippedWithHomomorphismStructure
28 | #! and furthermore mathematically
29 | #! * IsInitialCategory
30 | #! @EndExample
31 |
--------------------------------------------------------------------------------
/CartesianCategories/gap/AUTOGENERATED_FROM.md:
--------------------------------------------------------------------------------
1 | The files of this package which include the line `THIS FILE WAS AUTOMATICALLY GENERATED` in their header have been autogenerated
2 |
3 | * from MonoidalCategories v2025.03-02
4 |
--------------------------------------------------------------------------------
/CartesianCategories/gap/CartesianCategoriesProperties.gi:
--------------------------------------------------------------------------------
1 | # SPDX-License-Identifier: GPL-2.0-or-later
2 | # CartesianCategories: Cartesian and cocartesian categories and various subdoctrines
3 | #
4 | # Implementations
5 | #
6 |
7 | InstallTrueMethod( IsCategoryWithTerminalObject, IsCartesianCategory );
8 |
--------------------------------------------------------------------------------
/CartesianCategories/gap/CartesianClosedCategoriesProperties.gd:
--------------------------------------------------------------------------------
1 | # SPDX-License-Identifier: GPL-2.0-or-later
2 | # CartesianCategories: Cartesian and cocartesian categories and various subdoctrines
3 | #
4 | # Declarations
5 | #
6 |
7 | #! @Description
8 | #! The property of the category C being cartesian closed.
9 | #! @Arguments C
10 | DeclareProperty( "IsCartesianClosedCategory", IsCapCategory );
11 |
12 | AddCategoricalProperty( [ "IsCartesianClosedCategory", "IsCocartesianCoclosedCategory" ] );
13 |
14 | #! @Description
15 | #! The property of the category C being bicartesian closed.
16 | #! @Arguments C
17 | DeclareProperty( "IsBicartesianClosedCategory", IsCapCategory );
18 |
19 | AddCategoricalProperty( [ "IsBicartesianClosedCategory", "IsBicartesianCoclosedCategory" ] );
20 |
--------------------------------------------------------------------------------
/CartesianCategories/gap/CartesianClosedCategoriesProperties.gi:
--------------------------------------------------------------------------------
1 | # SPDX-License-Identifier: GPL-2.0-or-later
2 | # CartesianCategories: Cartesian and cocartesian categories and various subdoctrines
3 | #
4 | # Implementations
5 | #
6 | # THIS FILE WAS AUTOMATICALLY GENERATED
7 |
8 |
9 |
10 | InstallTrueMethod( IsCartesianCategory, IsCartesianClosedCategory );
11 |
--------------------------------------------------------------------------------
/CartesianCategories/gap/CocartesianCategoriesProperties.gi:
--------------------------------------------------------------------------------
1 | # SPDX-License-Identifier: GPL-2.0-or-later
2 | # CartesianCategories: Cartesian and cocartesian categories and various subdoctrines
3 | #
4 | # Implementations
5 | #
6 |
7 | InstallTrueMethod( IsCategoryWithInitialObject, IsCocartesianCategory );
8 |
--------------------------------------------------------------------------------
/CartesianCategories/gap/CocartesianCoclosedCategoriesProperties.gd:
--------------------------------------------------------------------------------
1 | # SPDX-License-Identifier: GPL-2.0-or-later
2 | # CartesianCategories: Cartesian and cocartesian categories and various subdoctrines
3 | #
4 | # Declarations
5 | #
6 |
7 | #! @Description
8 | #! The property of the category C being cocartesian coclosed.
9 | #! @Arguments C
10 | DeclareProperty( "IsCocartesianCoclosedCategory", IsCapCategory );
11 |
12 | AddCategoricalProperty( [ "IsCocartesianCoclosedCategory", "IsCartesianClosedCategory" ] );
13 |
14 | #! @Description
15 | #! The property of the category C being bicartesian coclosed.
16 | #! @Arguments C
17 | DeclareProperty( "IsBicartesianCoclosedCategory", IsCapCategory );
18 |
19 | AddCategoricalProperty( [ "IsBicartesianCoclosedCategory", "IsBicartesianClosedCategory" ] );
20 |
--------------------------------------------------------------------------------
/CartesianCategories/gap/CocartesianCoclosedCategoriesProperties.gi:
--------------------------------------------------------------------------------
1 | # SPDX-License-Identifier: GPL-2.0-or-later
2 | # CartesianCategories: Cartesian and cocartesian categories and various subdoctrines
3 | #
4 | # Implementations
5 | #
6 | # THIS FILE WAS AUTOMATICALLY GENERATED
7 |
8 |
9 |
10 | InstallTrueMethod( IsCocartesianCategory, IsCocartesianCoclosedCategory );
11 |
--------------------------------------------------------------------------------
/CartesianCategories/gap/CodistributiveCocartesianCategoriesProperties.gd:
--------------------------------------------------------------------------------
1 | # SPDX-License-Identifier: GPL-2.0-or-later
2 | # CartesianCategories: Cartesian and cocartesian categories and various subdoctrines
3 | #
4 | # Declarations
5 | #
6 |
7 | #! @Description
8 | #! The property of the category C being codistributive.
9 | #! @Arguments C
10 | DeclareProperty( "IsCodistributiveCategory", IsCapCategory );
11 |
12 | AddCategoricalProperty( [ "IsCodistributiveCategory", "IsDistributiveCategory" ] );
13 |
14 | InstallTrueMethod( IsCartesianCategory, IsCodistributiveCategory );
15 |
16 | CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsCodistributiveCategory :=
17 | DuplicateFreeList(
18 | Concatenation(
19 | ListOfDefiningOperations( "IsBicartesianCategory" ),
20 | [ "LeftCocartesianCodistributivityFactoringWithGivenObjects",
21 | "RightCocartesianCodistributivityFactoringWithGivenObjects",
22 | ] ) );
23 |
--------------------------------------------------------------------------------
/CartesianCategories/gap/DistributiveCartesianCategoriesProperties.gd:
--------------------------------------------------------------------------------
1 | # SPDX-License-Identifier: GPL-2.0-or-later
2 | # CartesianCategories: Cartesian and cocartesian categories and various subdoctrines
3 | #
4 | # Declarations
5 | #
6 |
7 | #! @Description
8 | #! The property of the category C being distributive.
9 | #! @Arguments C
10 | DeclareProperty( "IsDistributiveCategory", IsCapCategory );
11 |
12 | AddCategoricalProperty( [ "IsDistributiveCategory", "IsCodistributiveCategory" ] );
13 |
14 | InstallTrueMethod( IsCocartesianCategory, IsDistributiveCategory );
15 |
16 | CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsDistributiveCategory :=
17 | DuplicateFreeList(
18 | Concatenation(
19 | ListOfDefiningOperations( "IsBicartesianCategory" ),
20 | [ "LeftCartesianDistributivityExpandingWithGivenObjects",
21 | "RightCartesianDistributivityExpandingWithGivenObjects",
22 | ] ) );
23 |
--------------------------------------------------------------------------------
/CartesianCategories/gap/InitialCategoryProperties.gd:
--------------------------------------------------------------------------------
1 | # SPDX-License-Identifier: GPL-2.0-or-later
2 | # CartesianCategories: Cartesian and cocartesian categories and various subdoctrines
3 | #
4 | # Declarations
5 | #
6 |
7 | #! @Description
8 | #! The property of the category C being initial.
9 | #! @Arguments C
10 | DeclareProperty( "IsInitialCategory", IsCapCategory );
11 |
12 | AddCategoricalProperty( [ "IsInitialCategory", "IsInitialCategory" ] );
13 |
--------------------------------------------------------------------------------
/CartesianCategories/gap/Tools.gd:
--------------------------------------------------------------------------------
1 | # SPDX-License-Identifier: GPL-2.0-or-later
2 | # CartesianCategories: Cartesian and cocartesian categories and various subdoctrines
3 | #
4 | # Declarations
5 | #
6 |
7 | # @Chapter Tools
8 |
9 | # @Section Tools
10 |
11 | DeclareGlobalFunction( "CreateFilesForCartesianCategoriesPackage" );
12 |
--------------------------------------------------------------------------------
/CartesianCategories/makedoc.g:
--------------------------------------------------------------------------------
1 | # SPDX-License-Identifier: GPL-2.0-or-later
2 | # CartesianCategories: Cartesian and cocartesian categories and various subdoctrines
3 | #
4 | # This file is a script which compiles the package manual.
5 | #
6 | if fail = LoadPackage( "AutoDoc", "2019.05.20" ) then
7 |
8 | Error( "AutoDoc version 2019.05.20 or newer is required." );
9 |
10 | fi;
11 |
12 | AutoDoc( rec(
13 | autodoc := rec(
14 | files := [ "doc/Doc.autodoc" ],
15 | scan_dirs := [ "doc", "gap", "examples", "examples/doc" ],
16 | ),
17 | extract_examples := rec(
18 | units := "Single",
19 | ),
20 | gapdoc := rec(
21 | LaTeXOptions := rec(
22 | LateExtraPreamble := """
23 | """,
24 | ),
25 | ),
26 | scaffold := rec(
27 | entities := [ "homalg", "CAP" ],
28 | ),
29 | ) );
30 |
31 | QUIT;
32 |
--------------------------------------------------------------------------------
/CartesianCategories/tst/100_LoadPackage.tst:
--------------------------------------------------------------------------------
1 | # SPDX-License-Identifier: GPL-2.0-or-later
2 | # CartesianCategories: Cartesian and cocartesian categories and various subdoctrines
3 | #
4 | # This file tests if the package can be loaded without errors or warnings.
5 | #
6 | # do not load suggested dependencies automatically
7 | gap> PushOptions( rec( OnlyNeeded := true ) );
8 | gap> package_loading_info_level := InfoLevel( InfoPackageLoading );;
9 | gap> SetInfoLevel( InfoPackageLoading, PACKAGE_ERROR );;
10 | gap> LoadPackage( "CartesianCategories", false );
11 | true
12 | gap> SetInfoLevel( InfoPackageLoading, PACKAGE_INFO );;
13 | gap> LoadPackage( "CartesianCategories" );
14 | true
15 | gap> SetInfoLevel( InfoPackageLoading, package_loading_info_level );;
16 |
--------------------------------------------------------------------------------
/CompilerForCAP/.gitignore:
--------------------------------------------------------------------------------
1 | /doc/chap*.html
2 | /doc/chap*.txt
3 | /doc/*.css
4 | /doc/*.js
5 | /doc/chooser.html
6 | /doc/*.aux
7 | /doc/*.bbl
8 | /doc/*.blg
9 | /doc/*.brf
10 | /doc/*.idx
11 | /doc/*.ilg
12 | /doc/*.ind
13 | /doc/*.lab
14 | /doc/*.log
15 | /doc/*.out
16 | /doc/*.pnr
17 | /doc/*.six
18 | /doc/*.tex
19 | /doc/*.toc
20 | /doc/manual.pdf
21 | /doc/_*.xml
22 |
23 | /bin/
24 | /gen/
25 | /Makefile
26 |
27 | /tmp/
28 | /gh-pages/
29 |
30 | /coverage.json
31 | /doc/*.xml
32 | /doc_tmp/
33 | /stats
34 | /tst/compilerforcap*.tst
35 |
--------------------------------------------------------------------------------
/CompilerForCAP/TODO:
--------------------------------------------------------------------------------
1 | Speed:
2 |
3 | * reduce number of calls to `StructuralCopy`
4 | * turn logic functions into peephole optimizations
5 | * avoid CAP_JIT_INTERNAL_REPLACED_FVARS_FUNC_ID where possible
6 |
7 | Features:
8 |
9 | * list expressions for logic templates
10 | * do not inline variables but only a reference to them for the logic to use
11 | * For categories with finitely many objects (or morphisms): detect parts of the code which can be precomputed, e.g. hom_structure_on_basis_paths in Algebroids.
12 | * unify deduplication and hoisting: hoisting in duplicate code can lead to different variable names, so the deduplication does not match anymore (partially fixed)
13 |
--------------------------------------------------------------------------------
/CompilerForCAP/benchmarks/FPres.g:
--------------------------------------------------------------------------------
1 | LoadPackage( "FreydCategoriesForCAP", false );
2 | LoadPackage( "ModulePresentationsForCAP", false );
3 |
4 | QQ := HomalgFieldOfRationalsInSingular( );;
5 | QQxy := QQ * "x,y";;
6 | ring := KoszulDualRing( QQxy );;
7 |
8 | rfpres := RightPresentations_as_FreydCategory_CategoryOfColumns( ring : no_precompiled_code := true ); # true or false
9 |
10 | m := 1; # 1, 2, 3, 4, 5, 10, 20, 30
11 |
12 | I := HomalgIdentityMatrix( m, ring );
13 |
14 | M := ObjectConstructor( rfpres, I );
15 |
16 | id := IdentityMorphism( M );
17 |
18 | Display( "start computation" );
19 | StartTimer( "Lift" );
20 | lift := Lift( id, id );
21 | DisplayTimer( "Lift" );
22 |
23 | Assert( 0, IsOne( lift ) );
24 |
--------------------------------------------------------------------------------
/CompilerForCAP/benchmarks/ZX.g:
--------------------------------------------------------------------------------
1 | LoadPackage( "ZXCalculusForCAP", false );
2 |
3 | cat := CategoryOfZXDiagrams( : no_precompiled_code := true ); # true or false
4 |
5 | m := ObjectConstructor( cat, 1 ); # 1, 125, 250, 500, 1000, 2000
6 |
7 | id := IdentityMorphism( m );
8 |
9 | ev := EvaluationForDual( m );
10 | coev := CoevaluationForDual( m );
11 |
12 | StartTimer( "comp" );
13 | comp := PreCompose( TensorProductOnMorphisms( coev, id ), TensorProductOnMorphisms( id, ev ) );
14 | DisplayTimer( "comp" );
15 |
16 | Assert( 0, IsEqualForMorphisms( comp, id ) );
17 |
--------------------------------------------------------------------------------
/CompilerForCAP/benchmarks/algorithms.g:
--------------------------------------------------------------------------------
1 | LoadPackage( "CompilerForCAP", false );
2 | LoadPackage( "FreydCategoriesForCAP", false );
3 |
4 | star := RingAsCategoryUniqueObject( RingAsCategory( Integers ) );
5 |
6 | func_tuples := function ( m, n )
7 |
8 | return Length( Concatenation( ListWithIdenticalEntries( m, star ), ListWithIdenticalEntries( n, star ) ) );
9 |
10 | end;
11 |
12 | func_integers := function ( m, n )
13 |
14 | return m + n;
15 |
16 | end;
17 |
18 | m := 1; # 1, 25, 50, 100, 200, 400, 10^(10^9)
19 | m := m * 10^6;
20 |
21 | CollectGarbage( true );
22 | StartTimer( "benchmark" );
23 | func_tuples( m, m ); # func_tuples or func_integers
24 | DisplayTimer( "benchmark" );
25 |
--------------------------------------------------------------------------------
/CompilerForCAP/doc/Doc.autodoc:
--------------------------------------------------------------------------------
1 | @Chapter Using the compiler
2 |
3 | @Chapter Improving and extending the compiler
4 | @ChapterLabel ImprovingAndExtendingTheCompiler
5 |
6 | @Chapter Examples and tests
7 |
8 | @Section Examples
9 |
10 |
--------------------------------------------------------------------------------
/CompilerForCAP/doc/clean:
--------------------------------------------------------------------------------
1 | #!/bin/sh
2 | rm -f *.{aux,bbl,blg,brf,css,html,idx,ilg,ind,js,lab,log,out,pdf,pnr,six,tex,toc,txt,xml,xml.bib}
3 |
--------------------------------------------------------------------------------
/CompilerForCAP/gap/CleanUpHoistedAndDeduplicatedExpressions.gd:
--------------------------------------------------------------------------------
1 | # SPDX-License-Identifier: GPL-2.0-or-later
2 | # CompilerForCAP: Speed up and verify categorical algorithms
3 | #
4 | # Declarations
5 | #
6 | #! @Chapter Improving and extending the compiler
7 |
8 | #! @Section Compilation steps
9 |
10 | #! @Description
11 | #! Cleans up variable names after hoisting and deduplication:
12 | #! * Assignments of the form `hoisted_xxx := deduped_yyy;` are deleted and all references to `hoisted_xxx` are replaced by references to `deduped_yyy`.
13 | #! * If `hoisted_xxx` is used more than once, it is renamed to `deduped_xxx`. Note: Even if a hoisted value is used more than once during