I would really appreciate an introductory category theory series or course that has a strong eye towards the applications in the spaces described above. Alternatively, if these resources exist, it would be great to compile a syllabus to guide folks who want to learn from this angle (but don’t necessarily need to write papers of their own). There are many people who have an intuition for the importance of language, logic, ontologies, and “functional thinking”, and deep diving into how category theory provides a shared language for these areas I think would be very impactful.