From 8648cbcaf0a04b445e4d940c2eb9d33608bd5124 Mon Sep 17 00:00:00 2001 From: Chris Allen Date: Sun, 20 Jul 2014 00:52:43 -0500 Subject: [PATCH] adjunctions? --- dialogues.md | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/dialogues.md b/dialogues.md index 76a30c4..574b3cd 100644 --- a/dialogues.md +++ b/dialogues.md @@ -128,7 +128,7 @@ cpsTransform (Lambda p b) k = Invocation k $ Procedure p cpsTransform (Combination a b) k = cpsTransform a $ Continuation "v" $ cpsTransform b k ``` -Later... +### Later... ``` 05:38 < ReinH> So for example, if you have an incredibly simple expression language like data Expr a = Val a | Neg a | Add a a @@ -161,3 +161,12 @@ Later... 05:49 < ReinH> toInitial k = k (:) []; toFinal xs = \f z -> foldr f z xs 05:49 < bitemyapp> thank you :) ``` + +### Something about adjunctions. I don't know. + +``` +05:51 < ReinH> bitemyapp: usually one loses information going from initial to final though +05:51 < ReinH> there's probably an adjunction here +05:51 < ReinH> there's always an adjunction +05:52 < ReinH> lol of course there's an adjunction +```