Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
dependent_sum_functor [2015/08/17 14:43] nikolaj |
dependent_sum_functor [2015/12/22 13:47] nikolaj |
||
|---|---|---|---|
| Line 73: | Line 73: | ||
| === Requirements === | === Requirements === | ||
| [[Pullback functor]] | [[Pullback functor]] | ||
| + | === Related === | ||
| + | [[Dependent product functor]] | ||
