
oopparad beejaganitam

beejaganithathil, oru oopparad beejaganitam oru oopparadinu mukalilulla oru "beejaganithamaanu". r" enna commutative ringinu mukalilulla oru associative aljibrayude saamaanyavalkkaranamaanith, "r" ennathinu pakaram oru oopparad undu.
nirvachanangal.
oru oopparad "o" (udaaharanathinu, oru cemetric monoidal φ-kattagari "c" leeii oru cemetric sequence), oru oopparadinu mukalilulla oru beejaganitam, allengil churukkatthil "o"-aljibra, ekadesham, "o" nuu mukalilulla oru idathu module aanu, gunanagal "o" kondu paaraameettar cheiyunnu.
o" oru topological oopparaad aanenkil, oru oopparadinu mukalilulla oru beejaganitam "c" yile "o"-monoid object aanennu parayaam. sii" ennathu samamita monoidal aanenkil, ithu saadhaarana nirvachanam veendedukkunnu.
sii" ennathu kolimittukalil monoidal ghadana vitharanam cheiyunna cemetric monoidal φ-kattagari ayirikkatte. formula _ 1 oopparadukalude oru bhoopadamaanenkil, koodaathe, "f" oru homotopy thulyathayaanenkil, "c" yill "o" nuu mukalilulla aaljibrakalude φ-kattagari "o" inn "c" nuu mukalilulla aaljibrakalude φ-catagoric thulyamaanu.

