Talk:Container (type theory)

Where this article says
 * $$\lambda(s,f).(s,g\circ f),$$

should it possibly instead say
 * $$\lambda(s,f)\cdot(s,g\circ f)$$

(with a centered dot instead of a full stop)? Note that as it is now, the dot is not only lower than the centered dot, but closer to the expression on the left than to the one on the right. It also lacks the horizontal spacing proper to a binary operation symbol. 2601:447:CD80:E200:39E5:BBE7:6065:9B33 (talk) 14:17, 24 June 2024 (UTC)