---

Step * of Lemma context-map-comp

No Annotations
∀[I,J,K:fset(ℕ)]. ∀[f:J ⟶ I]. ∀[g:K ⟶ J].  (<f ⋅ g> = <f> o <g> ∈ formal-cube(K) ⟶ formal-cube(I))
BY
{ PresheafMLTTInstance Obid: ps-ps-context-map-comp⋅ }

---

Latex:

---

Latex:
No  Annotations
\mforall{}[I,J,K:fset(\mBbbN{})].  \mforall{}[f:J  {}\mrightarrow{}  I].  \mforall{}[g:K  {}\mrightarrow{}  J].    (<f  \mcdot{}  g>  =  <f>  o  <g>)


By

---

Latex:
PresheafMLTTInstance  Obid:  ps-ps-context-map-comp\mcdot{}

---

Home Index