Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
dependent_sum_functor [2015/08/17 14:43]
nikolaj
dependent_sum_functor [2015/12/22 13:47] (current)
nikolaj
Line 73: Line 73:
 === Requirements === === Requirements ===
 [[Pullback functor]] [[Pullback functor]]
 +=== Related ===
 +[[Dependent product functor]]
Link to graph
Log In
Improvements of the human condition