Soit une mathématicienne anorexique : une personne faisant des mathématiques comme si il s’agissait de réalité, et projetant sur la réalité de sa nutrition des phantasmes divers comme si se nourrir pouvait relever du langage (raison conceptuelle).
Soit 2 catégories : \(\cal{E}\)={math, manger} pour 'empirique' et \(\cal{T}\)={réel, langage} pour 'théorique'. On considère 2 foncteurs de \(\cal{E}\) dans \(\cal{T}\) : 'expected' : \(exp(math)=langage\), \(exp(manger) = réel\) et 'realised' : \(rea(math)=réel\), \(rea(manger) = langage\), et les morphismes internes \(f(math) = manger\) - comprendre \(math = manger^{-1}\), dans \(\cal{E}\), \(f^{*}(réel) = langage\), dans \(\cal{T}\), ainsi que leur inverse. on pose que \(exp\) et \(rea\) inverse \(f\) : \(exp(f)= f^{*-1}\), \(rea(f)=f^{*}\). on a alors une transformation naturelle \(exp \rightarrow rea\)
No comments:
Post a Comment