Todavía me estoy familiarizando con todas estas cosas de teoría de categorías, y casi todos los ejemplos que veo son con un tal vez o una matriz. Pero no he encontrado ningún ejemplo que discrimine entre estas categorías. Por ejemplo, estas son algunas de las preguntas que aún no he podido responder:

¿Qué es un Semigrupo que no es también un monoide?¿Qué es un plegable que no es también transitable?[Duplicar]¿Qué es un Functor que no es también un Apply?¿Qué es una aplicación que no es también una aplicación?¿Cuál es una aplicación que no es también una cadena?¿Qué es una cadena que no es también una mónada?¿Qué aplicativo que no es también una mónada?[Duplicar]

Estoy aprendiendo esto a través del contexto deJavaScript FantasyLand así que de ahí saco la jerga: entiendo que hay diferentes palabras para estas cosas.