All pull requests

Pull requests

• AdditiveClosureOfObjectFiniteCategory

  #1874·TKuh opened Aug 5, 2026Collaborator·

  ·
  1

• Construct FiniteSkeletalDiscreteCategory from a single integer argument

  #1871·TKuh opened Aug 4, 2026Collaborator·

  ·
  2

• Distinguish between small and big integers

  #1762·mohamed-barakat opened Jul 2, 2025Member·

  ·
  4

• Choose hom(B,C) = C ⊗ B^v instead of B^v ⊗ C

  #1501·zickgraf opened Nov 7, 2023Member·

  ·
  2

• derived ImageEmbedding as the colift along the coastriction to image

  #1495·mohamed-barakat opened Oct 17, 2023Member·

  ·
  7

• WithGivens for monoidal and (co)cartesian derivations

  #1494·TKuh opened Oct 17, 2023Collaborator·

  ·
  5

• Add UniversalPropertyOf(Co)DualWithGiven(Co)DualObject

  #1488·TKuh opened Oct 6, 2023Collaborator·

  ·
  1

• AddDerivationToCAP( MorphismFromCoimageToImageWithGivenObjects, ... )

  #1479·mohamed-barakat opened Oct 4, 2023Member·

  ·
  3

• installed derivations for Abelian categories

  waiting for author
  #1211·mohamed-barakat opened Dec 19, 2022Member·

  ·
  9

• CapJitAddTypeSignature( "LazyArray", [ IsInt, IsFunction ], ... )

  #1023·mohamed-barakat opened Sep 5, 2022Member·

  ·
  1

• Compile more operations in ModulePresentationsForCAP

  #932·TKuh opened Jun 12, 2022Collaborator·

  ·
  17

• Install BasisOfExternalHom & CoefficientsOfMorphismWithGivenBasisOfExternalHom

  #652·kamalsaleh opened Apr 4, 2021Member·

  ·
  1

• fixed bug in membership test_function

  waiting for author
  #636·mohamed-barakat opened Feb 23, 2021Member·

  ·
  9