stilkov’s Twitter Archive—№ 31,294

ploeh runarorama Don’t know about category theory, but surely the co/contravariance connection has been known even longer than that? I seem to recall the first time I read about the terms they were explained using LSP