# Differences

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

 cardinal_arithmetic_with_types [2014/03/30 20:19]nikolaj cardinal_arithmetic_with_types [2014/03/30 20:20] (current)nikolaj Both sides previous revision Previous revision 2014/03/30 20:20 nikolaj 2014/03/30 20:19 nikolaj 2014/03/30 20:19 nikolaj 2014/03/30 20:18 nikolaj 2014/03/30 20:18 nikolaj 2014/03/30 20:16 nikolaj 2014/03/30 20:16 nikolaj old revision restored (2014/03/30 19:44) 2014/03/30 20:20 nikolaj 2014/03/30 20:19 nikolaj 2014/03/30 20:19 nikolaj 2014/03/30 20:18 nikolaj 2014/03/30 20:18 nikolaj 2014/03/30 20:16 nikolaj 2014/03/30 20:16 nikolaj old revision restored (2014/03/30 19:44) 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$ 