Ecosyste.ms: Issues

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

GitHub / homalg-project/subcategoriesforcap issues and pull requests

#72 - Prefer using the methods of external-hom in the ambient category …

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

#71 - Add an additional type signature

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

#70 - bump version and CAP dependency

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

#69 - comply with CAP v2023.01-05

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

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

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

#67 - comply with CAP v2022.12-02

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

#66 - d&i Full subcategories by projective and injective objects

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

#64 - added MorphismsOfExternalHom

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

#63 - comply with CAP v2022.11-17

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

#62 - ObjectifyObject/Morphism* -> CreateCapCategoryObject/Morphism*

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

#61 - Fix number_of_objectified_morphisms_in_data_structure_of_morphism

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

#60 - Added needed CAP operations to SliceCategory for DPO

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

#59 - Adjust to https://github.com/homalg-project/CAP_project/pull/1138

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

#58 - comply with https://github.com/homalg-project/CAP_project/pull/1104

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

#57 - Adjust to https://github.com/homalg-project/CAP_project/pull/1103

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

#55 - Adjust to https://github.com/homalg-project/CAP_project/pull/1047

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

#54 - Add more type information

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

#53 - Adjust to https://github.com/homalg-project/CAP_project/pull/1040

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

#52 - Partially revert 4b5461184c9d8fa8f1798bd6f6b2d5f272f97a82

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

#51 - applied PackageJanitor

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

#49 - fixed IsWellDefinedForObjects for SliceCategory

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

#48 - Adjust to https://github.com/homalg-project/CAP_project/pull/981

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

#47 - Adjust to https://github.com/homalg-project/CAP_project/pull/964

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

#46 - Set `number_of_objectified_*_in_data_structure_of_*`

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

#45 - Install ObjectConstructor et al. via CategoryConstructor at more places

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

#44 - got rid of if statement

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

#43 - Simplify properties to comply with CAP's CategoryConstructor

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

#43 - Simplify properties to comply with CAP's CategoryConstructor

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

#42 - Use CAP's category constructor properly

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

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

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

#40 - comply with FinSetsForCAP v2022.05-05

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

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

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

#38 - comply with FinSetsForCAP v2022.05-01

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

#37 - completed DirectProduct/Coproduct installation

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

#36 - Adjust to https://github.com/homalg-project/CAP_project/pull/875

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

#35 - Adjust to https://github.com/homalg-project/CAP_project/pull/852

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

#34 - Apply PackageJanitor

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

#33 - comply with CompilerForCAP v2022.01-08

Pull Request - State: closed - Opened by mohamed-barakat almost 3 years ago - 3 comments

#32 - Adjust to https://github.com/homalg-project/CAP_project/pull/820

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

#31 - Adjust to https://github.com/homalg-project/CAP_project/pull/816

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

#30 - Adjust to CompilerForCAP 2022.01-03

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

#29 - create_func_* now return default strings

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

#28 - pass category as first argument

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

#27 - avoid getting ambient category from scope for better readability

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

#26 - Adjust to CompilerForCAP 2021.12-03

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

#25 - Adjust to CompilerForCAP 2021.12-02

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

#24 - Apply PackageJanitor

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

#23 - Adjust to CompilerForCAP 2021.11-08

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

#22 - Adjust to CompilerForCAP 2021.11-07

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

#21 - Adjust to CompilerForCAP 2021.11-06

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

#20 - Adjust to https://github.com/homalg-project/CAP_project/pull/743

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

#19 - `UnderlyingMorphism` for lazy slice is broken

Issue - State: open - Opened by zickgraf about 3 years ago - 2 comments

#18 - Various changes allowing to compile slice categories

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

#17 - Apply PackageJanitor

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

#16 - Apply PackageJanitor

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

#15 - Use category_as_first_argument

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

#14 - Adjust to https://github.com/homalg-project/CAP_project/pull/665

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

#13 - Adjust to https://github.com/homalg-project/CAP_project/pull/654

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

#12 - Adjust to https://github.com/homalg-project/CAP_project/pull/649

Pull Request - State: closed - Opened by zickgraf over 3 years ago

#11 - Apply PackageJanitor

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

#10 - SliceCatOverTensorUnit requires a monoidal category

Pull Request - State: closed - Opened by TKuh over 4 years ago - 1 comment

#9 - Tiny bug fixed

Pull Request - State: closed - Opened by kamalsaleh over 4 years ago

#8 - Now RestrictFunctorToFullSubcategoryOfSource/Range

Pull Request - State: closed - Opened by kamalsaleh over 4 years ago

#7 - Minimize dependencies

Pull Request - State: closed - Opened by kamalsaleh over 4 years ago

#6 - fix some declarations

Pull Request - State: closed - Opened by kamalsaleh over 4 years ago

#4 - give the user more flexibility to name the full subcategory

Pull Request - State: closed - Opened by kamalsaleh almost 5 years ago

#3 - Create full subcategories with three arguments

Issue - State: open - Opened by kamalsaleh almost 5 years ago

#2 - Non-full Subcategories constructors.

Issue - State: closed - Opened by kamalsaleh almost 5 years ago - 1 comment

#1 - Convenience method to create cells and adding two new functors

Pull Request - State: closed - Opened by kamalsaleh almost 5 years ago - 3 comments