Exponential object

Avy amin'i testwiki

Endrika tamin'ny 4 Septambra 2024 à 18:02 nataon'i imported>Jaonananana (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... »)

(fahasamihafana) ← Endrika tranainy kokoa | Endrika farany indrindra (fahasamihafana) | Endrika vaovao kokoa → (fahasamihafana)

Aller à la navigation Aller à la recherche

Endrika:=en=

Endrika:-ana- exponential object

zavatra iray izay manondro ny fianakavian'ny zana-tsipìka eo anelanelan'ny zavatra roa nomena amin'ny fomba morphisme iraisan'ny rehetra, midika

Endrika:-famakiana fanampiny-

currying $\sim$ Endrika:W (an instance of which is the transpositioning $λ$ in the figure)
modus ponens (homologous to the universal evaluation morphism, $eval$ )

Endrika:-tsiahy- Endrika:Wikibolana

Hita tao amin'ny "https://mg.wiktionary.beta.math.wmflabs.org/w/index.php?title=Exponential_object&oldid=57"