Differences

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

Link to this comparison view

Both sides previous revision Previous revision
hom-set_adjunction [2016/04/07 14:19]
nikolaj
hom-set_adjunction [2016/04/19 18:43] (current)
nikolaj
Line 31: Line 31:
 if we define the Action of $F$ on object via $FX:​=X\times A$ (Cartesian product) and let the action of $G$ on object be given by $GY:=Y^A$ (function space from $A$ to $Y$).  if we define the Action of $F$ on object via $FX:​=X\times A$ (Cartesian product) and let the action of $G$ on object be given by $GY:=Y^A$ (function space from $A$ to $Y$). 
  
-== Idea == +>== Idea == 
-More generally, ​ +>More generally, view the left adjoint $F$ as A-"​thickening"​ of ist argument ($X$), enabling to attack data, and view $G$ as the A-indexing'​s of aspects of it's argument $Y$, enabling to consider processes.  
-view the left adjoint $F$ as A-"​thickening"​ of ist argument ($X$) and view $G$ as the A-indexing'​s of aspects of it's argument $Y$. +>If ${\bf C}\neq{\bf D}$, then viewing $G$ as indexing may be harder.
- +
-If ${\bf C}\neq{\bf D}$, then viewing $G$ as indexing may be harder.+
  
 == Currying == == Currying ==
Link to graph
Log In
Improvements of the human condition