말씀을 뒤집어서 보면, 만일 고정점 a = f a 라는 정의에 있는 =을 약?화시켜 동형사상쯤으로 바꿔 놓는다면, 그제서야 모나드도 고정점이 된다.. 란 말씀이지요? "고정점 처럼 볼 수 있다"란 문장을 좀 더 포멀하게 바꿔주신 거지요?

1

If you have a fediverse account, you can reply to this note from your own instance. Search https://hackers.pub/ap/notes/01972985-379d-7b08-bd2b-e2c3a967f4be on your instance and reply to it.