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] 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$ | ||
