equal
deleted
inserted
replaced
96 |
96 |
97 For simplicity we will assume that all fields are splittable into small pieces, so that |
97 For simplicity we will assume that all fields are splittable into small pieces, so that |
98 $\sbc_0(X) = \bc_0(X)$. |
98 $\sbc_0(X) = \bc_0(X)$. |
99 (This is true for all of the examples presented in this paper.) |
99 (This is true for all of the examples presented in this paper.) |
100 Accordingly, we define $h_0 = 0$. |
100 Accordingly, we define $h_0 = 0$. |
|
101 \nn{Since we now have an axiom providing this, we should use it. (At present, the axiom is only for morphisms, not fields.)} |
101 |
102 |
102 Next we define $h_1$. |
103 Next we define $h_1$. |
103 Let $b\in C_1$ be a 1-blob diagram. |
104 Let $b\in C_1$ be a 1-blob diagram. |
104 Let $B$ be the blob of $b$. |
105 Let $B$ be the blob of $b$. |
105 We will construct a 1-chain $s(b)\in \sbc_1(X)$ such that $\bd(s(b)) = \bd b$ |
106 We will construct a 1-chain $s(b)\in \sbc_1(X)$ such that $\bd(s(b)) = \bd b$ |