issues
search
homalg-project
/
CAP_project
CAP project -- Categories, Algorithms, and Programming
https://homalg-project.github.io/docs/CAP_project-based/
24
stars
18
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
fixed dual_preprocessor_func entries
#1585
mohamed-barakat
closed
7 months ago
1
renamed *AdjunctionMap* -> *AdjunctMorphism*
#1584
mohamed-barakat
closed
7 months ago
1
improved derivations of (co)closed monoidal left/right (co)evaluation
#1583
mohamed-barakat
closed
7 months ago
1
derive the lambda introduction/elimination from the right Hom-adjunction
#1582
mohamed-barakat
closed
7 months ago
1
replaced t <-> s in InternalHomToTensorProduct*AdjunctionMap
#1581
mohamed-barakat
closed
7 months ago
1
AddDerivationToCAP( C(oc)artesianBraidingInverseWithGivenDirectProducts, ... )
#1580
mohamed-barakat
closed
7 months ago
1
completed bi-(co)closed monoidal structures
#1579
mohamed-barakat
closed
7 months ago
1
standardized order of arguments of unit/counit for (co)closed monoidal categories
#1578
mohamed-barakat
closed
7 months ago
1
Switch the arguments of (Co)ClosedMonoidalLeft/RightCoevaluationMorphism
#1577
mohamed-barakat
closed
7 months ago
1
reintroduced biclosed monoidal structures
#1576
mohamed-barakat
closed
8 months ago
1
clean up and avoid "Symmetric" precondition for several derivations
#1575
mohamed-barakat
closed
8 months ago
1
outsourced the adjunction operations to seperate files
#1574
mohamed-barakat
closed
8 months ago
2
renamed files: C(oc)losedMonoidal -> LeftC(oc)losedMonoidal
#1573
mohamed-barakat
closed
8 months ago
1
(co)closed -> left (co)closed
#1572
mohamed-barakat
closed
8 months ago
3
(co)closed -> left (co)closed
#1571
mohamed-barakat
closed
8 months ago
4
Add proof of correctness for the hom structure of opposite categories
#1570
zickgraf
closed
8 months ago
1
Add myself as author to some packages
#1569
zickgraf
closed
8 months ago
3
fix julia tests
#1568
mohamed-barakat
closed
8 months ago
1
Add proof that RingAsCategory has a preadditive structure
#1567
zickgraf
closed
8 months ago
1
support the adjunction (a ⊗ -) ⊢ hom(a,-)
#1566
mohamed-barakat
closed
2 weeks ago
4
Avoid wrapping the output in proofs
#1565
zickgraf
closed
8 months ago
1
Prove that AdditiveClosure has direct sums
#1564
zickgraf
closed
8 months ago
1
Add logic which uses the equality of variables to merge if-then-else cases
#1563
zickgraf
closed
8 months ago
1
Improve compilability of AdditiveClosure
#1562
zickgraf
closed
8 months ago
1
generalized derivations to nonsymmetric (co)closed monoidal categories
#1561
mohamed-barakat
closed
8 months ago
1
d&i MorphismsOfExternalHom
#1560
mohamed-barakat
closed
8 months ago
10
Add proof that AdditiveClosure has a preadditive structure and improve existing proofs
#1559
zickgraf
closed
8 months ago
1
Add proof that RingAsCategory of a k-algebra has a linear structure
#1558
zickgraf
closed
8 months ago
1
Move IsIntegers from deferred filters to normal filters
#1557
zickgraf
closed
9 months ago
1
Add support for GAP's Integers to the proof assistant
#1556
zickgraf
closed
9 months ago
1
Review of the formalizations of the specifications of CAP operations and properties
#1555
zickgraf
opened
9 months ago
0
Prove that the additive closure of a preadditive category has a zero object
#1554
zickgraf
closed
9 months ago
1
Add example for code coverage
#1553
zickgraf
closed
9 months ago
1
renamed CheckConstructivenessOfCategory -> MissingOperationsForConstructivenessOfCategory
#1552
mohamed-barakat
closed
9 months ago
1
Prove that categories of rows over fields have kernels
#1551
zickgraf
closed
9 months ago
1
Verify the hom structure of AdditiveClosure
#1550
zickgraf
closed
9 months ago
1
Introduce propositions for some categorical properties to the proof assistant
#1549
zickgraf
closed
9 months ago
1
Start implementing an interactive proof assistant
#1548
zickgraf
closed
9 months ago
1
Add CommutativeRingOfLinearCategory to default categorical attributes in compiler hints
#1547
zickgraf
closed
9 months ago
1
Add various logic templates for proofs
#1546
zickgraf
closed
9 months ago
2
Update documentation and plausibility checks of CapJitAddLogicTemplate
#1545
zickgraf
closed
9 months ago
1
Allow to exclude or restrict logic templates from/to proof assistant mode
#1544
zickgraf
closed
9 months ago
1
Handle symmetry of equality when dropping handled edge cases
#1543
zickgraf
closed
9 months ago
1
Introduce CAP_JIT_INTERNAL_COMPILED_ENHANCED_SYNTAX_TREE
#1542
zickgraf
closed
9 months ago
1
Update documentation
#1541
zickgraf
closed
9 months ago
1
Do not pass type signature as an option to ENHANCED_SYNTAX_TREE
#1540
zickgraf
closed
9 months ago
1
enable FreydCategory to set IsLinearCategoryOverCommutativeRingWithFinitelyGeneratedFreeExternalHoms
#1539
mohamed-barakat
closed
9 months ago
3
Check that the components of CAP_INTERNAL_CATEGORICAL_PROPERTIES_LIST are categorical properties
#1538
zickgraf
closed
9 months ago
1
fixed CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD entry
#1537
mohamed-barakat
closed
9 months ago
1
Remove warnings about operations not compatible with the congruence of morphisms in proof assistant mode
#1536
zickgraf
closed
9 months ago
2
Previous
Next