issues
search
homalg-project
/
FinSetsForCAP
The elementary topos of (skeletal) finite sets
https://homalg-project.github.io/FinSetsForCAP/
GNU General Public License v2.0
4
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Revert "deactivate test-gap_to_julia"
#265
mohamed-barakat
closed
3 weeks ago
1
deactivate test-gap_to_julia
#264
mohamed-barakat
closed
3 weeks ago
1
Remove CircleCI
#263
zickgraf
closed
1 month ago
1
Adjust to CompilerForCAP 2024.10-06
#262
zickgraf
closed
1 month ago
1
Adjust to https://github.com/homalg-project/CAP_project/pull/1691
#261
zickgraf
closed
2 months ago
1
Add "overhead" argument to SkeletalCategoryOfFiniteSets
#260
zickgraf
closed
3 months ago
1
Switch Julia packages to CAP_project.jl
#259
zickgraf
closed
3 months ago
1
Adjust to https://github.com/homalg-project/CAP_project/pull/1634
#258
zickgraf
closed
4 months ago
3
Fix data type of an empty list
#257
zickgraf
closed
4 months ago
1
Improve readability of long names
#256
zickgraf
closed
4 months ago
1
Do not create ~/.julia/dev
#255
zickgraf
closed
8 months ago
1
Remove --warn-overwrite=no from Julia tests and make spacing in test files compatible with GAP 4.13
#254
zickgraf
closed
8 months ago
1
precompiled SingletonMorphismWithGivenPowerObject to optimal code 🎉
#253
mohamed-barakat
closed
9 months ago
1
improved AddDirectProductToExponentialRightAdjunctMorphismWithGivenExponential
#252
mohamed-barakat
closed
9 months ago
2
Only install primitive operations if `no_precompiled_code` is set
#251
zickgraf
closed
9 months ago
1
Stop testing Toposes
#250
mohamed-barakat
opened
9 months ago
2
Comment Iterator for Julia
#249
zickgraf
closed
9 months ago
1
Use FunctionWithNamedArguments
#248
zickgraf
closed
9 months ago
1
added missing mathematical properties: SetIsStrictC(oc)artesianCategory
#247
mohamed-barakat
closed
9 months ago
5
Optimize Preimage
#246
zickgraf
closed
9 months ago
2
comply with CartesianCategories v2024.02-02
#245
mohamed-barakat
closed
10 months ago
1
precompile ProjectionInFactorOfBinaryDirectProduct for two objects
#244
mohamed-barakat
closed
9 months ago
1
compile CartesianRightCoevaluationMorphismWithGivenRange
#243
mohamed-barakat
closed
10 months ago
1
added the right product-exponential adjunction
#242
mohamed-barakat
closed
10 months ago
1
AddCartesianRight(Co)EvaluationMorphism
#241
mohamed-barakat
closed
10 months ago
1
refactored AddCartesianLeftEvaluationMorphismWithGivenSource
#240
mohamed-barakat
closed
10 months ago
1
d&i RemIntWithDomain, QuoIntWithDomain, and DivIntWithGivenQuotient
#239
mohamed-barakat
closed
10 months ago
1
d&i DigitInPositionalNotation
#238
mohamed-barakat
closed
10 months ago
1
deleted AddCartesianBraidingInverseWithGivenDirectProducts
#237
mohamed-barakat
closed
10 months ago
1
comply with CartesianCategories v2024.01-07
#236
mohamed-barakat
closed
10 months ago
1
fixed test-doc
#235
mohamed-barakat
closed
10 months ago
5
comply with CartesianCategories v2024.01-05
#234
mohamed-barakat
closed
10 months ago
1
better testing for the evaluation/coevaluation through the adjunction
#233
mohamed-barakat
closed
11 months ago
1
Adjust to CAP commit af2ea351d37afa90e9775773b689530d4047f123
#232
zickgraf
closed
12 months ago
1
Adjust to CAP commit c4ff9952143a87c262556f82b55dd1471fa30e87
#231
zickgraf
closed
1 year ago
1
Adjust to CompilerForCAP commit 389bfebf83b5bd43b29b445cedefbb2eee4596a7
#230
zickgraf
closed
1 year ago
1
SetIsCategoryWithDecidableLifts/Colifts to true
#229
mohamed-barakat
closed
1 year ago
4
a first attempt for a functional coequalizer
#228
mohamed-barakat
opened
1 year ago
2
fixed IsColiftable
#227
mohamed-barakat
closed
1 year ago
1
Fix corner case in IsColiftable
#226
mohamed-barakat
closed
1 year ago
0
AddAstrictionToCoimage
#225
mohamed-barakat
closed
1 year ago
5
comply with CAP v2023.09-11 and Toposes v2023.10-01
#224
mohamed-barakat
closed
1 year ago
2
Adjust to changes in CAP 2023.09-07
#223
zickgraf
closed
1 year ago
1
Remove typed_lambda_calculus_and_category_theory.ipynb
#222
zickgraf
closed
1 year ago
1
Apply PackageJanitor
#221
zickgraf
closed
1 year ago
1
comply with CAP v2023.08-16
#220
mohamed-barakat
closed
1 year ago
4
Test ZXCalculusForCAP.jl
#219
zickgraf
closed
1 year ago
1
Use CapJitDataTypeOfListOf
#218
zickgraf
closed
1 year ago
1
Avoid using a morphism as a function in UniversalMorphismFromCoequalizer...
#217
zickgraf
closed
1 year ago
1
Adjust to https://github.com/homalg-project/CAP_project/pull/1352
#216
zickgraf
closed
1 year ago
1
Next