I first learned about (and actually re-discovered) semilinear maps through one of my mathematical explorations. In this article, we introduce them and prove some basic results about them. We assume some knowledge of abstract algebra and related subjects (vector spaces, modules, universal algebra, category theory, etc.)
(I was still learning more about the concept alongside writing this article, so if there are any inaccuracies here, please let me know!)
