guibault-mapping-operators-winslow