Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
pullback_functor [2015/03/18 19:55] nikolaj old revision restored (2015/02/26 11:55) |
pullback_functor [2015/03/18 19:59] nikolaj |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | ===== Base change functor ===== | + | ===== Pullback functor ===== |
==== Functor ==== | ==== Functor ==== | ||
| @#55CCEE: context | @#55CCEE: $A:\mathrm{Ob}_{\bf C}$ | | | @#55CCEE: context | @#55CCEE: $A:\mathrm{Ob}_{\bf C}$ | | ||
Line 6: | Line 6: | ||
| @#FF9944: definition | @#FF9944: $...$ | | | @#FF9944: definition | @#FF9944: $...$ | | ||
- | ----- | + | todo: |
https://proofwiki.org/wiki/Definition:Pullback_Functor | https://proofwiki.org/wiki/Definition:Pullback_Functor | ||
+ | ----- | ||
Also called base change functor (particularly in geometry) or inverse image functor (particularly in ${\bf{Set}}$). | Also called base change functor (particularly in geometry) or inverse image functor (particularly in ${\bf{Set}}$). | ||
Line 14: | Line 15: | ||
Wikipedia: [[https://proofwiki.org/wiki/Definition:Pullback_Functor|Pullback functor]] | Wikipedia: [[https://proofwiki.org/wiki/Definition:Pullback_Functor|Pullback functor]] | ||
- | ==== Parents ==== | + | ----- |
=== Element of === | === Element of === | ||
[[Functor]] | [[Functor]] | ||
- | === Context === | ||
- | [[Locally small category]] | ||
- | === Requirements === | ||
- | [[Set]] |