Taula de continguts
27 les relacions: Acció (matemàtiques), Àlgebra associativa, Àlgebra de Lie, Àlgebra homològica, Característiques del llenguatge Haskell, Categoria (matemàtiques), Compilador Haskell de Glasgow, Complex de cadenes, Diagrama commutatiu, Feix (matemàtiques), Functor aplicatiu, Grup de Lie, Grup fonamental, Grup lliure, Haskell, Injecció canònica, Introducció a la teoria de grups, Límit (teoria de categories), Maurice Auslander, Quantificació canònica, Representació de grup, Scala (llenguatge de programació), Semblança de matrius, Teorema de Cauchy-Kovalévskaia, Teoria de categories, Teoria de la representació, Topologia algebraica.
Acció (matemàtiques)
rotació en sentit antihorari de 120° al voltant del centre del triangle aplica cada vèrtex del triangle en un altre vèrtex. El grup cíclic ''C''₃ format per les rotacions de 0°, 120° i 240° actua sobre el conjunt dels tres vèrtexs.
Veure Functor і Acció (matemàtiques)
Àlgebra associativa
En matemàtiques, una àlgebra associativa és una estructura algebraica A amb les operacions de suma, multiplicació (que s'assumeix que és associativa), i una multiplicació per escalars per elements d'algun cos K. La suma i la multiplicació proporcionen a A l'estructura d'un anell; la suma i la multiplicació per escalars donen a A l'estructura d'un espai vectorial sobre K.
Veure Functor і Àlgebra associativa
Àlgebra de Lie
En matemàtiques, una àlgebra de Lie és una estructura algebraica l'ús principal de la qual és estudiar objectes geomètrics com els grups de Lie i varietats diferenciables.
Veure Functor і Àlgebra de Lie
Àlgebra homològica
L'àlgebra homològica és una noció bàsica de la topologia algebraica.
Veure Functor і Àlgebra homològica
Característiques del llenguatge Haskell
Característiques del llenguatge de programació Haskell.
Veure Functor і Característiques del llenguatge Haskell
Categoria (matemàtiques)
''g'' ∘ ''f'', i els bucles són les fletxes de les respectives aplicacions identitat. Aquesta categoria s'acostuma a denotar per un '''3''' en negreta. En matemàtiques, una categoria (de vegades anomenada categoria abstracta per distingir-la d'una categoria concreta) és una col·lecció d'"objectes" que s'enllacen mitjançant "fletxes".
Veure Functor і Categoria (matemàtiques)
Compilador Haskell de Glasgow
ghc, ordre d'ordinador que respon a la sigla de "Glasgow Haskell Compiler", en català Compilador Haskell de Glasgow, és un compilador nadiu de codi lliure per al llenguatge de programació funcional Haskell, el qual va ser originalment desenvolupat a la universitat de Glasgow per Simon Peyton Jones i Simon Marlow.
Veure Functor і Compilador Haskell de Glasgow
Complex de cadenes
A àlgebra abstracta un conjunt \ consistent en estructures algebraiques Ai (ja siguin grups abelians, anells, mòduls,...) i \delta_i morfismes (segons sigui la categoria), es diu complex de cadenes o complex homològic si la construcció satisfà \delta_\circ \delta_n.
Veure Functor і Complex de cadenes
Diagrama commutatiu
''g'' ∘ ''f''.
Veure Functor і Diagrama commutatiu
Feix (matemàtiques)
En matemàtiques, un feix és una eina per l'estudi sistemàtic d'unes certes dades (com poden ser conjunts, grups abelians, anells) lligats a conjunts oberts i definits localment respecte ells.
Veure Functor і Feix (matemàtiques)
Functor aplicatiu
En programació funcional, un functor aplicatiu, en anglès applicative functor és una estructura algebraica que facilita la combinació de resultats d'una seqüència d'accions d'efectes laterals, sense la serialització temporal que requereixen les mònades, admetent paral·lelisme en la seva execució.
Veure Functor і Functor aplicatiu
Grup de Lie
En matemàtiques, un grup de Lie (pronunciat) és un grup que és també una varietat diferenciable, amb la propietat que les operacions de grup són diferenciables.
Veure Functor і Grup de Lie
Grup fonamental
tor. El llaç es pot contraure de manera homotòpica al punt ''p'' (el camí constant). En matemàtiques, i en concret en topologia algebraica, el grup fonamental és un grup associat a un determinat espai topològic puntejat que proporciona un mecanisme per determinar en quines condicions es pot deformar contínuament un camí en un altre, on els camins tenen fixats uns punts base d'inici i de final.
Veure Functor і Grup fonamental
Grup lliure
aresta representa la multiplicació per ''a'' o per ''b''. En matemàtiques, el grup lliure FS sobre un conjunt donat S consisteix en totes les expressions (també conegudes com a paraules o termes) que es poden construir a partir dels elements de S, considerant que dues expressions són diferents llevat que la seva igualtat sigui una conseqüència dels axiomes de grup (per exemple,.
Veure Functor і Grup lliure
Haskell
Haskell és un llenguatge de programació funcional estandarditzat de semàntica no estricta i avaluació tardana de les expressions (ang: lazy evaluation) en el moment que se'n demana el valor i pren el nom del matemàtic Haskell Curry.
Veure Functor і Haskell
Injecció canònica
''A'' és un subconjunt de ''B'', i ''B'' és un superconjunt de ''A''. En matemàtiques, si A és un subconjunt de B, llavors laplicació inclusió (també dita funció inclusió o injecció canònica) és la funció ι que envia cada element x de A cap al mateix element x, vist com un element de B: De vegades s'utilitza una "fletxa amb ganxo" en comptes de la fletxa habitual per representar l'aplicació inclusió; així, també es pot escriure (aquesta notació de vegades s'utilitza per simbolitzar ''embeddings'') Aquesta i altres funcions injectives anàlogues procedents de subestructures de vegades s'anomenen injeccions naturals.
Veure Functor і Injecció canònica
Introducció a la teoria de grups
Les possibles manipulacions del Cub de Rubik formen un grup. En matemàtiques, la teoria de grups estudia els grups.
Veure Functor і Introducció a la teoria de grups
Límit (teoria de categories)
Abans de definir el límit d'un functor covariant s'ha de definir el con (en el sentit teoria de categories, de la teoria de categories) d'un functor (covariant) F: J \rightarrow C, ajudant-se amb el diagrama de baix, que consta de.
Veure Functor і Límit (teoria de categories)
Maurice Auslander
va ser un matemàtic estatunidenc.
Veure Functor і Maurice Auslander
Quantificació canònica
En física, la quantificació canònica és un procediment per quantificar una teoria clàssica, mentre intenta preservar l'estructura formal, com ara les simetries, de la teoria clàssica, en la major mesura possible.
Veure Functor і Quantificació canònica
Representació de grup
simetries d'un polígon regular, consistents en reflexions i rotacions, transformen el polígon. En el camp matemàtic de la teoria de representacions, les representacions de grups descriuen grups abstractes en termes de transformacions lineals d'espais vectorials; en particular, es poden utilitzar per representar els elements del grup com a matrius, de tal manera que l'operació del grup es pot representar mitjançant la multiplicació de matrius.
Veure Functor і Representació de grup
Scala (llenguatge de programació)
Scala és un llenguatge de programació modern multi-paradigma dissenyat per a expressar patrons de programació generals d'una manera concisa, elegant i segura respecte als tipus.
Veure Functor і Scala (llenguatge de programació)
Semblança de matrius
En àlgebra lineal, dues matrius A i B de dimensió n × n s'anomenen semblants si per alguna matriu invertible P de dimensió n × n. Les matrius semblants representen la mateixa aplicació lineal en dues bases diferents, essent P la matriu de canvi de base.
Veure Functor і Semblança de matrius
Teorema de Cauchy-Kovalévskaia
En matemàtiques, el teorema de Cauchy–Kovalévskaia (també escrit com teorema de Cauchy–Kowalevski) és el principal teorema d'existència i unicitat per a equacions en derivades parcials analítiques associades a problemes de valor inicial de Cauchy.
Veure Functor і Teorema de Cauchy-Kovalévskaia
Teoria de categories
La teoria de categories és una branca de la matemàtica que estudia de manera abstracta les estructures matemàtiques i llurs relacions.
Veure Functor і Teoria de categories
Teoria de la representació
simetries de polígons regulars, que consisteixen en reflexions i rotacions, transformen el polígon. La teoria de la representació és una branca de les matemàtiques que estudia les estructures algebraiques abstractes representant els seus elements com a transformacions lineals d'espais vectorials i estudia mòduls sobre aquestes estructures algebraiques abstractes.
Veure Functor і Teoria de la representació
Topologia algebraica
tor, un dels objectes d'estudi més freqüents en topologia algebraica La topologia algebraica és el camp de les matemàtiques que usa estructures algebraiques per estudiar transformacions d'objectes geomètrics.
Veure Functor і Topologia algebraica