神的舞蹈

经历的道

知识的房子

神的调查

redaguoti

Mintys.Adjunction istorija

Rodyti nežymius pakeitimus - Rodyti kodo pakeitimus

2022 vasario 18 d., 21:57 atliko AndriusKulikauskas -
Ištrintos 0-5 eilutės:

Užrašai

Adjunctions and Math discovery

  • Tensor-hom is like a list
  • Galois connections are like least upper bound, greatest lower bound
  • Diagonal functor is like substitution (one of the methods of proof)
2022 vasario 17 d., 21:44 atliko AndriusKulikauskas -
Pakeistos 1-6 eilutės iš

B

į:

Užrašai

Adjunctions and Math discovery

  • Tensor-hom is like a list
  • Galois connections are like least upper bound, greatest lower bound
  • Diagonal functor is like substitution (one of the methods of proof)
2022 vasario 14 d., 19:37 atliko AndriusKulikauskas -
Pridėta 1 eilutė:

B

Adjunction


Naujausi pakeitimai


靠真理

网站

Įvadas #E9F5FC

Klausimai #FFFFC0

Teiginiai #FFFFFF

Kitų mintys #EFCFE1

Dievas man #FFECC0

Iš ankščiau #CCFFCC

Mieli skaitytojai, visa mano kūryba ir kartu visi šie puslapiai yra visuomenės turtas, kuriuo visi kviečiami laisvai naudotis, dalintis, visaip perkurti. - Andrius

redaguoti

Puslapis paskutinį kartą pakeistas 2022 vasario 18 d., 21:57