[Question][Hw3] Possible errata in Problem 6?

[kohs100]

Name: Hyungseok Ko

Memory를 Abstraction 할 때 Symbol 집합 X에는 Sharp이 안붙는게 맞는거같은데 오타인걸까요?

It seems there should not be sharp on symbol domain X in definition of galois connection on memory domain.

[Re-st]

Yes. I think it's errata. Odd in fact $\mathbb{M}^\sharp=\mathbb{X}\to\mathbb{Z}^\sharp$ is written fine. Thank you for your insight!

[kohs100]

Thanks!