The author delves into the world of mathematics, focusing on the properties of algebra, semirings, and matrices. They explore how these concepts can be applied to various scenarios, including transition systems and path descriptions. Through the demonstration of different data types and representations, the author shows the versatility of mathematical constructs in creating meaningful models. They touch upon the relationship between vector spaces and operations like direct sum and Kronecker products, leading to the concept of 2Vect. The author suggests that typed functional programming and category theory offer a promising avenue for further exploration. Additional resources and references are shared for interested readers.
https://www.philipzucker.com/linear-algebra-of-types/