#StringDiagram - Twitter Hashtag

almost 3 years ago

Beautiful #stringdiagram visualizer for cartesian closed categories, from the people who brought you https://t.co/SCMjTCKDVf (Nick Hu, Alex Rice, and Calin Tataru). It can display and navigate very large terms, both in their textual and graphical form.😍 https://t.co/h5cNM5993a

danghica's tweet photo. Beautiful #stringdiagram visualizer for cartesian closed categories, from the people who brought you https://t.co/SCMjTCKDVf (Nick Hu, Alex Rice, and Calin Tataru). It can display and navigate very large terms, both in their textual and graphical form.😍
https://t.co/h5cNM5993a https://t.co/4OT1dKKp9K

2

71

15

31

8K

björn gohla 🚀🚀🚀 @6d03

over 3 years ago

«My attempt at pretty printing type safe permutations as string diagrams: (I am also, looking for suggestions for better line graphics) #haskell #dependenttypes #symmetricgroup #stringdiagram» https://t.co/bz6wJrMNvG

0

1

0

81

. @richarddorset

almost 5 years ago

@fridaysimon Should be hanging in Tate Modern or The Baltic art galleries. #StringDiagram

0

1

0

Dad×3_jack @Iceland_jack

over 7 years ago

Has there been an attempt to program with string diagrams? Could it work with text? Or is a graphical UI needed -- Enjoy #CategoryTheory with #StringDiagram https://t.co/sdsUe4gv6D (#HaskellPDF #Haskell) if we have (#Adjunction F G) unit :: Id ~> G.F counit :: F.G ~> Id

Iceland_jack's tweet photo. Has there been an attempt to program with string diagrams?

Could it work with text? Or is a graphical UI needed

--

Enjoy #CategoryTheory with #StringDiagram https://t.co/sdsUe4gv6D (#HaskellPDF #Haskell) if we have (#Adjunction F G)

unit :: Id ~> G.F
counit :: F.G ~> Id https://t.co/3Zt4CcxxXR

4

5

2

0

Top Tweets for #StringDiagram

Last Seen Hashtags on Sotwe

Trends for you

Most Popular Users