๋ฒ์ฃผ๋ก ์์์ ์นดํ ๊ณ ๋ฆฌ์ ๋ํด ์์๋ณด์.
ํ๋ก๊ทธ๋๋ฐ๊ณผ ๋ฌด์จ ๊ด๊ณ๊ฐ ์๋๊ฐ?
- ์ ์ด๋ฐ ๋ฉํ์ํ์์ ์ฌ์ฉ๋๋ ๊ฐ๋ ์ด ํ๋ก๊ทธ๋๋ฐ์์ ์ฌ์ฉ๋ ๊น?
- ํ๋ก๊ทธ๋๋ฐ์์ ๊ณตํต์ ์ผ๋ก ๋ํ๋ด๋ ๊ฐ๋ ๋ค ์ฌ์ด์ ๊ด๊ณ๊ฐ ์นดํ ๊ณ ๋ฆฌ์ ์กฐ๊ฑด์ ๋ฑ ๋ค์ด๋ง๋๋ค.
- ๋ชจ๋ ํ๋ก๊ทธ๋๋ฐ ์ธ์ด์๋ ํ์ ์ด ์๋ค.
- ๊ทธ๋ฆฌ๊ณ ๊ทธ ํ์ ๋ค ์ฌ์ด์๋ ํจ์๋ก ๋ถ๋ฆฌ๋ โํฉ์ฑํ ์ ์๋ ๊ด๊ณโ๊ฐ ์๋ค.
- ์์์ ๋ดค๋ ๊ทธ๋ฆผ์ด๋ค.
- ํ์ ์ ๋์, ํ์ ๊ฐ์ ๊ด๊ณ๋ ์ฌ์์ผ๋ก ์๊ฐํ ์ ์๊ฒ ๋ค.
- ๋น์ฐํ ํ์ ์ ์ค์ ๊ฐ๋ค์ ๋๋ณํ๋ ํ๋์ ์งํฉ์ด๋ค.
- ๊ทธ๋ ๊ธฐ ๋๋ฌธ์ ๊ทธ ํจ์๋ ๊ทธ ๊ฐ๋ค์ด ์ฐ๊ฒฐ๋๋ ๊ด๊ณ๋ค์ ์งํฉ์ด๋ผ ๋ณผ ์ ์๋ค.
- 3์ฐจ์์ผ๋ก ์๊ฐํ๋ ๊ฒ์ด ๋ณด๋ค ์ง๊ด์ ์ด๋ค.
- ๋ค๋ง, ์ฌ๊ธฐ์ ์๊ธฐํ๋ ํจ์๋ โ์์ ํจ์โ์ผ ๊ฒฝ์ฐ์ด๋ค.
- ์์ ํจ์์ผ ๊ฒฝ์ฐ ํจ์ ํฉ์ฑ์ ๋ฌด์กฐ๊ฑด ๊ฒฐํฉ๋ฒ์น์ ๋ง์กฑ์ํค๊ธฐ ๋๋ฌธ์ด๋ค.
- ๋ถ์์ฉ์ด ์๋ ํจ์์ ๊ฒฝ์ฐ ์ด ๋ฒ์น์ ๋ง์กฑ์ํฌ ์ ์๋ค.
- ์์ผ๋ก ์ด๋ ๊ฒ ํ๋ก๊ทธ๋๋ฐ ์ธ์ด์ ํ์ ๊ณผ ํจ์๋ค๋ก ๋ง์กฑํ๋ ์นดํ ๊ณ ๋ฆฌ๋ฅผ โํ์ ์นดํ ๊ณ ๋ฆฌโ๋ก ๋ถ๋ฅด๊ฒ ๋ค.
Set Category
- ๊ทธ๋ฆผ์ ๋ณด๋ฉด ์๊ฒ ์ง๋ง ์งํฉ ์นดํ ์ฝ๋ฆฌ์ ๋น์ทํ๋ค๋ ๊ฒ์ ์ ์ ์๋ค.
- ์ค์ ๋ก๋ ์งํฉ ์นดํ ๊ณ ๋ฆฌ๋ฅผ ์ดํดํ๋ ๊ฒ์ด ์ค์ํ๋ค.
- ์นดํ ๊ณ ๋ฆฌ ์ด๋ก ์ ๊ธฐ์ด๋ฅผ ์ด๋ฃจ๋ ๊ฐ๋ ์ค ์๋น์๊ฐ ์งํฉ๊ณผ ์งํฉ ์ฌ์ด ์ ์๋ ์ ์๋ ๊ฐ๋ ์,
- ์์์ ๋์ ์ฌ์ด์ ์ ์๋ ์ ์๋ ๊ฐ๋ ์ผ๋ก โ์ผ๋ฐํโ์ํจ ๊ฒ์ด๊ธฐ ๋๋ฌธ์ด๋ค.
- โ์ฌ์โ์ด๋ผ๋ ๋จ์ด ์์ฒด๊ฐ ์งํฉ๊ณผ ์งํฉ ์ฌ์ด์ ์ ์๋๋ ํจ์ ๊ฐ๋ ์ ํ์ฅํ ๊ฑฐ๋ค.
- ์์ผ๋ก์ ์นดํ ๊ณ ๋ฆฌ ์ด๋ก ์์ ๋ฑ์ฅํ๋ ๊ฐ๋ ์ ์งํฉ๋ก ์์ ์ ์๋๋ ๊ฐ๋ ์ ๋ฐํ์ผ๋ก ์ค๋ช ํ๋๋ก ํ๊ฒ ๋ค.
Isomorphism (๋ํ ์ฌ์)
- ์๋ ํ๊ต์์ โ์ผ๋์ผ ๋์โํจ์์ ๋ํด ๋ฐฐ์ด ์ ์ด ์์๋ค.
- ํ์๋ก๋ โ์ ๋จ์ฌ ํจ์โ, ์์ด๋ก๋ โBijectionโ์ด๋ผ๊ณ ํ๋ค.
- ์ด๋ ๋ ์งํฉ์ ์์๋ฅผ ์ค๋ณต / ๋๋ฝ ์์ด ๋ชจ๋ ๋์์ํค๋ ํจ์๋ฅผ ๋งํ๋ค.
- ์ด ๊ฐ๋ ์ ์นดํ ๊ณ ๋ฆฌ๋ก ํ์ฅํด๋ณด์.
- ๊ทธ๋ฐ๋ฐ, ํ์ฅํ์ ๋ ์ผ๋์ผ ๋์์ด๋ผ๋ ๊ฐ๋ ์์ฒด๋ฅผ ํ์ฅํ ์๋ ์๋ค.
- ์ด ๋์์ด๋ผ๋ ๊ฐ๋ ์ ์งํฉ์ด๋ผ๋ ๋์์๋ง ์ ์ฉ๋๋ ๊ฐ๋ ์ด๊ธฐ ๋๋ฌธ์ด๋ค.
- ๋ค๋ฅธ ์นดํ
๊ณ ๋ฆฌ์ ์ฌ์์ ํด๋น๋๋ ๊ฐ๋
์ด โ๋์โ์ ๊ตญํ๋ ๊ฒ์ด๋ผ๋ ๋ณด์ฅ์ด ์์ผ๋๊น.
- ์งํฉ์ธ ๊ฒฝ์ฐ์๋ ๋์์ผ๋ก ์ฌ์์ด ์ค๋ช ๋์์ง๋ง, ๋ค๋ฅธ ์นดํ ๊ณ ๋ฆฌ์์๋ ๋์์ด๋ผ๋ ๊ฐ๋ ์ด ์ฌ์์ผ๋ก ์ค๋ช ๋ ์๋ ์๊ณ , ๊ทธ๋ ์ง ์์ ์๋ ์๋ค.
- ๊ทธ๋ ๊ธฐ์ ์ฐ๋ฆฌ๋ ์ ๋จ์ฌ ํจ์๊ฐ ๋ค๋ฅธ ํจ์๋ค๊ณผ ๋ค๋ฅธ ์ด๋ ํ ํน์ฑ์ ์ถ์ถํด์ผ ํ๋ค.
- ๊ทธ ํน์ฑ์ด ๋ฐ๋ก โ์ญํจ์โ๊ฐ ์กด์ฌํ๋ค๋ ๊ฒ์ด๋ค.
- ์ค๋ณต / ๋๋ฝ ์์ด ๋์์ํค๋ ํจ์๊ฐ ์กด์ฌํ๋ค๋ ๊ฒ์ ์ญํจ์๊ฐ ์กด์ฌํ๋ค๋ ๊ฒ๊ณผ ๋์น์ด๋ค.
- ์ฆ, ์ญํจ์์ ์กด์ฌ๋ ํจ์๊ฐ ์ ๋จ์ฌ ํจ์๊ฐ ๋๊ธฐ ์ํ ํ์์ถฉ๋ถ์กฐ๊ฑด์ด๋ค.
- Isomorphism์ ์ ์กฐ๊ฑด์ ์ผ๋ฐํํ ๊ฒ์ผ๋ก ์ ์๋๋ค.
- A, B๋ผ๋ ๋์์ด ์๊ณ , A์์ B๋ก ๊ฐ๋ ์ด๋ค ์ฌ์ f๊ฐ,
- B์์ A๋ก ๊ฐ๋ ๊ทธ๊ฒ์ ์ญ์ฌ์ ์ด ๊ฐ์ง๊ณ ์์ผ๋ฉฐ,
- , ๋ฅผ ๋ง์กฑ์ํค๋ ๊ฒฝ์ฐ,
- ๋ฅผ Isomorphism์ด๋ผ๊ณ ํ๋ค.
Isomorphism์ ์๋ฏธ
- ๋ํ ์ฌ์์ ๋์๋ค ์ฌ์ด์ ์ด๋ ํ ๋์น ๊ด๊ณ๋ฅผ ์ฃผ๊ธฐ ๋๋ฌธ์ ์ค์ํ๋ค.
- ์ฆ, ๋ ๋์ ์ฌ์ด์ ๋ํ ์ฌ์์ด ํ๋๋ผ๋ ์๋ค๋ฉด, ๊ทธ ๋ ๋์์ Isomorphicํ๋ค, ๋ํ์ด๋ผ๊ณ ํ๋ค.
- A, B๊ฐ ๋ํ์ด๊ณ ,
- B, C๊ฐ ๋ํ์ด๋ผ๋ฉด
- A, B์ฌ์ด์๋ , ๊ฐ ์กด์ฌํ๊ณ ,
- B, C์ฌ์ด์๋ , ๊ฐ ์กด์ฌํ๋ค.
- A์์ C๋ก ๊ฐ๋ ์ฌ์์ ์ ์ํ๋ค๋ฉด ๊ฐ ๋๋ค.
- C์์ A๋ก ๊ฐ๋ ์ฌ์์ ์ ์ํ๋ค๋ฉด ๊ฐ ๋๋ค.
- ์ด ๋, A, C ์ญ์ ์ญ ์ฌ์์ด ์ ์๋๊ฒ ๋์ด A, C๋ ๋ํ์ด ๋๋ค.
- ์ฆ, ๋ํ์ โ๋์น ๊ด๊ณโ์ด๋ค.
๋ํ ๋์๋ค์ ํน์ง
- Set์ ๋ํด ์ ์์๋ฅผ ์๊ฐํด๋ณด์.
- ๋ํ์ด๊ธฐ ์ํด์๋ ์ผ๋์ผ ๋์์ด์ด์ผ ํ๋, A, B, C ์งํฉ์ ์์์๋ ๋ชจ๋ ๊ฐ์์ผ ํ๋ค.
- ์ญ ์ฌ์์ด ์กด์ฌํด์ผ ํ๋ค๋ ์ ์๋ฅผ ํตํด ์ค์ ์ฌ๋ก๋ฅผ ๋ณด๋, ๋ค๋ฅธ ํน์ง๋ค์ด ๋ฐ์ํ๋ค.
- ์ด๋ฐ ๊ณตํต์ ํน์ฑ์ ์ฐพ๊ฒ ํด์ฃผ๋ ๊ฒ์ด ๋ํ ์ฌ์์ด๋ผ ์๊ฐํ ์ ์๊ฒ ๋ค.
- ๋ํ ์ฌ์์ด๋ผ๋ฉด ๊ทธ ๋์๋ค ์ฌ์ด์์ ๊ณตํต์ ์์ฑ์ ๊ฐ๋๋ค.
Monomorphism (๋จ์ฌ ์ฌ์)
- ์๋ ์ ๊ณต๋ถํ์ ๋ โ์ผ๋์ผ ๋์โ๊ณผ ํจ๊ป ๋์ค๋ ๊ฐ๋ ์ด ์์๋ค. โ์ผ๋์ผ ํจ์โ์ด๋ค.
- ํ์๋ก๋ โ๋จ์ฌ ํจ์โ, ์์ด๋ก๋ โInjectionโ์ด๋ผ๊ณ ํ๋ค.
- ์ด ๊ฒฝ์ฐ, ์งํฉ ๋๊ฐ๊ฐ ์์ ๋ ํ ์งํฉ์ ์์๋ฅผ ์ค๋ณต ์์ด ๋ค๋ฅธ ์งํฉ์ ์ผ๋์ผ๋ก ๋์์ํค๋ ํจ์๋ฅผ ๋งํ๋ค.
- ์ด ๊ฐ๋ ์ ์ด๋ป๊ฒ ์ผ๋ฐํ ํ ์ ์์๊น?
- ๋์์ ๊ฐ๋ ๋ง๊ณ , ๋ค๋ฅธ ๋ฐฉ์์ผ๋ก ์ด๋ฅผ ์ค๋ช ํ ์ ์๋ ๋ฐฉ๋ฒ์ ์ฐพ์์ผ ํ๋ค.
- A์์ B๋ก ๊ฐ๋ ๋จ์ฌ ํจ์ f๊ฐ ์๋ค๊ณ ํ์.
- ๊ทธ๋ฆฌ๊ณ Z๊ฐ ์๊ณ , A๋ก ๊ฐ๋ ์ฌ์ g1, g2๊ฐ ์๋ค๊ณ ํ์.
- ๋จ์ฌ ํจ์๋ ๋ฅผ ๋ง์กฑ์ํฌ ๊ฒฝ์ฐ,
- ์ด๋ผ๋ ์ฑ์ง์ ๊ฐ์ง๊ณ ์๋ค.
- ์์ผ๊น?
- ๋จ์ฌ ํจ์๋ ํ ์์๋ฅผ ๋ค๋ฅธ ์์์ ์ค๋ณต ์์ด ๋์์ํค๋ ํจ์์ด๋ค.
- ๊ทธ๋ ๊ธฐ์ ์ผ ๊ฒฝ์ฐ, ์ด๋ค.
- ๊ทธ๋ฌ๋, ๋ผ๋ ๋ง์,
- ๊ณผ ๋ก ๋ถํฐ ๋์ค๋ ๊ฐ๋ค ๋ชจ๋๊ฐ ๊ฐ๋ค๋ ๋ง์ด๋ค.
- ์ด๋ ๊ณง ๋ผ๋ ๋ง๊ณผ ๊ฐ๋ค.
- Monomorphism์ ์ ์กฐ๊ฑด์ ์ผ๋ฐํํ ๊ฒ์ผ๋ก ์ ์๋๋ค.
- A, B๋ผ๋ ๋์์ด ์๊ณ , A์์ B๋ก ๊ฐ๋ ์ด๋ค ์ฌ์ f๊ฐ,
- Z๊ฐ ์๊ณ , A๋ก ๊ฐ๋ ์ฌ์ g1, g2๊ฐ ์์ ๋,
- ๋ฅผ ์ผ ๋, ์ด๋ฉด,
- ๋ฅผ Monomorphism์ด๋ผ๊ณ ํ๋ค.
Epimorphism (์ ์ฌ ์ฌ์)
- ์์ ์ ๋ณด๋ฉด, ๊ณต์ญ๊ณผ ์น์ญ์ด ๊ฐ์ ํจ์๋ค๋ ์์๋ค.
- ์ด๋ฌํ ํํ์ ํจ์๋ค๋ ๋ถ๋ฅด๋ ์ด๋ฆ์ด ์๋ค.
- ํ์๋ก๋ โ์ ์ฌ ํจ์โ, ์์ด๋ก๋ โSurjectionโ์ด๋ผ๊ณ ํ๋ค.
- ์ฆ, ๊ณต์ญ์ ๋ชจ๋ ์์์ ๋ํด ํด๋น ์์๋ก ๊ฐ๋ ์ ์์ญ์ ์์๊ฐ ์ ์ด๋ ํ๋ ์๋ ๊ฒ์ ์ ์ฌํจ์๋ผ ํ๋ค.
- ์ด ์ญ์ ์ผ๋ฐํ ํ๊ธฐ ์ํด ์ ์ฌ ํจ์๊ฐ ๊ฐ๋ ํน์ง์ ์ดํด๋ณด์.
- A์์ B๋ก ๊ฐ๋ ์ ์ฌ ํจ์ f๊ฐ ์๋ค๊ณ ํ์.
- ๊ทธ๋ฆฌ๊ณ Z๊ฐ ์๊ณ , B๋ก ๊ฐ๋ ์ฌ์ g1, g2๊ฐ ์๋ค๊ณ ํ์.
- ์ ์ฌ ํจ์๋ ๋ฅผ ๋ง์กฑ์ํฌ ๊ฒฝ์ฐ,
- ์ด๋ผ๋ ์ฑ์ง์ ๊ฐ์ง๊ณ ์๋ค.
- ์์ผ๊น?
- ์ ์ฌ ํจ์๋ ๊ณต์ญ์ ๋ชจ๋ ์์์ ๋ํด ํด๋น ์์๋ก ๊ฐ๋ ์ ์์ญ์ ์์๊ฐ ์ ์ด๋ ํ๋ ์๋ ํจ์์ด๋ค.
- ๋ A์ ๋ถ๋ถ์งํฉ์ ๋ํด์๋ โ์ ๋จ์ฌโํจ์๋ผ ๋ณผ ์ ์๋ค.
- ์ ๋จ์ฌ ํจ์๋ ์ผ ๊ฒฝ์ฐ, ์ด๋ค.
- ๊ทธ๋ ๊ธฐ์ ๋ผ๋ ๋ง์,
- ๋ก ๋ถํฐ ๋์ค๋ ๊ฐ๋ค ๋ชจ๋๊ฐ ๊ฐ๋ค๋ ๋ง์ด๋ค.
- ๋น์ฐํ ์ ๊ฒฐ๊ณผ๊ฐ ๋ชจ๋ ๊ฐ๊ณ , ์ด ๊ฒฐ๊ณผ๊ฐ ๊ณผ ๋ก ๋ค์ด๊ฐ์ ๋์จ ๊ฒฐ๊ณผ๊ฐ ๋ชจ๋ ๊ฐ๋ค๋ ๋ง์,
- ๊ณผ ๊ฐ ๊ฐ๋ค๋ ๋ง์ด๋ค.
- Epimorphism์ ์ ์กฐ๊ฑด์ ์ผ๋ฐํํ ๊ฒ์ผ๋ก ์ ์๋๋ค.
- A, B๋ผ๋ ๋์์ด ์๊ณ , A์์ B๋ก ๊ฐ๋ ์ด๋ค ์ฌ์ f๊ฐ,
- Z๊ฐ ์๊ณ , B๋ก ๊ฐ๋ ์ฌ์ g1, g2๊ฐ ์์ ๋,
- ๋ฅผ ์ผ ๋, ์ด๋ฉด,
- ๋ฅผ Epimorphism์ด๋ผ๊ณ ํ๋ค.
Terminal Object (์ข ๋จ ๋์)
- ์์๊ฐ ํ๋๋ฟ์ธ ์งํฉ๋ค์ ๋ ํนํ ํน์ง์ด ์๋ค.
- ๋ชจ๋ ๋ค๋ฅธ ์งํฉ์ผ๋ก ๋ถํฐ ์ด ์์๊ฐ ํ๋์ธ ์งํฉ์ผ๋ก ๊ฐ๋ ํจ์๋ฅผ ์๊ฐํด๋ณด์์ ๋,
- ๋ฑ ํ๊ฐ๋ง ์กด์ฌํ๋ค.
- A์์ ์์๊ฐ ํ๋์ธ ์งํฉ B๋ก ๊ฐ๋ ํจ์๊ฐ ์๋ค๊ณ ํ์ ๋,
- A์ ๋ชจ๋ ์์๊ฐ B์ ์กด์ฌํ๋ ํ๋์ ์์๋ก ๊ฐ ์ ๋ฐ์ ์๋ค.
- ์ด๋ ์ผ์ข ์ ์์ ํจ์๋ผ ์๊ฐํ ์ ์๋ค.
- ์นดํ ๊ณ ๋ฆฌ ์ด๋ก ์์๋ ์ด๋ฅผ โ์ข ๋จ ๋์โ์ด๋ผ๊ณ ํ๋ค.
- ์นดํ ๊ณ ๋ฆฌ์ ๋ชจ๋ ๋์์ด ์ด ์ข ๋จ ๋์์ผ๋ก ๊ฐ๋ ์ฌ์์ ๋จ ํ๋๋ง ๊ฐ์ง๊ณ ์๋ ๋์์ ๋งํ๋ค.
Initial Object (์ด๊ธฐ ๋์)
- ๊ณต์งํฉ์ ๋ฐ๋๋ก ๋ชจ๋ ์งํฉ์ ๋ถ๋ถ์งํฉ์ด๋ค.
- ๊ทธ๋ ๊ธฐ ๋๋ฌธ์ ์์์ ๋ชจ๋ ์งํฉ์ ๋ํด ๊ณต์งํฉ์์ ํด๋น ์งํฉ์ผ๋ก ๊ฐ๋ ์ฌ์์ด ์กด์ฌํ๋ค.
- ์ด ๋ถ๋ถ์ด ์ข ์ด๋ ค์ธ ์ ์๋๋ฐ, ๊ทธ๋ ๊ฒ ์ ์ํ๋ ๊ฒ์ด ์ํ์ ์ผ๋ก ์๋ฐํ๊ธฐ ๋๋ฌธ์ ๊ทธ๋ ๊ฒ ํ ๋ฏํ๋ค.
- ์ด๊ฑด ์ด๋ผ๋๊ฐ, , ๋ฑ๋ฑ์ ์ํ์ ์ ์์ ๊ฐ์ ๋๋์ด๋ค.
- ์๋ค๊ณ ํ๋ ๊ฒ์ด ๋ณด๋ค ๋ ผ๋ฆฌ์ ์ผ๋ก ์์ฐ์ค๋ฝ๊ธฐ๋ ํ๋ค.
- ๋ง์ฝ ๊ณต์งํฉ์ ๋ํด ํด๋น ์งํฉ์ผ๋ก ๊ฐ๋ ์ฌ์์ด ์กด์ฌํ์ง ์๋๋ค๊ณ ํ๋ฉด,
- ์ผ๋จ ๊ณต์งํฉ์ โํญ๋ฑ ์ฌ์โ์ด ์๋ ๊ฑฐ๋ค.
- ๊ทธ๋ง์ ๊ณง Set์ด ์นดํ
๊ณ ๋ฆฌ๊ฐ ๋ชป๋๋ค๋ ๋ง์ด๋ค.
- ๋ชจ๋ ๋์์ ๊ทธ ๋์์ผ๋ก ๊ฐ๋ ํญ๋ฑ ์ฌ์์ด ์์ด์ผ ์นดํ ๊ณ ๋ฆฌ๊ฐ ๋ ์ ์์
- ์ด์ฒ๋ผ ์นดํ ๊ณ ๋ฆฌ์ ์ด๋ค ๋์์ด ๋ค๋ฅธ ๋ชจ๋ ๋์์ผ๋ก ๊ฐ๋ ์ฌ์์ ํ๋๋ง ๊ฐ์ง๊ณ ์์ ๊ฒฝ์ฐ ์ด๋ฅผ โ์ด๊ธฐ ๋์โ์ด๋ผ๊ณ ํ๋ค.
- ์ด๊ฒ๋ ๋ค๋ฅธ ๋์์ผ๋ก ์ฌ์์ด ํ๋๋ฐ์ ์์์ ์๊ฐํด๋ณด๋ฉด ์ ์ ์๋ค.
์นดํ ๊ณ ๋ฆฌ ์ด๋ก ์ ์๋ฏธ
- ์ด๋ ๋ฏ ์นดํ ๊ณ ๋ฆฌ ์ด๋ก ์ ๋ค๋ฅด๋ค๊ณ ์๊ฐํ๋ ์์ญ์์์ ๊ณตํต๋ ์๋ฆฌ๋ฅผ ์ฐพ์ ํจ๊ป ๋ค๋ฃฐ ์ ์๊ฒ ํด์ค๋ค.
- ํ๋ก๊ทธ๋๋ฐ์์ ์๊ฐํด๋ณธ๋ค๋ฉด,
- Curry-Howard correspondence
- ๋ ผ๋ฆฌํ์ ์ฆ๋ช ์ฐ์ฐ๊ณผ ํ๋ก๊ทธ๋๋ฐ์ ํ์ ์ฒด๊ณ๊ฐ ๋์๋๋ค๋ ๊ฐ๋
- ๋ค๋ฅธ ๊ฐ๋ ์ด๋ผ ์๊ฐํ๋ ๊ฒ์ ๋ฌถ์ด ์๊ฐํ ์ ์๊ฒ ํด์ฃผ์ด ํจ์ํ ํ๋ก๊ทธ๋๋ฐ์ ๊ธฐ์ฌํจ.
์๋ก๋ค๋ฅธ ์นดํ ๊ณ ๋ฆฌ์ ๊ด๊ณ๋ฅผ ์ด๋ป๊ฒ ์ฐพ๋๊ฐ?
- ๊ทธ๋ ๋ค๋ฉด ์๋ก๋ค๋ฅธ ์นดํ ๊ณ ๋ฆฌ๋ค์ ์ด๋ค ๋ฐฉ์์ผ๋ก ์ฐ๊ฒฐ์ง์ ์ ์์์ง ๊ณ ๋ฏผํด๋ด์ผ ํ๋ค.
- ๊ทธ ์๋จ์ด ๋ฐ๋ก Functor, ํจ์์ด๋ค.