I am a hobby student of category theory. Is there any breadcrumbs to your comment?