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.
September 23rd, 2022 at 3:57 am
buy ivermectin https://500px.com/p/skulogovid/?view=groups...
Incredible many of valuable knowledge!…
September 23rd, 2022 at 8:03 am
5 mg viagra coupon printable https://500px.com/p/bersavahi/?view=groups...
Thanks a lot. Great stuff!…
September 24th, 2022 at 1:07 am
Viagra 20mg https://reallygoodemails.com/canadianpharmaceuticalsonlineusa...
Very good facts, Kudos….
September 24th, 2022 at 4:45 am
Tadalafil 5mg https://www.provenexpert.com/canadian-pharmaceuticals-online-usa/...
Regards! An abundance of info.
…
September 24th, 2022 at 9:52 am
canadian pharmacies without an rx https://sanangelolive.com/members/pharmaceuticals...
Thank you, Ample posts.
…
September 26th, 2022 at 8:48 am
5 mg viagra coupon printable https://melaninterest.com/user/canadian-pharmaceuticals-online/?view=likes...
Cheers, Plenty of information.
…
September 26th, 2022 at 12:50 pm
Viagra cost https://haikudeck.com/canadian-pharmaceuticals-online-personal-presentation-827506e003...
Thank you. Numerous knowledge.
…
September 26th, 2022 at 4:59 pm
Tadalafil tablets https://buyersguide.americanbar.org/profile/420642/0...
Nicely put. Thanks a lot….
September 27th, 2022 at 12:41 am
Cheap viagra https://experiment.com/users/canadianpharmacy...
Thank you, A good amount of forum posts!
…
September 27th, 2022 at 6:39 am
How does viagra work https://slides.com/canadianpharmaceuticalsonline...
You’ve made your point quite nicely…..
September 27th, 2022 at 2:44 pm
Viagra generique https://challonge.com/gotsembpertvil...
With thanks, Quite a lot of forum posts!
…
September 28th, 2022 at 4:31 am
Viagra lowest price https://challonge.com/citlitigolf...
You revealed that perfectly!…
September 28th, 2022 at 8:04 am
is stromectol safe https://order-stromectol-over-the-counter.estranky.cz/clanky/order-stromectol-over-the-counter.html...
You made your point very effectively…..
September 28th, 2022 at 2:31 pm
stromectol effectiveness https://soncheebarxu.estranky.cz/clanky/stromectol-for-head-lice.html...
You actually expressed this perfectly….
September 29th, 2022 at 4:03 am
Viagra manufacturer coupon https://lehyriwor.estranky.sk/clanky/stromectol-cream.html...
Excellent material. Cheers!…
September 29th, 2022 at 7:50 am
stromectol from costco https://dsdgbvda.zombeek.cz/...
With thanks, I value it!…
September 30th, 2022 at 8:33 am
Viagra great britain https://www.myscrsdirectory.com/profile/421708/0...
Factor clearly regarded!!…
September 30th, 2022 at 3:43 pm
Viagra kaufen https://supplier.ihrsa.org/profile/421717/0...
Nicely put. Kudos….
October 1st, 2022 at 6:05 am
Canadian viagra https://wefbuyersguide.wef.org/profile/421914/0...
With thanks! A good amount of facts!
…
October 1st, 2022 at 10:06 am
Viagra alternative https://legalmarketplace.alanet.org/profile/421920/0...
You actually revealed it perfectly!…
October 2nd, 2022 at 3:42 am
Viagra purchasing https://moaamein.nacda.com/profile/422018/0...
Valuable posts. Appreciate it!…
October 2nd, 2022 at 8:09 am
Viagra prices https://www.audiologysolutionsnetwork.org/profile/422019/0...
Thanks, Plenty of tips!
…
October 2nd, 2022 at 11:27 am
canadian pharmacy viagra brand https://network.myscrs.org/profile/422020/0...
You have made your point extremely well.!…
October 3rd, 2022 at 5:12 am
Viagra 5 mg https://sanangelolive.com/members/canadianpharmaceuticalsonlineusa...
Reliable posts. With thanks!…
October 3rd, 2022 at 8:37 am
Viagra vs viagra https://sanangelolive.com/members/girsagerea...
With thanks! Awesome stuff….
October 4th, 2022 at 7:20 am
Viagra purchasing https://www.ecosia.org/search?q=“My Canadian Pharmacy – Extensive Assortment of Medications – 2022″…
Regards, I enjoy it….
October 4th, 2022 at 11:04 am
Viagra vs viagra https://www.mojomarketplace.com/user/Canadianpharmaceuticalsonline-EkugcJDMYH...
Information effectively used.!…
October 4th, 2022 at 3:28 pm
buy viagra usa https://seedandspark.com/user/canadian-pharmaceuticals-online...
Regards! Good information….
October 5th, 2022 at 3:21 am
Canadian viagra https://www.giantbomb.com/profile/canadapharmacy/blog/canadian-pharmaceuticals-online/265652/...
Seriously quite a lot of great facts….
October 5th, 2022 at 12:21 pm
Viagra vs viagra vs levitra https://feeds.feedburner.com/bing/Canadian-pharmaceuticals-online...
Regards. Lots of facts.
…
October 5th, 2022 at 5:09 pm
Online viagra https://search.gmx.com/web/result?q=“My Canadian Pharmacy – Extensive Assortment of Medications – 2022″…
You actually mentioned that effectively!…
October 6th, 2022 at 2:16 am
Tadalafil 20 mg https://search.seznam.cz/?q=“My Canadian Pharmacy – Extensive Assortment of Medications – 2022″…
You actually explained this exceptionally well….
October 6th, 2022 at 5:58 am
Viagra alternative https://sanangelolive.com/members/unsafiri...
Regards. I enjoy it!…
October 6th, 2022 at 10:14 am
Interactions for viagra …
Many thanks, Quite a lot of forum posts!
…
October 6th, 2022 at 4:11 pm
Viagra 20 mg best price https://swisscows.com/en/web?query=“My Canadian Pharmacy – Extensive Assortment of Medications – 2022″…
Regards! Plenty of tips.
…
October 7th, 2022 at 3:29 am
no 1 canadian pharcharmy online https://www.dogpile.com/serp?q=“My Canadian Pharmacy – Extensive Assortment of Medications – 2022″…
Amazing forum posts, Thank you….
October 7th, 2022 at 10:38 am
Viagra online …
Thanks, An abundance of posts.
…
October 8th, 2022 at 6:37 am
Viagra 5 mg funziona https://search.givewater.com/serp?q=“My Canadian Pharmacy – Extensive Assortment of Medications – 2022″…
You reported this adequately….
October 8th, 2022 at 12:06 pm
Viagra for sale https://www.bakespace.com/members/profile/Сanadian pharmaceuticals for usa sales/1541108/…
Amazing loads of terrific info….
October 9th, 2022 at 10:21 am
canadian rx https://results.excite.com/serp?q=“My Canadian Pharmacy – Extensive Assortment of Medications – 2022″…
Whoa tons of awesome knowledge!…
October 9th, 2022 at 2:50 pm
Viagra generique https://www.infospace.com/serp?q=“My Canadian Pharmacy – Extensive Assortment of Medications – 2022″…
You revealed that well!…
October 10th, 2022 at 7:07 am
Viagra kaufen https://headwayapp.co/canadianppharmacy-changelog...
Thank you. Wonderful stuff….
October 11th, 2022 at 5:04 am
online pharmacies canada https://results.excite.com/serp?q=“My Canadian Pharmacy – Extensive Assortment of Medications – 2022″…
Nicely put, Thank you!…
October 11th, 2022 at 10:26 am
Low cost viagra 20mg https://canadianpharmaceuticalsonline.as.me/schedule.php...
With thanks, Awesome stuff….
October 13th, 2022 at 12:22 pm
online canadian pharmacy https://feeds.feedburner.com/bing/stromectolnoprescription...
Really loads of beneficial knowledge….
October 14th, 2022 at 4:51 am
Viagra generique https://reallygoodemails.com/orderstromectoloverthecounterusa...
You actually said it exceptionally well….