Miért kell a toposzhoz f = g>>h ?
Miért kell a toposzhoz f = g>>h ? #
f ≤ g - organise les sous-objets f = h ≫ g
*via la factorisation ( f = h ≫ g). 🪢🏐 Dans un topos , cela donne le treillis des sous-objets?* chaque objet a un treillis de sous-objets via cette factorisation f=h≫g 🪢
Mi a logika? #
Talán a toposz formalizálással megtudom mondani mi a logika. Ahm, talán doktori diploma kell ahhoz, hogy megtudjam mondani mi a logika. Talán már most is mondhatom, hogy számomra éppen mit jelent a logika! Szimbólumok jutnak eszembe, gondolkozás, és az is, hogy számomra a logika segít a mindennapi gondolkozásban
Ilyen szösszenet bejegyzéseket szívesen írhatok. Most az van, hogy a Topoi - Goldblatt könyvet kezdtem el formalizálni, és élvezettel csinálom! 🎉🌿