Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
dependent_sum_functor [2015/03/21 19:47] nikolaj |
dependent_sum_functor [2015/12/22 13:47] nikolaj |
||
---|---|---|---|
Line 64: | Line 64: | ||
nLab: [[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 ${\bf{Set}}$.) | ||
---- | ---- | ||
Line 71: | Line 73: | ||
=== Requirements === | === Requirements === | ||
[[Pullback functor]] | [[Pullback functor]] | ||
+ | === Related === | ||
+ | [[Dependent product functor]] |