# Differences

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

Both sides previous revision Previous revision | |||

cardinal_arithmetic_with_types [2014/03/30 20:19] nikolaj |
cardinal_arithmetic_with_types [2014/03/30 20:20] (current) nikolaj |
||
---|---|---|---|

Line 36: | Line 36: | ||

For $B$ being constant (think of how the fibration looks like), we get | For $B$ being constant (think of how the fibration looks like), we get | ||

* $\sum(x:A).\,B(x)=\sum(x:A).\,B=A\times B$ | * $\sum(x:A).\,B(x)=\sum(x:A).\,B=A\times B$ | ||

+ | |||

* $\prod(x:A).\,B(x)=\prod(x:A).\,B=A\to B$ | * $\prod(x:A).\,B(x)=\prod(x:A).\,B=A\to B$ | ||