Made the absolute most of our short #Philadelphia stint. Had a bunch of rad beers (#SecondDistrict, #Cartesian, #HumanRobot, #SourceUrbanBrewery, & #EvilGenius!), an excellent meal at #MiddleChildClubhouse, and pit stopped at old favorite dives during an epic 7-mile wander-walk around Center City and Passyunk. Wicked fun, let's do it again!

#trips
#goodbeer
#goodfood

@maonu From the abstract. "The new approach encompasses the old one, typically if “I” win, “the world” loses, i.e., wins “NOT”. When logical artifacts are identified with their own rules of production, LOCATIVE phenomenons arise. In particular, one realises that usual logic (including linear logic) is SPIRITUAL, i.e., up to isomorphism. But there is a deeper locative level, with indeed a more regular structure. Typically the usual (additive) conjunction has the value of categorical product in usual logic, and enjoys commutativity, associativity, etc. up to isomorphism."

First, the "linear" in linear logic refers to causality. Not ax+b.

"Spiritual up to isomorphism" is a very winter solstice sort of thing to say. Happy holidays! And don't worry, the days will start getting longer soon, here in the north.

The rest of what he says is the distinction between a #cartesian and a #monoidal product. The latter lacks projections.

Cartesian products represent things you can take apart and put back together. Monoidal products (despite that "disassembly is sometimes the best" -- The Expanse) usually can't be put back together.

1/2