Post #2044533

@ohad The result is far older than that. For instance, the 2-dimensional version already appears in §6.6 of Blackwell–Kelly–Power's 1989 "Two-dimensional monad theory". I don't know what the oldest reference is, but I would imagine it's been known since the 1960s.