Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / homalg-project/categoryconstructor issues and pull requests

#89 - shifted range: [ 1 .. Length( objects ) ] -> [ 0 .. Length( objects )- 1 ]

Pull Request - State: closed - Opened by mohamed-barakat almost 2 years ago - 1 comment

#89 - shifted range: [ 1 .. Length( objects ) ] -> [ 0 .. Length( objects )- 1 ]

Pull Request - State: closed - Opened by mohamed-barakat almost 2 years ago - 1 comment

#88 - adjust to GAP master following CAP v2023.01-01

Pull Request - State: closed - Opened by mohamed-barakat almost 2 years ago - 1 comment

#87 - Adjust to https://github.com/homalg-project/CAP_project/pull/1215

Pull Request - State: closed - Opened by zickgraf almost 2 years ago - 1 comment

#87 - Adjust to https://github.com/homalg-project/CAP_project/pull/1215

Pull Request - State: closed - Opened by zickgraf almost 2 years ago - 1 comment

#85 - outsourced (Co)ImageObjectFunctorial to CAP v2022.11-27

Pull Request - State: closed - Opened by mohamed-barakat about 2 years ago - 1 comment

#84 - fix of commit "got rid of the option `doctrines`"

Pull Request - State: closed - Opened by mohamed-barakat about 2 years ago - 1 comment

#83 - got rid of the option `doctrines`

Pull Request - State: closed - Opened by mohamed-barakat about 2 years ago

#83 - got rid of the option `doctrines`

Pull Request - State: closed - Opened by mohamed-barakat about 2 years ago

#82 - got rid of the option `is_monoidal`

Pull Request - State: closed - Opened by mohamed-barakat about 2 years ago

#82 - got rid of the option `is_monoidal`

Pull Request - State: closed - Opened by mohamed-barakat about 2 years ago

#81 - installed CallFuncList for IsCapFunctor/IsCapNaturalTransformation

Pull Request - State: closed - Opened by mohamed-barakat about 2 years ago - 1 comment

#81 - installed CallFuncList for IsCapFunctor/IsCapNaturalTransformation

Pull Request - State: closed - Opened by mohamed-barakat about 2 years ago - 1 comment

#80 - relocated code

Pull Request - State: closed - Opened by mohamed-barakat about 2 years ago - 1 comment

#80 - relocated code

Pull Request - State: closed - Opened by mohamed-barakat about 2 years ago - 1 comment

#79 - relocated code

Pull Request - State: closed - Opened by mohamed-barakat about 2 years ago - 1 comment

#79 - relocated code

Pull Request - State: closed - Opened by mohamed-barakat about 2 years ago - 1 comment

#78 - Adjust to https://github.com/homalg-project/CAP_project/pull/1161

Pull Request - State: closed - Opened by zickgraf about 2 years ago - 1 comment

#78 - Adjust to https://github.com/homalg-project/CAP_project/pull/1161

Pull Request - State: closed - Opened by zickgraf about 2 years ago - 1 comment

#77 - outsourced ExactCoverWithGlobalElements to Toposes v2022.11-03

Pull Request - State: closed - Opened by mohamed-barakat about 2 years ago - 1 comment

#77 - outsourced ExactCoverWithGlobalElements to Toposes v2022.11-03

Pull Request - State: closed - Opened by mohamed-barakat about 2 years ago - 1 comment

#76 - d&a ExactCoverWithGlobalElements

Pull Request - State: closed - Opened by mohamed-barakat about 2 years ago - 1 comment

#75 - Comply with `PreInverseForMorphisms` and `PostInverseForMorphisms` in CAP

Pull Request - State: closed - Opened by kamalsaleh about 2 years ago - 2 comments

#75 - Comply with `PreInverseForMorphisms` and `PostInverseForMorphisms` in CAP

Pull Request - State: closed - Opened by kamalsaleh about 2 years ago - 2 comments

#74 - Clean up dependencies

Pull Request - State: closed - Opened by zickgraf about 2 years ago - 1 comment

#74 - Clean up dependencies

Pull Request - State: closed - Opened by zickgraf about 2 years ago - 1 comment

#73 - d&i CovariantHomFunctor(Data) and used it to reinstall GlobalSectionFunctorData

Pull Request - State: closed - Opened by mohamed-barakat about 2 years ago - 1 comment

#73 - d&i CovariantHomFunctor(Data) and used it to reinstall GlobalSectionFunctorData

Pull Request - State: closed - Opened by mohamed-barakat about 2 years ago - 1 comment

#72 - d&i GlobalSectionFunctor(Data)

Pull Request - State: closed - Opened by mohamed-barakat about 2 years ago - 1 comment

#72 - d&i GlobalSectionFunctor(Data)

Pull Request - State: closed - Opened by mohamed-barakat about 2 years ago - 1 comment

#71 - Use AddFinalDerivationBundle

Pull Request - State: closed - Opened by zickgraf about 2 years ago - 1 comment

#71 - Use AddFinalDerivationBundle

Pull Request - State: closed - Opened by zickgraf about 2 years ago - 1 comment

#70 - d&i ProjectiveCoverObject/InjectiveEnvelopeObject

Pull Request - State: closed - Opened by mohamed-barakat about 2 years ago - 1 comment

#70 - d&i ProjectiveCoverObject/InjectiveEnvelopeObject

Pull Request - State: closed - Opened by mohamed-barakat about 2 years ago - 1 comment

#69 - *(Co)Limit* now complies with the numbering convention in SkeletalFinSets

Pull Request - State: closed - Opened by mohamed-barakat about 2 years ago - 1 comment

#69 - *(Co)Limit* now complies with the numbering convention in SkeletalFinSets

Pull Request - State: closed - Opened by mohamed-barakat about 2 years ago - 1 comment

#68 - Adjust to https://github.com/homalg-project/CAP_project/pull/1073

Pull Request - State: closed - Opened by zickgraf about 2 years ago - 2 comments

#67 - Adjust to https://github.com/homalg-project/homalg_project/pull/527

Pull Request - State: closed - Opened by zickgraf about 2 years ago - 1 comment

#67 - Adjust to https://github.com/homalg-project/homalg_project/pull/527

Pull Request - State: closed - Opened by zickgraf about 2 years ago - 1 comment

#66 - fixed wrong bracketing in FinalDerivation of colimit operations:

Pull Request - State: closed - Opened by mohamed-barakat about 2 years ago - 1 comment

#66 - fixed wrong bracketing in FinalDerivation of colimit operations:

Pull Request - State: closed - Opened by mohamed-barakat about 2 years ago - 1 comment

#65 - support option supports_empty_limits

Pull Request - State: closed - Opened by mohamed-barakat about 2 years ago - 1 comment

#65 - support option supports_empty_limits

Pull Request - State: closed - Opened by mohamed-barakat about 2 years ago - 1 comment

#64 - Remove now obsolete ConditionsListComplete

Pull Request - State: closed - Opened by zickgraf about 2 years ago - 1 comment

#64 - Remove now obsolete ConditionsListComplete

Pull Request - State: closed - Opened by zickgraf about 2 years ago - 1 comment

#63 - Specify range category of homomorphism structure in preconditions of derivations

Pull Request - State: closed - Opened by zickgraf about 2 years ago - 1 comment

#63 - Specify range category of homomorphism structure in preconditions of derivations

Pull Request - State: closed - Opened by zickgraf about 2 years ago - 1 comment

#62 - Fix preconditions of a derivation

Pull Request - State: closed - Opened by zickgraf about 2 years ago - 1 comment

#62 - Fix preconditions of a derivation

Pull Request - State: closed - Opened by zickgraf about 2 years ago - 1 comment

#61 - comply with MonoidalCategories v2022.06-03

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#61 - comply with MonoidalCategories v2022.06-03

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#60 - installed various Julia methods

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#60 - installed various Julia methods

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#59 - d&i *Colimit*

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#59 - d&i *Colimit*

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#58 - Adjust to https://github.com/homalg-project/CAP_project/pull/921

Pull Request - State: closed - Opened by zickgraf over 2 years ago - 1 comment

#58 - Adjust to https://github.com/homalg-project/CAP_project/pull/921

Pull Request - State: closed - Opened by zickgraf over 2 years ago - 1 comment

#57 - d&i Subobject

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#57 - d&i Subobject

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#56 - outsourced WriteFileFor(C(oc)losed)MonoidalStructure

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#55 - outsourced TerminalCategoryWithMultipleObjects to MonoidalCategories v2022.05-04

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#55 - outsourced TerminalCategoryWithMultipleObjects to MonoidalCategories v2022.05-04

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#53 - d&i MorphismFromFiberProductToSink for IsJuliaObject

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#53 - d&i MorphismFromFiberProductToSink for IsJuliaObject

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#52 - Add convenience for number_of_arguments

Pull Request - State: closed - Opened by zickgraf over 2 years ago - 1 comment

#51 - Adjust to https://github.com/homalg-project/CAP_project/pull/906

Pull Request - State: closed - Opened by zickgraf over 2 years ago - 1 comment

#51 - Adjust to https://github.com/homalg-project/CAP_project/pull/906

Pull Request - State: closed - Opened by zickgraf over 2 years ago - 1 comment

#50 - comply with CAP v2022.04-09

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#50 - comply with CAP v2022.04-09

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#49 - comply with Toposes v2022.04-29

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#49 - comply with Toposes v2022.04-29

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#48 - comply with CAP v2022.04-03

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#48 - comply with CAP v2022.04-03

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#47 - comply with Toposes v2022.04-22

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#47 - comply with Toposes v2022.04-22

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#46 - Translations and tests from additive monoidal categories

Pull Request - State: closed - Opened by TKuh over 2 years ago - 4 comments

#45 - comply with Toposes v2022.04-13

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago

#45 - comply with Toposes v2022.04-13

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago

#44 - comply with Toposes v2022.04-08

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#43 - comply with Toposes v2022.04-06

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#43 - comply with Toposes v2022.04-06

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#42 - TerminalCategoryWithMultipleObjects now installs less primitive methods

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#41 - test with HigherHomologicalAlgebra

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#41 - test with HigherHomologicalAlgebra

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#40 - enhanced example file

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#40 - enhanced example file

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#39 - prevent strictness TerminalCategoryWithMultipleObjects

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#39 - prevent strictness TerminalCategoryWithMultipleObjects

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#38 - got rid of convenience methods for limit operations

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#38 - got rid of convenience methods for limit operations

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 1 comment

#37 - ImageObjectFunctorial/CoimageObjectFunctorial

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 6 comments

#37 - ImageObjectFunctorial/CoimageObjectFunctorial

Pull Request - State: closed - Opened by mohamed-barakat over 2 years ago - 6 comments

#36 - Tests

Pull Request - State: closed - Opened by TKuh almost 3 years ago - 1 comment

#35 - Topos -> MonoidalCategories in test

Pull Request - State: closed - Opened by TKuh almost 3 years ago - 1 comment

#35 - Topos -> MonoidalCategories in test

Pull Request - State: closed - Opened by TKuh almost 3 years ago - 1 comment

#34 - Test the terminal category with the new test files

Pull Request - State: closed - Opened by TKuh almost 3 years ago - 2 comments

#34 - Test the terminal category with the new test files

Pull Request - State: closed - Opened by TKuh almost 3 years ago - 2 comments