Newest at the top
| 2024-11-08 19:57:56 +0100 | <tomsmeding> | if you have a natural transformation between two functors T1 and T2, and a functor T, then you can build a natural transformation from T . T1 to T . T2 |
| 2024-11-08 19:57:09 +0100 | longlongdouble | (~longlongd@169.150.196.101) |
| 2024-11-08 19:56:51 +0100 | <tomsmeding> | famubu: a functor from C to C' consists of a mapping from Ob C to Ob C' and a mapping from the arrows in C to the arrows in C' |
| 2024-11-08 19:51:56 +0100 | <famubu> | I am not that familiar with category theory. |
| 2024-11-08 19:51:49 +0100 | <famubu> | * `T` is a functor. |
| 2024-11-08 19:51:35 +0100 | <famubu> | is a functor. That means it's like a function whose 'argument' is a category, right? And `η` is a natural transformation, not a category. |
| 2024-11-08 19:51:31 +0100 | <famubu> | I could understand `η T` part. It does the 'opposite' of flattening. |
| 2024-11-08 19:51:19 +0100 | <famubu> | What is the difference between the two? |
| 2024-11-08 19:51:16 +0100 | <famubu> | The commutative diagram and properties mention both `T ηand `η T`. |
| 2024-11-08 19:51:13 +0100 | <famubu> | I was looking at the wikipedia page for monad in category theory: https://en.wikipedia.org/wiki/Monad_(category_theory)#Formal_definition |
| 2024-11-08 19:51:12 +0100 | user363627 | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2024-11-08 19:50:41 +0100 | longlongdouble | (~longlongd@169.150.196.101) (Remote host closed the connection) |
| 2024-11-08 19:47:01 +0100 | longlongdouble | (~longlongd@169.150.196.101) |
| 2024-11-08 19:46:41 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Read error: Connection reset by peer) |
| 2024-11-08 19:46:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-08 19:45:53 +0100 | <kqr> | merijn, Numeric looks good for what I need. Thanks! |
| 2024-11-08 19:42:58 +0100 | noctux | (~noctux@user/noctux) noctux |
| 2024-11-08 19:42:33 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-11-08 19:42:27 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-11-08 19:41:49 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 2024-11-08 19:41:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-08 19:40:21 +0100 | shapr | (~user@4.30.215.226) (Quit: walk home) |
| 2024-11-08 19:40:18 +0100 | noctux | (~noctux@user/noctux) (Ping timeout: 252 seconds) |
| 2024-11-08 19:40:03 +0100 | AWizzArd | (~code@gehrels.uberspace.de) |
| 2024-11-08 19:39:56 +0100 | AWizzArd | (~code@user/awizzard) (Ping timeout: 252 seconds) |
| 2024-11-08 19:37:54 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-11-08 19:30:18 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2024-11-08 19:30:03 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Remote host closed the connection) |
| 2024-11-08 19:30:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-08 19:28:08 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 2024-11-08 19:25:46 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Remote host closed the connection) |
| 2024-11-08 19:24:57 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2024-11-08 19:23:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-08 19:22:51 +0100 | mud | (~mud@user/kadoban) kadoban |
| 2024-11-08 19:19:41 +0100 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2024-11-08 19:14:35 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-11-08 19:13:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-08 19:09:19 +0100 | xdminsy | (~xdminsy@117.147.71.147) (Read error: Connection reset by peer) |
| 2024-11-08 19:08:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-08 19:08:23 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-11-08 19:08:20 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-11-08 19:08:06 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2024-11-08 19:04:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-08 18:57:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-08 18:54:05 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-11-08 18:53:30 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 2024-11-08 18:52:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-08 18:52:22 +0100 | <haskellbridge> | <magic_rb> mauke i kind of get what youre saying. But ill have to bang my head against it some more to actually make sense of it |
| 2024-11-08 18:50:44 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Remote host closed the connection) |
| 2024-11-08 18:48:34 +0100 | shapr | (~user@4.30.215.226) shapr |