TY - RPRT TI - Derived operations satisfy standard identities AU - Vladimir Dotsenko PY - 2025 DO - 10.1007/s00574-025-00494-z UR - https://arxiv.org/abs/2511.01410 ID - 2511.01410 ER -