7,717 followers
@deinemerle good q. I know of this overview https://t.co/MV0q0iOzZt, but it appears that none of the discussed theories have exactly two sorts. More instructive might be this: https://t.co/FtFqE9IGx6, which works with some toy examples to talk about Morita