Exponential object: Tantaran'ny versiona

Aller à la navigation Aller à la recherche

Safidim-pahasamihafana: Mariho ireo bokotra radiôn'ny versiona mba hampitahàna azy ireo ary tsindrony ilay bokotra amin'ny faran'ny pejy: (ank) = fampitahana amin'ny versiona farany indrindra, (farany) = fahasamihafana amin'ny versiona farany nialoha ity, k = fiovana madinika.

4 Septambra 2024

  • ankfarany 18:024 Septambra 2024 à 18:02 imported>Jaonananana 543 oktety +543 Pejy noforonina tamin'ny « =={{=en=}}== {{-ana-|en}} '''{{subst:BASEPAGENAME}}''' # zavatra iray izay manondro ny fianakavian'ny zana-tsipìka eo anelanelan'ny zavatra roa nomena amin'ny fomba morphisme iraisan'ny rehetra, midika {{-famakiana fanampiny-}} * currying <math>\sim</math> {{w|exportation_(logic)}} (an instance of which is the transpositioning <math>\lambda</math> in the figure) * modus ponens (homologous to the universal evaluation mor... »
Hita tao amin'ny "https://mg.wiktionary.beta.math.wmflabs.org/wiki/Exponential_object"