Wow! This forum is full of interesting people.

I am a mathematician, with a background in dynamical systems, spectral theory and differential geometry.
Currently, I work as a software engineer, on a system to manage and orchestrate virtual machines on pools of hosts.

I did get interested in category theory only recently, after I got in touch with functional programming, proving systems and got trapped by homotopy type theory. And I haven't stopped ever since.

The interplay between different mathematical and scientifical fields has always fascinated me, and it seems that category theory could provide an elegant and uniform language to describe a huge amount of different things!