category theory and actuarial science