_evan-patterson-principles-and-pitfalls-of-designing-software-for-applied-category-theory-preview-1.jpg "Evan Patterson: Principles and pitfalls of designing software for applied category theory from evan patterson construction Video Screenshot Preview 1")
Gallery_evan-patterson-principles-and-pitfalls-of-designing-software-for-applied-category-theory-preview-3.jpg "Evan Patterson: Principles and pitfalls of designing software for applied category theory from evan patterson construction Video Screenshot Preview 3")
Gallery_evan-patterson-principles-and-pitfalls-of-designing-software-for-applied-category-theory-preview-hqdefault.jpg "Evan Patterson: Principles and pitfalls of designing software for applied category theory from evan patterson construction Video Screenshot Preview hqdefault")
GalleryPlay Video:
(Note: The default playback of the video is HD VERSION. If your browser is buffering the video slowly, please play the REGULAR MP4 VERSION or Open The Video below for better experience. Thank you!)
Jump To Video Parts
⏲ Duration: 1 hour 3 minutes 34 seconds
👁 View: 641 times
Play Audio:👁 View: 641 times
Description:
Topos Institute
Topos Institute
Share with your friends:
Whatsapp | Viber | Telegram | Line | SMS
Email | Twitter | Reddit | Tumblr | Pinterest
Related Videos
_evan-patterson-9234a-short-introduction-to-categorical-logic9234.webp "Topos Institute")
_asmr-bricklayingasmr-bricklaying-bricklayer-satisfying-brickwork-l-pattersonconstruction.webp "PATTERSON CONSTRUCTION")
⏲ 28 seconds 👁 20.9M
_evan-patterson-structured-and-decorated-cospans-from-the-viewpoint-of-double-category-theory.webp "Applied Category Theory")
⏲ 30 minutes 41 seconds 👁 49
_evan-patterson-structured-and-decorated-cospans-from-the-viewpoint-of-double-category-theory.webp "Topos Institute")
⏲ 31 minutes 36 seconds 👁 344
_how-to-lay-concrete-blocks-more-efficiently-to-make-more-money-in-2022-124-bricklayer.webp "PATTERSON CONSTRUCTION")
⏲ 9 minutes 17 seconds 👁 14.4K
_brand-new-truck-loses-fight-with-a-power-pole.webp "Casey LaDelle")
_seeing-my-aunt-amp-uncle39s-new-house-for-the-1st-time.webp "The Chateau Diaries")
_adam-devine-124-this-past-weekend-w-theo-von-451.webp "Theo Von")
_evan-patterson-9234a-short-introduction-to-categorical-logic9234.jpg)
_asmr-bricklayingasmr-bricklaying-bricklayer-satisfying-brickwork-l-pattersonconstruction.jpg)
_evan-patterson-structured-and-decorated-cospans-from-the-viewpoint-of-double-category-theory.jpg)
_evan-patterson-structured-and-decorated-cospans-from-the-viewpoint-of-double-category-theory.jpg)
_how-to-lay-concrete-blocks-more-efficiently-to-make-more-money-in-2022-124-bricklayer.jpg)
_brand-new-truck-loses-fight-with-a-power-pole.jpg)
_seeing-my-aunt-amp-uncle39s-new-house-for-the-1st-time.jpg)
_adam-devine-124-this-past-weekend-w-theo-von-451.jpg)
![[+]](/images/menu.gif){kind=small}