Shortform

2026-07-05

An operator is a map that maps maps to maps.