-
Point-Free, Set-Free Concrete Linear Algebra
International audience -
Using morphism computations for factoring and decomposing linear functional s...
Within a constructive homological algebra approach, we study the factorization and decomposition problems for general linear functional systems (determined,...
