Ecosyste.ms: Issues

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

GitHub / homalg-project/categoricaltowers issues and pull requests

#604 - workaround for gap-master until new digraphs version is released

Pull Request - State: closed - Opened by mohamed-barakat 20 days ago - 1 comment

#602 - applied PackageJanitor

Pull Request - State: closed - Opened by mohamed-barakat 21 days ago

#601 - updated notebooks in LazyCategories

Pull Request - State: closed - Opened by mohamed-barakat 21 days ago - 1 comment

#600 - changed ViewObj -> ViewString for IsMorphismInAlgebroid

Pull Request - State: closed - Opened by mohamed-barakat 22 days ago - 1 comment

#599 - applied PackageJanitor

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

#598 - Splitting packages?

Issue - State: open - Opened by mohamed-barakat about 1 month ago

#597 - Adjust to CompilerForCAP 2024.10-06

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

#596 - switched to Julia 1.11.1

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

#595 - Missing case distinctions for precompiled code

Issue - State: open - Opened by zickgraf about 1 month ago

#594 - Clean up in several packages

Pull Request - State: closed - Opened by mohamed-barakat about 1 month ago

#593 - switched to Julia 1.11.0

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

#592 - Remove obsolete reevaluation of derivation weight lists

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

#591 - fixed call to NakayamaLeftAdjoint/NakayamaRightAdjoint

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

#590 - fixed SimpleObjects

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

#589 - SetIsAbelianCategoryWithEnoughProjectives( PSh, true )

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

#588 - fixed loading of Julia.gi

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

#586 - switch to CapAndHomalg v1.6.1

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

#585 - Adjust to CAP 2024.09-25

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

#584 - Several category constructors now use FinQuiver instead of RightQuiver

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

#583 - conditionally Append( PSh!.compiler_hints.category_attribute_names, ... )

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

#582 - replace b in ListImpliedFilters( a ) -> IsSpecializationOfFilter( b, a )

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

#581 - Do something to get rid of these three lines

Issue - State: open - Opened by kamalsaleh 2 months ago - 1 comment

#580 - turn dp instead of Dp into default order in PathCategory

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

#579 - Adjust to CAP 2024.08-08

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

#578 - Adjust to CAP 2024.09-12

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

#577 - Adjust to CAP 2024.09-08

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

#576 - Remove support for return types allowing `fail`

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

#575 - switch from Julia 1.10.4 -> 1.10.5

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

#574 - comply with MonoidalCategories v2024.09-02

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

#573 - comply with CAP v2024.09-05

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

#572 - Speedup CategoryFromDataTables

Issue - State: open - Opened by mohamed-barakat 3 months ago

#571 - Fixes for some derivations and RelativeLift

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

#570 - relocated code

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

#569 - Use `HomalgMatrices` to optimize `AlgebroidsFromDataTables` over external rings

Pull Request - State: closed - Opened by kamalsaleh 3 months ago - 2 comments

#568 - declare and used IsCategoryWithoutMorphismData

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

#567 - comply with FreydCategoriesForCAP v2024.08-07

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

#564 - SetIsObjectFiniteCategory in *FromDataTables

Issue - State: open - Opened by mohamed-barakat 3 months ago - 1 comment

#563 - Make "dp" the default in PathCategory

Issue - State: open - Opened by mohamed-barakat 3 months ago

#562 - improved PreSheavesOfFpEnrichedCategory

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

#561 - Incorrect derivations for thin categories

Issue - State: closed - Opened by zickgraf 3 months ago

#560 - Avoid installing operations which would be overwritten by derivations

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

#558 - comply with new version of LinearAlgebraForCAP and FreydCategoriesForCAP

Pull Request - State: closed - Opened by mohamed-barakat 3 months ago - 2 comments

#557 - Revert "temporarily disable testing notebook"

Pull Request - State: open - Opened by mohamed-barakat 4 months ago

#556 - Add two type signatures for PreSheaves

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

#555 - comply with CompilerForCAP v2024.07-09

Pull Request - State: closed - Opened by mohamed-barakat 4 months ago - 1 comment

#554 - Fix data types in a logic template

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

#553 - Adjust to various changes in CAP_project

Pull Request - State: closed - Opened by zickgraf 5 months ago - 9 comments

#552 - comply with LinearAlgebraForCAP/FreydCategoriesForCAP v2024-07.02

Pull Request - State: closed - Opened by mohamed-barakat 5 months ago - 1 comment

#551 - Get rid of needed_packages

Pull Request - State: closed - Opened by zickgraf 5 months ago - 1 comment

#550 - Fix documentation of CreatePreSheaf

Issue - State: open - Opened by mohamed-barakat 5 months ago

#549 - DummyCategoryInDoctrines now accepts the option `minimal`

Pull Request - State: closed - Opened by mohamed-barakat 5 months ago - 1 comment

#548 - improved DigraphOfKnownDoctrines

Pull Request - State: closed - Opened by mohamed-barakat 5 months ago - 1 comment

#546 - standardized some entries of CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD

Pull Request - State: closed - Opened by mohamed-barakat 5 months ago - 1 comment

#545 - comply with CAP v2024.06-04

Pull Request - State: closed - Opened by mohamed-barakat 5 months ago - 1 comment

#544 - got rid of special handling of InitialCategory

Pull Request - State: closed - Opened by mohamed-barakat 5 months ago - 1 comment

#543 - fixed AddFinalDerivationBundle for colimits

Pull Request - State: closed - Opened by mohamed-barakat 5 months ago - 1 comment

#542 - Speed up SecondPageOfCohomologicalSpectralSequence.g

Pull Request - State: open - Opened by zickgraf 5 months ago - 1 comment

#541 - Fix documentation of `MorphismBetweenDirectProducts`

Pull Request - State: closed - Opened by kamalsaleh 6 months ago - 3 comments

#540 - comply with MonoidalCategories/CartesianCategories v2024.06-01

Pull Request - State: closed - Opened by mohamed-barakat 6 months ago - 1 comment

#537 - FinQuiver now supports the option name

Pull Request - State: closed - Opened by mohamed-barakat 6 months ago

#536 - updated SnakeInFreeAbelian.ipynb

Pull Request - State: closed - Opened by mohamed-barakat 6 months ago - 1 comment

#535 - updated SnakeInFreeAbelian.ipynb

Pull Request - State: closed - Opened by mohamed-barakat 6 months ago

#533 - switched Julia 1.10.2 -> 1.10.3

Pull Request - State: closed - Opened by mohamed-barakat 7 months ago - 1 comment

#532 - clean up

Pull Request - State: closed - Opened by mohamed-barakat 7 months ago - 1 comment

#531 - added missing category as first argument in LazyCategory constructor

Pull Request - State: closed - Opened by mohamed-barakat 7 months ago - 1 comment

#530 - applied PackageJanitor

Pull Request - State: closed - Opened by mohamed-barakat 7 months ago - 1 comment

#528 - switched to CapAndHomalg v1.6.0

Pull Request - State: closed - Opened by mohamed-barakat 8 months ago - 1 comment

#527 - temporarily disable testing notebook

Pull Request - State: closed - Opened by mohamed-barakat 8 months ago - 1 comment

#526 - continued updating Julia 1.10.0 -> 1.10.2

Pull Request - State: closed - Opened by mohamed-barakat 8 months ago - 1 comment

#525 - udpated SnakeInFreeAbelian.ipynb

Pull Request - State: closed - Opened by mohamed-barakat 9 months ago - 1 comment

#524 - fixed and updated documentation

Pull Request - State: closed - Opened by mohamed-barakat 9 months ago - 1 comment

#523 - updated Julia 1.10.0 -> 1.10.2

Pull Request - State: closed - Opened by mohamed-barakat 9 months ago - 1 comment

#522 - d&i AssociatedCoequalizerPairInPreSheaves

Pull Request - State: closed - Opened by mohamed-barakat 9 months ago - 1 comment

#521 - d&i AssociatedColimitQuiver

Pull Request - State: closed - Opened by mohamed-barakat 9 months ago - 1 comment

#520 - added tst file for commit 08410a94

Pull Request - State: closed - Opened by mohamed-barakat 9 months ago - 1 comment

#519 - do not AddIsLiftable/AddLift in the 2-enriched case

Pull Request - State: closed - Opened by mohamed-barakat 9 months ago - 1 comment

#518 - installed CoveringListOfRepresentables for the 2-enriched case

Pull Request - State: closed - Opened by mohamed-barakat 9 months ago - 1 comment

#517 - updated DisplayString for presheaves and their morphisms

Pull Request - State: closed - Opened by mohamed-barakat 9 months ago - 1 comment

#516 - conditionally AddMorphismsOfExternalHom( proset, ... )

Pull Request - State: closed - Opened by mohamed-barakat 9 months ago - 1 comment

#514 - comply with FinSetsForCAP v2024.03-01

Pull Request - State: closed - Opened by mohamed-barakat 9 months ago - 1 comment

#511 - updated test file Toposes/examples/SingletonMorphism.g

Pull Request - State: closed - Opened by mohamed-barakat 9 months ago - 1 comment

#500 - d&i IsClosedPreSheafWRTCoproductCocones

Pull Request - State: open - Opened by mohamed-barakat 9 months ago - 1 comment