Differences

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

Link to this comparison view

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$
  
Link to graph
Log In
Improvements of the human condition