이미지 경로수정

Author: jbl428

src/applicative-functor/ap.md

@@ -70,15 +70,15 @@ const result = addFollowerAsync(fetchUser(followerId))(fetchUser(userId)) // 컴
 liftA2(g): (fb: F<B>) => (fc: F<C>) => F<D>
 ```
 
-<img src="/images/liftA2.png" width="500" alt="liftA2" />
+<img src="../images/liftA2.png" width="500" alt="liftA2" />
 
 어떻게 구할 수 있을까요? 주어진 `g` 는 unary 함수이므로, functor 인스턴스와 `map` 을 활용할 수 있습니다:
 
 ```typescript
 map(g): (fb: F<B>) => F<(c: C) => D>
 ```
 
-<img src="/images/liftA2-first-step.png" width="500" alt="liftA2 (첫 단계)" />
+<img src="../images/liftA2-first-step.png" width="500" alt="liftA2 (첫 단계)" />
 
 이제 문제가 발생합니다: functor 인스턴스는 타입 `F<(c: C) => D>` 에서 `(fc: F<C>) => F<D>` 로 만드는 연산을 지원하지 않습니다.
 

src/category-theory/composition-core-problem.md

@@ -23,7 +23,7 @@ function pipe<A, B, C>(a: A, f: (a: A) => B, g: (b: B) => C): C {
 - `f: (a: A) => F<B>` 와 `g: (b: B, c: C) => D` 의 합성은 `F` 의 **applicative functor** 인스턴스가 필요합니다
 - `f: (a: A) => F<B>` 와 `g: (b: B) => F<C>` 의 합성은 `F` 의 **monad** 인스턴스가 필요합니다
 
-<img src="/images/spoiler.png" width="900" alt="The four composition recipes" />
+<img src="../images/spoiler.png" width="900" alt="The four composition recipes" />
 
 이번 장의 초반에 언급한 문제가 두 번째 상황에 해당하며 `F` 는 `Option` 타입을 의미합니다:
 

src/category-theory/definition.md

@@ -18,7 +18,7 @@ category 는 `(Objects, Morphisms)` 쌍으로 되어있고 각각 다음을 의
 
 모든 morphism 에서, `A` 와 `B` 는 모두 `Ojbects` 의 구성원입니다. 보통 `f: A ⟼ B` 라고 쓰며 "f 는 A 에서 B 로 가는 morphism" 이라 말합니다.
 
-<img src="/images/morphism.png" width="300" alt="A morphism" />
+<img src="../images/morphism.png" width="300" alt="A morphism" />
 
 **참고**. 앞으로는, 단순하게 원은 제외하고 object 에만 라벨을 붙이겠습니다>
 
@@ -28,18 +28,18 @@ category 는 `(Objects, Morphisms)` 쌍으로 되어있고 각각 다음을 의
 
 - (**morphisms 의 합성**) 모든 임의의 두 morphisms `f: A ⟼ B` 와 `g: B ⟼ C` 에 대해 `f` 와 `g` 의 _합성_ 인 다음 `g ∘ f: A ⟼ C` morphism 이 존재해야 합니다.
 
-<img src="/images/composition.png" width="300" alt="composition" />
+<img src="../images/composition.png" width="300" alt="composition" />
 
 - (**결합 법칙**) 만약 `f: A ⟼ B`, `g: B ⟼ C` 이고 `h: C ⟼ D` 이면 `h ∘ (g ∘ f) = (h ∘ g) ∘ f`
 
-<img src="/images/associativity.png" width="500" alt="associativity" />
+<img src="../images/associativity.png" width="500" alt="associativity" />
 
 - (**항등성**) 모든 `X` 의 object 에 대해, 다음 법칙을 만족하는 _identity morphism_ 이라 불리는 morphism `identity: X ⟼ X` 가 존재합니다. 모든 임의의 morphism `f: A ⟼ X` 와 `g: X ⟼ B` 에 대해, `identity ∘ f = f` 와 `g ∘ identity = g` 식을 만족합니다.
 
-<img src="/images/identity.png" width="300" alt="identity" />
+<img src="../images/identity.png" width="300" alt="identity" />
 
 **예제**
 
-<img src="/images/category.png" width="300" alt="a simple category" />
+<img src="../images/category.png" width="300" alt="a simple category" />
 
 category 는 매우 단순합니다, 3 개의 objects 와 6 개의 morphism 이 존재합니다 (1A, 1B, 1C 와  `A`, `B`, `C` 에 대한 identity morphism 들 입니다).

src/category-theory/modeling-programming-languages.md

@@ -8,7 +8,7 @@ Category 는 **타입이 있는 프로그래밍 언어** 의 단순화된 모델
 
 다음 다이어그램에서:
 
-<img src="/images/category.png" width="300" alt="a simple programming language" />
+<img src="../images/category.png" width="300" alt="a simple programming language" />
 
 3가지 타입과 6가지 함수를 가진 가상의 (그리고 단순한) 프로그래밍 언어로 생각할 수 있습니다.
 

src/functor/boundary-of-functor.md

@@ -7,7 +7,7 @@
 
 `f` 와 `g` 를 합성하기 위해서 `(b: B) => C` 인 `g` 함수를 일반적인 함수 합성을 사용할 수 있는 형태인 `(fb: F<B>) => F<C>` 로 만드는 과정이 필요합니다. (이러면 `f` 의 공역은 새로운 함수의 정의역과 일치하게 됩니다)
 
-<img src="/images/map.png" width="500" alt="map" />
+<img src="../images/map.png" width="500" alt="map" />
 
 이제 기존 문제를 다음의 새로운 문제로 변경하였습니다: 위 방식을 위한, `map` 이라고 불리는 함수를 찾을 수 있을까요?
 
@@ -218,7 +218,7 @@ category 는 object 와 morphism 의 쌍이기에, functor 또한 두 개의 쌍
 
 여기서 _C_ 와 _D_ 는 (프로그래밍 언어라고 할 수 있는) category 입니다.
 
-<img src="/images/functor.png" width="500" alt="functor" />
+<img src="../images/functor.png" width="500" alt="functor" />
 
 서로 다른 두 프로그래밍 언어의 매핑은 굉장한 아이디어지만, 우리는 _C_ 와 _D_ 가 동일한 상황(_TS_ category) 에서의 매핑에 더 관심이 있습니다. 이 경우에는 **endofunctors** 라고 부릅니다 (그리스어 "endo" 는 "내부" 를 뜻합니다)
 

src/functor/contravariant-functor.md

@@ -6,7 +6,7 @@
 
 contravariant functor 의 정의는 기본 연산의 시그니쳐를 제외하면 covariant 와 거의 동일합니다. 해당 연산은 `map` 보다는 `contramap` 으로 불립니다.
 
-<img src="/images/contramap.png" width="300" alt="contramap" />
+<img src="../images/contramap.png" width="300" alt="contramap" />
 
 **예제**