Wed 7 May 2008
I did some digging and found the universal operations mentioned in the last couple of posts: unzip, unbizip and counzip were referenced as abide, abide
and coabide
-- actually, I was looking for something else, and this fell into my lap.
They were apparently named for a notion defined by Richard Bird back in:
R.S. Bird. Lecture notes on constructive functional programming. In M. Broy, editor, Constructive Methods in Computing Science. International Summer School directed by F.L. Bauer [et al.], Springer Verlag, 1989. NATO Advanced Science Institute Series (Series F: Computer and System Sciences Vol. 55).
The notion can be summed up by defining that two binary operations and
abide if for all a, b, c, d:
.
There is a cute pictorial explanation of this idea in Maarten Fokkinga's remarkably readable Ph.D dissertation on p. 20.
The idea appears again on p.88 as part of the famous 'banana split' theorem, and then later on p90 the above names above are given along with the laws:
fmap f &&& fmap g = unfzip . fmap (f &&& g) bimap f g &&& bimap h j = unbizip . bimap (f &&& h) (g &&& j) fmap f ||| fmap g = fmap (f ||| g) . counfzip
That said the cases when the inverse operations exist do not appear to be mentioned in these sources.
May 9th, 2008 at 8:25 am
It’s worth mentioning that if two abiding operations have identities, then they’re equal to each other and commutative, and the identities coincide.
Let + and * be abiding binary operations, with identities 0 and * respectively. Then
0 = 0+0 = (0*1)+(1*0) = (0+1)*(1+0) = 1*1 = 1
And now:
x*y = (0+x)*(y+0) = (0*y)+(x*0) = (1*y)+(x*1) = y+x = (y*1)+(1*x) = (y+1)*(1+x) = (y+0)*(0+x) = y*x = (0+y)*(x+0) = (0*x)+(y*0) = (1*x)+(y*1) = x+y
This is the Eckmann-Hilton argument beloved of category theorists: among its implications are that a monoid object in the category of monoids is a commutative monoid, and that all higher homotopy groups are abelian. It becomes particularly elegant when you use the
x | y =(x*y)+(y*w)
z | w
notation – try it! The proof can be written in a circle, and it’s then called the Eckmann-Hilton clock.
The Catsters have done a video about the Eckmann-Hilton argument.
May 9th, 2008 at 8:32 am
Because I clearly don’t have better things to do right now :-)
May 9th, 2008 at 8:33 am
Aaargh! No <pre> tags. So much for that plan.
May 9th, 2008 at 10:08 am
OK, that’s totally weird. You seem to have blocked the comment in which I explained the connection to the Eckmann-Hilton argument, and let through my two subsequent comments (in which I tried to reproduce the proof in all its 2-dimensional glory, and in which I complained that my <pre> tags had been stripped, rendering the proof unintelligible).
So, for those who are feeling confused: if * and + abide and have units 1 and 0, then 0=1, *=+, and * (and hence +) is commutative. The proof’s fun and reasonably straightforward, particularly if you use the 2-d notation. This is known as the Eckmann-Hilton argument, and it’s famous in category theory, having many beautiful consequences.
May 9th, 2008 at 10:43 am
I assure you there was no malice in the filtering, it was done automatically because of the link.
Fixed!
Great catch regarding the Eckmann-Hilton bit. Encoding it into Haskell for bifunctors as we speak. =)
May 9th, 2008 at 2:05 pm
Ah, right, that explains it.
I’ve blogged the 2-d version of the proof here: I think you’ll like it. I look forward to seeing your code!
March 16th, 2011 at 1:31 pm
Wow, marvelous blog layout! How long have you been blogging for? you make blogging look easy. The overall look of your web site is wonderful, let alone the content!
March 16th, 2011 at 3:37 pm
I’ve been blogging here since around 2006, off and on.
May 3rd, 2022 at 6:34 am
cialis 20mg https://online-pharmacies0.yolasite.com/...
Nicely put, Many thanks!…
May 3rd, 2022 at 1:50 pm
buy generic cialis https://6270e49a4db60.site123.me/blog/the-untold-secret-to-mastering-aspirin-in-just-7-days-1...
Kudos! A good amount of material.
…
May 4th, 2022 at 8:11 am
canadian pharmacy viagra brand https://deiun.flazio.com/...
Amazing plenty of valuable knowledge!…
May 4th, 2022 at 4:45 pm
prescription drugs without prior prescription https://kertyun.flazio.com/...
Effectively spoken really! ….
May 5th, 2022 at 6:16 am
canadian pharmacys https://kerntyas.gonevis.com/the-mafia-guide-to-online-pharmacies/...
Awesome postings. Kudos!…
May 5th, 2022 at 12:09 pm
canadian pharmacys https://kerbnt.flazio.com/...
Appreciate it! A good amount of info!
…
May 5th, 2022 at 6:16 pm
cialis generic http://nanos.jp/jmp?url=http://cialisonlinei.com/...
Truly all kinds of very good data….
May 6th, 2022 at 4:51 am
northwestpharmacy http://ime.nu/cialisonlinei.com...
You reported that terrifically!…
May 6th, 2022 at 10:16 am
tadalafil 5mg https://womed7.wixsite.com/pharmacy-online/post/new-ideas-into-canada-pharmacies-never-before-revealed...
With thanks, I enjoy it!…
May 7th, 2022 at 8:48 am
canadian pharmacies that ship to us https://kerntyast.flazio.com/...
Nicely expressed indeed! !…
May 7th, 2022 at 4:12 pm
tadalafil generic https://sekyuna.gonevis.com/three-step-guidelines-for-online-pharmacies/...
Kudos, I enjoy it….
May 8th, 2022 at 6:51 am
cialis uk https://gewrt.usluga.me/...
Seriously a good deal of fantastic facts!…
May 9th, 2022 at 7:58 am
Best Hostings Coupons…
I found a great……
May 9th, 2022 at 10:17 am
tadalafil tablets https://pharmacy-online.webflow.io/...
Wow loads of great material….
May 9th, 2022 at 4:50 pm
cialis 5 mg https://canadian-pharmacy.webflow.io/...
Excellent data. Kudos!…
May 10th, 2022 at 2:57 am
cialis generico online https://site273035107.fo.team/...
With thanks. An abundance of tips.
…
May 10th, 2022 at 11:18 am
cialis online https://site656670376.fo.team/...
You actually revealed that terrifically….
May 10th, 2022 at 9:29 pm
online pharmacy canada https://site561571227.fo.team/...
Beneficial tips. Cheers….
May 11th, 2022 at 3:33 am
cialis 5 mg https://site102906154.fo.team/...
You said it very well.!…
May 11th, 2022 at 9:33 am
online canadian pharmacy https://hekluy.ucraft.site/...
You actually expressed this superbly!…
May 11th, 2022 at 12:32 pm
Hostings Coupons For Free…
I found a great……
May 11th, 2022 at 8:04 pm
cialis prices https://kawsear.fwscheckout.com/...
With thanks, I like it!…
May 13th, 2022 at 10:24 am
cialis 20 mg https://hertnsd.nethouse.ru/...
Great write ups. Kudos!…
May 14th, 2022 at 10:21 am
canadian pharmacy world https://uertbx.livejournal.com/402.html...
Terrific postings. Kudos….
May 14th, 2022 at 4:40 pm
cialis uk https://lwerts.livejournal.com/276.html...
Useful tips. Kudos!…
May 15th, 2022 at 8:45 am
purchasing cialis on the internet https://avuiom.sellfy.store/...
You actually stated it wonderfully!…
May 15th, 2022 at 8:45 pm
trust pharmacy canada https://pharmacies.bigcartel.com/...
Regards. I enjoy it….
May 16th, 2022 at 4:12 pm
cialis without a doctor’s prescription https://gewsd.estranky.sk/clanky/drugstore-online.html...
Thank you, Loads of stuff.
…
May 17th, 2022 at 2:28 am
buy cialis https://kqwsh.wordpress.com/2022/05/16/what-everybody-else-does-when-it-comes-to-online-pharmacies/...
Really a good deal of beneficial information!…
May 17th, 2022 at 12:37 pm
cialis tablets http://site592154748.fo.team/...
Nicely put. Thank you!…
May 18th, 2022 at 5:44 am
prescriptions from canada without https://lasert.gonevis.com/recommended-canadian-pharmacies-2/...
Fantastic postings. Appreciate it….
May 18th, 2022 at 1:57 pm
online canadian pharmacies http://aonubs.website2.me/...
Regards! Ample tips!
…
May 20th, 2022 at 10:26 am
online pharmacies canada https://dkyubn.bizwebs.com/...
Beneficial info. Many thanks!…
May 21st, 2022 at 3:36 am
cialis purchase online without prescription https://asebg.bigcartel.com/canadian-pharmacy...
You made the point!…
May 23rd, 2022 at 7:14 am
purchasing cialis on the internet https://kertvbs.webgarden.com/...
You said it nicely.!…
May 23rd, 2022 at 5:06 pm
legitimate canadian mail order pharmacies https://disvaiza.mystrikingly.com/...
Regards, I enjoy it….
May 25th, 2022 at 7:31 am
cialis generico online https://swenqw.company.site/...
Thanks! I value this….
May 26th, 2022 at 9:44 am
cialis 5mg https://kewburet.wordpress.com/2022/04/27/how-to-keep-your-workers-healthy-during-covid-19-health-regulations/...
Thanks! I like this!…
May 26th, 2022 at 4:05 pm
cialis prices https://kaswesa.nethouse.ru/...
Thank you. I value this….
June 1st, 2022 at 10:59 am
Generic cialis tadalafil https://canadian-pharmaceutical.webflow.io/...
You made your position extremely effectively.!…
June 1st, 2022 at 5:55 pm
tadalafil 10 mg http://pamelaliggins.website2.me/...
Kudos! A good amount of advice!
…
June 3rd, 2022 at 11:11 am
buy cialis http://pharmacy.prodact.site/...
Fantastic stuff. Regards….
June 4th, 2022 at 11:35 am
tadalafil 20 mg https://hub.docker.com/r/gserv/pharmacies...
Thank you! I enjoy it….
June 5th, 2022 at 12:28 pm
canada viagra https://hertb.mystrikingly.com/...
Nicely put, Cheers!…
June 6th, 2022 at 7:35 am
cialis purchase online without prescription https://kedmnx.estranky.sk/clanky/online-medicine-tablets-shopping-the-best-manner.html...
Helpful info. Kudos….
June 6th, 2022 at 4:21 pm
Cheap cialis https://selera.mystrikingly.com/...
Cheers! I appreciate it….
June 7th, 2022 at 6:51 am
cialis tablets australia https://ksorvb.estranky.sk/clanky/why-online-pharmacies-is-good-friend-to-small-business.html...
You reported this very well….
June 8th, 2022 at 7:04 am
purchasing cialis on the internet https://gevcaf.estranky.cz/clanky/safe-canadian-online-pharmacies.html...
Appreciate it. Lots of knowledge!
…
June 9th, 2022 at 5:15 am
cialis https://kwersv.proweb.cz/...
Whoa tons of great material!…
June 10th, 2022 at 7:53 am
buy generic cialis https://kwervb.estranky.cz/clanky/canadian-government-approved-pharmacies.html...
Wow loads of helpful information….
June 12th, 2022 at 9:43 am
online cialis https://sdtyli.zombeek.cz...
Amazing content. Kudos….
June 13th, 2022 at 4:27 am
cialis online https://kwsde.zombeek.cz/...
You reported that effectively….
June 14th, 2022 at 10:37 am
cialis 5mg prix https://heklrs.wordpress.com/2022/06/14/canadian-government-approved-pharmacies/...
Wow lots of good data!…
June 15th, 2022 at 7:55 am
cialis 5 mg https://iercvsw.wordpress.com/2022/06/14/canadian-pharmacies-the-fitting-manner/...
Thanks a lot! Lots of stuff!
…
June 21st, 2022 at 8:33 am
cialis canada https://site955305180.fo.team/...
Reliable forum posts. Thanks!…
June 22nd, 2022 at 9:08 am
cialis generico http://site841934642.fo.team/...
Seriously tons of terrific material….
June 22nd, 2022 at 8:37 pm
canadian pharmaceuticals online https://62b2f636ecec4.site123.me/blog/canadian-pharmaceuticals-online...
Incredible tons of helpful advice….
June 23rd, 2022 at 6:49 am
tadalafil 10 mg https://62b2ffff12831.site123.me/blog/canadian-pharmaceuticals-for-usa-sales...
You said it adequately…..
June 27th, 2022 at 12:31 pm
tadalafil 20mg https://thefencefilm.co.uk/community/profile/hswlux/...
Good info. Cheers!…
June 28th, 2022 at 9:50 am
canadian medications https://anewearthmovement.org/community/profile/mefug/...
Thanks a lot, Ample information.
…
June 28th, 2022 at 7:28 pm
cialis generico http://sandbox.autoatlantic.com/community/profile/kawxvb/...
Thanks, Ample forum posts.
…
June 29th, 2022 at 9:55 am
canadian pharmacy viagra http://lwerfa.iwopop.com/...
Whoa quite a lot of great material….
June 29th, 2022 at 3:32 pm
tadalafil 20mg http://herbsd.iwopop.com/...
You actually expressed this wonderfully!…
June 30th, 2022 at 6:56 am
canadian pharmacy viagra brand http://kawerf.iwopop.com/...
Thank you. Lots of material.
…
July 3rd, 2022 at 10:23 am
cialis lowest price https://www.reddit.com/user/dotijezo/comments/9xlg6g/online_pharmacies/...
You’ve made your stand extremely nicely.!…