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.

[WWW homepage]       [Source code repository]       [Issue tracker]

Authors

Sebastian Gutsche, Sebastian Posur

Maintainers

Sebastian Gutsche, Sebastian Posur

Version with GAP 4.12.2

2022.12-04    (Released 14/12/2022)

License

GPL-2.0-or-later

Status

deposited

Dependencies

GAP version: >= 4.12.1
Needed other packages: ToolsForHomalg (>=2015.09.18), MatricesForHomalg (>= 2021.12-01), GaussForHomalg (>= 2021.04-02), CAP (>= 2022.12-07), MonoidalCategories (>= 2022.06-01)
Suggested other packages: FreydCategoriesForCAP (>= 2022.12-02)

Documentation

LinearAlgebraForCAP [HTML]     [PDF]

Download

LinearAlgebraForCAP-2022.12-04   [.tar.gz]   [.zip]