圏論に長けている人は、envのグループがenvでもあるこのEnvGroupパターンを説明するために使用できるクールな専門用語を教えてもらえますか? これは「関手」か「モナド」か、あるいはクソみたいなものです。図は通勤しますか?
28.51K