keywords semiring theory; spectral theory of matrices; fca: semiring-valued extensions; philosophical foundations