@madeofmistak3 @qntm No. Even putting Pythagoreans and Leibniz aside, you can find use of monad in the category theory sense in 1967 https://t.co/ro5i0NOPYL. The first release of J is in 1990.
46 followers
63 followers
To my knowledge, the primordial source for lax 2-functors is https://t.co/49tfxowM35 by Jean Bénabou. Although he calls them simply morphisms of bicategories. The example section shows how versatile the notion is.
1,144 followers
Looks like Jean Bénabou is the man I need for information on bicategories and polyads. https://t.co/LGcm8EZeK9
1,245 followers
@njj4 @ireneista @DRMacIver AFAICT Benabou introduced "monad" to category theory in 1967 in https://t.co/Hg6pw2SinB, but I can't see the actual paper :-(