Information entropy re-defined in a category theory context using preradicals
share
Algebraically, entropy can be defined for abelian groups and their endomorphisms, and was latter extended to consider objects in a Flow category derived from abelian categories, such as R-Mod with R a ring. Preradicals are endofunctors which can be realized as compatible choice assignments in the category where they are defined. Here we present a formal definition of entropy for preradicals on R-Mod and show that the concept of entropy for preradicals respects their order as a big lattice. Also, due to the connection between modules and complete bounded modular lattices, we provide a definition of entropy for lattice preradicals, and show that this notion is equivalent, from a functorial perspective, to the one defined for module preradicals.
READ FULL TEXT