applied category theory (Keyword)