Tags: Promonoidal category of optics, Polarized notation for optics, Two generals problem, TCP three way handshake.
