GAP

Main Branches

Downloads  Installation  Overview  Data Libraries  Packages  Documentation  Contacts  FAQ  GAP 3 

GAP package LinearAlgebraForCAP

Category of Matrices over a Field for CAP

LinearAlgebraForCAP provides a skeletal model of the category of finite dimensional vector spaces over a computable field.

Authors
Sebastian Gutsche, Sebastian Posur, Fabian Zickgraf
Maintainers
Sebastian Gutsche, Sebastian Posur, Fabian Zickgraf
Version with GAP 4.13.0
2024.02-02    (Released 07/02/2024)
License
GPL-2.0-or-later
Status
deposited
Dependencies
GAP version: >= 4.12.1
Needed other packages: ToolsForHomalg (>= 2015.09.18), MatricesForHomalg (>= 2023.01-01), GaussForHomalg (>= 2021.04-02), CAP (>= 2023.10-07), MonoidalCategories (>= 2024.02-02)
Suggested other packages: FreydCategoriesForCAP (>= 2024.01-04)
Documentation
LinearAlgebraForCAP [HTML]     [PDF]
Download
LinearAlgebraForCAP-2024.02-02   [.tar.gz]   [.zip]