# Differences

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

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 == |