Pseudo-funktioner

I matematik är en pseudofunktor F en mappning mellan 2-kategorier , eller från en kategori till en 2-kategori , det vill säga precis som en funktor förutom att ${\ displaystyle F(f\circ g)=F(f)\circ F(g)}$ och $F(1)=1$ gäller inte som exakta likheter utan bara upp till koherenta isomorfismer .

Grothendieck -konstruktionen associerar till en pseudofunktion en fiberkategori .

Se även

• Lax funktör
• Prestack (ett exempel på pseudofunctor)
• Fibrerad kategori

• C. Sorger, Föreläsningar om moduler av huvudsakliga G-buntar över algebraiska kurvor

externa länkar

• http://ncatlab.org/nlab/show/pseudofunctor