Differences

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

Link to this comparison view

Both sides previous revision Previous revision
involution [2014/03/21 11:11]
127.0.0.1 external edit
involution [2015/03/29 19:08] (current)
nikolaj
Line 2: Line 2:
 ==== Set ==== ==== Set ====
 | @#55CCEE: context ​    | @#55CCEE: $X$ ... set | | @#55CCEE: context ​    | @#55CCEE: $X$ ... set |
- 
 | @#FFBB00: definiendum | @#FFBB00: $ f\in \mathrm{it}(X,​X) $ | | @#FFBB00: definiendum | @#FFBB00: $ f\in \mathrm{it}(X,​X) $ |
- 
 | @#55EE55: postulate ​  | @#55EE55: $ f:X\to X $ | | @#55EE55: postulate ​  | @#55EE55: $ f:X\to X $ |
 | @#55EE55: postulate ​  | @#55EE55: $ f\circ f=\mathrm{id_X} $ | | @#55EE55: postulate ​  | @#55EE55: $ f\circ f=\mathrm{id_X} $ |
  
-==== Discussion ==== +----- 
-==== Parents ====+-----
 === Subset of === === Subset of ===
 [[Unary operation]] [[Unary operation]]
Link to graph
Log In
Improvements of the human condition