Ainda estou me familiarizando com toda essa teoria da categoria, e quase todos os exemplos que vejo são com um Talvez ou uma Matriz. Mas não encontrei nenhum exemplo que discrimine essas categorias. Por exemplo, aqui estão algumas das perguntas que ainda não consegui responder:

o que é um semigrupo que também não é um monóide?o que é um dobrável que também não é um travável?[Duplicado]o que é um Functor que também não é um Apply?o que é um aplicativo que também não é um aplicativo?o que é um aplicativo que também não é uma cadeia?o que é uma cadeia que também não é uma mônada?que candidato que também não é uma mônada?[Duplicado]

Estou aprendendo essas coisas através do contexto deJavaScript FantasyLand então é daí que estou obtendo o jargão - entendo que há palavras diferentes para essas coisas.