Re: Applied Categorical Structures