  
  
                             [1X LinearAlgebraForCAP [101X
  
  
                  [1X Category of Matrices over a Field for CAP [101X
  
  
                                   2025.09-01
  
  
                               17 September 2025
  
  
                               Sebastian Gutsche
  
                                Sebastian Posur
  
                                Fabian Zickgraf
  
  
  
  Sebastian Gutsche
      Email:    [7Xmailto:sebastian.gutsche@gmail.com[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-muenster.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
  
  
  Fabian Zickgraf
      Email:    [7Xmailto:f.zickgraf@dashdos.com[107X
      Homepage: [7Xhttps://github.com/zickgraf/[107X
      Address:  [33X[0;14YWalter-Flex-Str. 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.1-5 MatrixCategory_as_CategoryOfRows
    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;0YFunctors[133X
    2.3 [33X[0;0YSolving (Homogeneous) Linear Systems[133X
    2.4 [33X[0;0YHomology object[133X
    2.5 [33X[0;0YLiftable[133X
    2.6 [33X[0;0YMonoidal structure[133X
    2.7 [33X[0;0YMorphismFromSourceToPushout and MorphismFromFiberProductToSink[133X
    2.8 [33X[0;0YOpposite category[133X
    2.9 [33X[0;0YPreComposeList and PostComposeList[133X
    2.10 [33X[0;0YSplit epi summand[133X
    2.11 [33X[0;0YKernel[133X
    2.12 [33X[0;0YFiberProduct[133X
    2.13 [33X[0;0YWrapperCategory[133X
  
  
  [32X
