@abuseofnotation There are at least two reasons that categories aren't usually covered during an introduction to abstract algebra.

1) While the modern upper-level undergraduate curriculum does push a lot more abstraction than appeared a century ago, this is still balanced with the psychological need for students to not go up too many levels too quickly. Even though categories are some kind of algebraic structure generalizing groups and lattices, the standard examples are categories of other mathematical objects one has already studed (sets, groups, etc.). For students this is conceptually quite different from the more concrete situation of finite symmetry groups, for example.

2) The applications of categories (separately from the special cases of groups/lattices/monoids/posets/etc.) don't yet appear enough for the average person with a bachelor's in math to need to know them. This may change as #AppliedCategoryTheory, #TopologicalDataAnalysis, #FunctionalProgramming, and so forth continue to mature and have greater impacts outside of academia.

#appliedcategorytheory #categorytheory https://www.youtube.com/@pimdehaan1

#Introduction
I am Electrical Engineering Technician and Electrical Engineering & Physics college Teacher and Trainer.
I am interested in #appliedcategorytheory in relation to #Ai, #quantuminformation,#machinelearning #NLP

If you haven’t yet, do check this out: https://cats.for.ai/program/

Great lists of resources and free textbooks, too.

#AppliedCategoryTheory #AI #DeepLearning #CategoryTheory #Tutorial #OnlineCourse

#introduction

I'm an associate professor at ELSI in Tokyo. I'm into #ComplexSystems, #ArtificialLife, #OriginOfLife and #AppliedCategoryTheory.

Lately I'm really into the question of "what is an agent" and the foundations of Bayesian reasoning and decisition making. This means my interests overlap quite a bit with the #aialignment crowd, although my main motivation is understanding where agency came from in biology.

#introduction

I'm a post-doctoral at Aix-Marseille University. I just finished my PhD with the Quantum Group at the University of Oxford. I'm the main developer of DisCoPy, a Python library for computing with string diagrams.

My research focuses on the following topics:

#QuantumComputing
#ArtificialIntelligence
#NaturalLanguageProcessing
#CategoryTheory
#AppliedCategoryTheory

#notwitter