Newest at the top
| 2024-04-26 15:12:37 +0200 | danza_ | (~francesco@an-19-169-90.service.infuturo.it) (Ping timeout: 268 seconds) |
| 2024-04-26 15:05:06 +0200 | auri | (~auri@fsf/member/auri) |
| 2024-04-26 15:04:52 +0200 | rncwnd | (~quassel@2a01:4f8:221:27c6::1) |
| 2024-04-26 15:04:06 +0200 | fedir | (~fedir@188.191.238.23) |
| 2024-04-26 14:57:49 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 268 seconds) |
| 2024-04-26 14:55:29 +0200 | rncwnd | (~quassel@2a01:4f8:221:27c6::1) (Ping timeout: 256 seconds) |
| 2024-04-26 14:55:21 +0200 | auri | (~auri@fsf/member/auri) (Ping timeout: 268 seconds) |
| 2024-04-26 14:50:52 +0200 | danza | (~francesco@an-19-186-120.service.infuturo.it) (Ping timeout: 246 seconds) |
| 2024-04-26 14:48:31 +0200 | danza_ | (~francesco@an-19-169-90.service.infuturo.it) |
| 2024-04-26 14:37:49 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2024-04-26 14:33:27 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-04-26 14:31:33 +0200 | tinjamin | (~tinjamin@banshee.h4x0r.space) |
| 2024-04-26 14:30:19 +0200 | tinjamin | (~tinjamin@banshee.h4x0r.space) (Quit: The Lounge - https://thelounge.chat) |
| 2024-04-26 14:25:31 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2024-04-26 14:16:51 +0200 | fedir | (~fedir@188.191.238.23) (Quit: fedir) |
| 2024-04-26 14:11:51 +0200 | <fedir> | Thanks! |
| 2024-04-26 14:11:29 +0200 | nij- | (~NPC@c-73-238-75-2.hsd1.ma.comcast.net) (Using Circe, the loveliest of all IRC clients) |
| 2024-04-26 14:11:24 +0200 | <geekosaur> | fedir, ghci doesn't know how to group the defining equations together by itself, as ncf says you must put them on one line or use :{ :} to group them |
| 2024-04-26 14:11:09 +0200 | <ncf> | or semicolons |
| 2024-04-26 14:10:53 +0200 | <ncf> | fedir: use :{ and :} to delimit multi-line definitions in ghci |
| 2024-04-26 14:10:28 +0200 | <ncf> | better than incorrect jargon! |
| 2024-04-26 14:10:26 +0200 | <fedir> | What's wrong?https://i.imgur.com/0LoCDJt.png |
| 2024-04-26 14:10:17 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a359:eeea:f982:7525) |
| 2024-04-26 14:10:06 +0200 | <nij-> | (Yeah.. ncf, I just think 2-mors are too much a jargon for this channel.) |
| 2024-04-26 14:09:42 +0200 | <nij-> | structuralizing and forgetting pair |
| 2024-04-26 14:09:24 +0200 | <ncf> | up to 2-morphisms* |
| 2024-04-26 14:09:24 +0200 | <nij-> | ncf Oh right, those too! |
| 2024-04-26 14:08:54 +0200 | <nij-> | Anyway, it's a very natural generalization of inverse functors. |
| 2024-04-26 14:08:47 +0200 | <ncf> | but e.g. the free monoid functor [] can be seen as a left adjoint to the forgetful functor from the category of monoids to the category of sets (or hask) |
| 2024-04-26 14:08:33 +0200 | <nij-> | In math point of view, the functors F and G are adjoint (i.e. form an adjunction pair) if they are "invertible" to each other "up to 2-functors (i.e. functors between functors)" . |
| 2024-04-26 14:08:12 +0200 | mei | (~mei@user/mei) |
| 2024-04-26 14:07:39 +0200 | <jackdk> | the Representable superclass is good fun though |
| 2024-04-26 14:07:15 +0200 | <ncf> | yeah adjunctions between hask and hask are not immensely interesting |
| 2024-04-26 14:06:33 +0200 | <jackdk> | Near as I can tell from https://hackage.haskell.org/package/adjunctions-4.4.2/docs/Data-Functor-Adjunction.html , it's just (r,) and (r ->), and various lifting instances |
| 2024-04-26 14:06:05 +0200 | acidjnk | (~acidjnk@p200300d6e714dc76fc9e8da7e9a4142b.dip0.t-ipconnect.de) |
| 2024-04-26 14:06:02 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-04-26 14:05:53 +0200 | <nij-> | tomsmeding Yeah, I'm just curious xD |
| 2024-04-26 14:04:26 +0200 | tomsmeding | writes lots of haskell code, including interesting type trickery, without properly knowing what an adjunction is |
| 2024-04-26 14:04:07 +0200 | fedir | (~fedir@188.191.238.23) |
| 2024-04-26 14:03:27 +0200 | <nij-> | Hmm.. I'm just trying out my luck to see if we have more intereting adjunctions. And since ,-> adjunctions show up elsewhere, my curiousity doesn't stop here :D |
| 2024-04-26 14:02:25 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2024-04-26 14:01:59 +0200 | <ncf> | not sure what you mean by that |
| 2024-04-26 14:01:54 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-04-26 14:01:14 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-04-26 14:00:53 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2024-04-26 13:59:43 +0200 | Square | (~Square@user/square) |
| 2024-04-26 13:59:38 +0200 | <nij-> | Any other .. that's useful, and particularly only "works in CompSci"? |
| 2024-04-26 13:59:12 +0200 | <nij-> | hom tensor adjunction |
| 2024-04-26 13:58:57 +0200 | <nij-> | Delaying evaluation, or (un)currying |
| 2024-04-26 13:58:56 +0200 | <tomsmeding> | well, a x - and a -> - |
