issues
search
homalg-project
/
LazyCategories
[READ-ONLY-SUBSPLIT] Construct an equivalent lazy category out of a CAP category
https://homalg-project.github.io/pkg/LazyCategories
GNU General Public License v2.0
0
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
d&i EmbeddingFunctorOfUnderlyingCategory
#44
mohamed-barakat
closed
1 year ago
1
Switch to new CategoryConstructor
#43
mohamed-barakat
opened
1 year ago
0
installed \. for IsLazyCapCategory
#42
mohamed-barakat
closed
1 year ago
1
Julia 1.7.3 -> 1.8.4
#41
mohamed-barakat
closed
1 year ago
0
comply with CategoryConstructor v2022.11-10
#40
mohamed-barakat
closed
1 year ago
0
got rid of the option `is_monoidal`
#39
mohamed-barakat
closed
1 year ago
1
comply with CAP v2022.11-06
#38
mohamed-barakat
closed
1 year ago
1
Remove occurrences of QuiverRows
#37
zickgraf
closed
1 year ago
1
better exclusion of skeletality and strictness
#36
mohamed-barakat
closed
1 year ago
1
Adjust to https://github.com/homalg-project/CAP_project/pull/984
#35
zickgraf
closed
2 years ago
1
comply with MonoidalCategories v2022.06-03
#34
mohamed-barakat
closed
2 years ago
1
fixed font "DejaVu Serif,serif" for dot-output
#33
mohamed-barakat
closed
1 year ago
0
removed obsolete Project.toml
#32
mohamed-barakat
closed
2 years ago
4
Test notebooks in CI
#31
zickgraf
closed
2 years ago
2
Apply PackageJanitor to notebooks
#30
zickgraf
closed
2 years ago
2
comply with Algebroids v2022.05-06
#29
mohamed-barakat
closed
2 years ago
1
comply with Algebroid v2022.05-02
#28
mohamed-barakat
closed
2 years ago
1
Adjust to https://github.com/homalg-project/CAP_project/pull/906
#27
zickgraf
closed
2 years ago
1
updated TerminalCategory*.tst
#26
mohamed-barakat
closed
2 years ago
0
Additive and distributive tests
#25
TKuh
closed
2 years ago
2
Tests from `MonoidalCategories` and `Toposes`
#24
TKuh
closed
2 years ago
2
restructured code of IsEqualForObjects/Morphisms
#23
mohamed-barakat
closed
2 years ago
1
fixed IsEqualForCells not to bypass the comparison of sources/ranges
#22
mohamed-barakat
closed
2 years ago
1
Fail with PreCompose
#21
TKuh
closed
2 years ago
1
Apply PackageJanitor
#20
zickgraf
closed
2 years ago
1
@Subsection Lazy terminal category with multiple objects
#19
mohamed-barakat
closed
2 years ago
1
if CanCompute( C, "..." ) then Add... fi
#18
mohamed-barakat
closed
2 years ago
1
Adjust to https://github.com/homalg-project/CAP_project/pull/808
#17
zickgraf
closed
2 years ago
1
Test whether all derivations in MonoidalCategories type check using LazyCategories
#16
mohamed-barakat
opened
2 years ago
2
added category as first argument in two further internal calls
#15
mohamed-barakat
closed
2 years ago
1
category_as_first_argument := true
#14
mohamed-barakat
closed
2 years ago
1
Apply PackageJanitor
#13
zickgraf
closed
2 years ago
1
Apply PackageJanitor
#12
zickgraf
closed
2 years ago
1
Apply PackageJanitor
#11
zickgraf
closed
3 years ago
1
Laziness of ZeroObject, ZeroObjectFunctorial etc.
#10
zickgraf
opened
3 years ago
1
Adjust to https://github.com/homalg-project/CAP_project/pull/649
#9
zickgraf
closed
3 years ago
0
Apply PackageJanitor
#8
zickgraf
closed
3 years ago
1
Apply PackageJanitor to gh-pages
#7
zickgraf
closed
3 years ago
0
Optimizations for FiberProduct and Pushout not fully implemented
#6
zickgraf
opened
4 years ago
1
Some fixes
#5
zickgraf
closed
4 years ago
2
Specifications
#4
zickgraf
opened
4 years ago
6
Rectangular nodes
#3
TKuh
closed
4 years ago
2
Add missing decoration of the arrows of the evaluation graph
#2
mohamed-barakat
closed
4 years ago
1
Get rid of undeclared dependency on resclasses
#1
zickgraf
closed
4 years ago
3