  
  
                             [1X LinearAlgebraForCAP [101X
  
  
                  [1X Category of Matrices over a Field for CAP [101X
  
  
                                   2022.08-03
  
  
                                 15 August 2022
  
  
                               Sebastian Gutsche
  
                                Sebastian Posur
  
  
  
  Sebastian Gutsche
      Email:    [7Xmailto:gutsche@mathematik.uni-siegen.de[107X
      Homepage: [7Xhttps://sebasguts.github.io/[107X
      Address:  [33X[0;14YDepartment Mathematik[133X
                [33X[0;14YUniversität Siegen[133X
                [33X[0;14YWalter-Flex-Straße 3[133X
                [33X[0;14Y57068 Siegen[133X
                [33X[0;14YGermany[133X
  
  
  Sebastian Posur
      Email:    [7Xmailto:sebastian.posur@uni-siegen.de[107X
      Homepage: [7Xhttps://sebastianpos.github.io[107X
      Address:  [33X[0;14YDepartment Mathematik[133X
                [33X[0;14YUniversität Siegen[133X
                [33X[0;14YWalter-Flex-Straße 3[133X
                [33X[0;14Y57068 Siegen[133X
                [33X[0;14YGermany[133X
  
  
  
  -------------------------------------------------------
  
  
  [1XContents (LinearAlgebraForCAP)[101X
  
  1 [33X[0;0YCategory of Matrices[133X
    1.1 [33X[0;0YConstructors[133X
      1.1-1 MatrixCategory
      1.1-2 VectorSpaceMorphism
      1.1-3 VectorSpaceObject
      1.1-4 MatrixCategoryObject
    1.2 [33X[0;0YAttributes[133X
      1.2-1 UnderlyingFieldForHomalg
      1.2-2 UnderlyingMatrix
      1.2-3 UnderlyingFieldForHomalg
      1.2-4 Dimension
    1.3 [33X[0;0YGAP Categories[133X
      1.3-1 IsVectorSpaceMorphism
      1.3-2 IsVectorSpaceObject
  2 [33X[0;0YExamples and Tests[133X
    2.1 [33X[0;0YBasic Commands[133X
    2.2 [33X[0;0YMatrixCategoryAsAdditiveClosureOfRingAsCategory[133X
    2.3 [33X[0;0YSplit epi summand[133X
  
  
  [32X
