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_sum_functor [2015/03/21 19:47] nikolaj |
dependent_sum_functor [2015/03/21 19:47] nikolaj |
||
---|---|---|---|
Line 62: | Line 62: | ||
=== Reference === | === Reference === | ||
- | Wikipedia: [[http://ncatlab.org/nlab/show/dependent+sum|dependent sum]] | + | nLab: [[http://ncatlab.org/nlab/show/dependent+sum|dependent sum]] |
Wikipedia: [[http://en.wikipedia.org/wiki/Adjoint_functors#Categorical_logic|Adjoint functors#Categorical logic]] (here I made the left adjunction explicit in ${\bfSet}}$) | Wikipedia: [[http://en.wikipedia.org/wiki/Adjoint_functors#Categorical_logic|Adjoint functors#Categorical logic]] (here I made the left adjunction explicit in ${\bfSet}}$) |