Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
dependent_product_functor [2015/04/15 16:17] nikolaj |
dependent_product_functor [2015/08/17 14:44] nikolaj |
||
|---|---|---|---|
| Line 117: | Line 117: | ||
| nLab: [[http://ncatlab.org/nlab/show/dependent+product|Dependent product]] | nLab: [[http://ncatlab.org/nlab/show/dependent+product|Dependent product]] | ||
| - | Wikipedia: [[http://en.wikipedia.org/wiki/Adjoint_functors#Categorical_logic|Adjoint functors#Categorical logic]] (here I made the left adjunction explicit in ${\bf{Set}}$) | + | Wikipedia: [[http://en.wikipedia.org/wiki/Adjoint_functors#Categorical_logic|Adjoint functors#Categorical logic]] |
| + | (Here I made the left adjunction explicit in ${\bf{Set}}$.) | ||
| ---- | ---- | ||
