---

Step * of Lemma cubes-ob

∀[X:Top]. (cat-ob(cubes(X)) ~ I:fset(ℕ) × X(I))
BY
{ PresheafMLTTInstance Obid: sets-ob⋅ }

---

Latex:

---

Latex:
\mforall{}[X:Top].  (cat-ob(cubes(X))  \msim{}  I:fset(\mBbbN{})  \mtimes{}  X(I))


By

---

Latex:
PresheafMLTTInstance  Obid:  sets-ob\mcdot{}

---

Home Index