_evan-patterson-9234a-short-introduction-to-categorical-logic9234-preview-1.jpg "Evan Patterson: \\"A Short Introduction to Categorical Logic\\" from evan patterson construction Video Screenshot Preview 1")
Gallery_evan-patterson-9234a-short-introduction-to-categorical-logic9234-preview-3.jpg "Evan Patterson: \\"A Short Introduction to Categorical Logic\\" from evan patterson construction Video Screenshot Preview 3")
Gallery_evan-patterson-9234a-short-introduction-to-categorical-logic9234-preview-hqdefault.jpg "Evan Patterson: \\"A Short Introduction to Categorical Logic\\" 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: 23 minutes
👁 View: 2.4K times
Play Audio:👁 View: 2.4K times
Description:
Topos Institute
Topos Institute
Share with your friends:
Whatsapp | Viber | Telegram | Line | SMS
Email | Twitter | Reddit | Tumblr | Pinterest
Related Videos
_dancing-in-gold.webp "Directors:Bryce Fortner & Melanie von TrappnProducer: Lara Jean GallaghernDirector of Photography: Bryce FortnernEditor: Marc RippernColorist: Marc Rippernn1st AD: Marc RippernCamera Operator: Simon MiyanProduction Designer: Evan Stewart nSet Construction: Abel Patterson &Alex Bowersn1st AC: Peggy Knoebeln2nd AC: Hollie MetricknStylist: Jayme HansonnHair/Make Up: Jai SootsnCoordinator: Karina RippernGaffer: Justin WardnKey Grip: Joe TimkonPA: Melissa DiMartinonnSpecial thanks to: Sus")
_evan-patterson-principles-and-pitfalls-of-designing-software-for-applied-category-theory.webp "Topos Institute")
⏲ 1 hour 3 minutes 34 seconds 👁 632
_evan-patterson-structured-and-decorated-cospans-from-the-viewpoint-of-double-category-theory.webp "Applied Category Theory")
⏲ 30 minutes 41 seconds 👁 46
_second-thoughts-on-the-season-finale-of-hallmark39s-the-way-home.webp "Get a sneak peek at the heartwarming Season Finale of Hallmark's The Way Home Season 2 Episode 10, crafted by creators Alexandra Clarke, Heather Conkie and Marly Reed. Join the beloved cast including Andie MacDowell, Chyler Leigh, Evan Williams, and more for a memorable conclusion! Don't miss the emotional journey, Stream The Way Home on Hallmark Now!<br/><br/>The Way Home Cast:<br/><br/>Andie MacDowell, Chyler Leigh, Evan Williams, Sadie Laflamme-Snow, Natalie Hall, Kaitlin Doubleday, Nigel Whitney, Laura de Carteret, Jefferson Brown, Samora Smallwood, Al Mukadam, Alex Hook and David Webster<br/><br/>Stream The Way Home Season 2 now on Hallmark!")
_evan-patterson-structured-and-decorated-cospans-from-the-viewpoint-of-double-category-theory.webp "Topos Institute")
⏲ 31 minutes 36 seconds 👁 337
_what-will-bruins-do-with-their-goalies-for-playoffs-w92-evan-marinofsky-124-pucks-with-haggs.webp "In the newest episode of the Pucks with Haggs Podcast, host Joe Haggerty welcomes Evan Marinofsky from New England Hockey Journal to discuss the latest developments with the Boston Bruins. They delve into the team's goaltending situation and speculate on what the Bruins might do with their goalies for the playoffs.<br/><br/>0:00 Bruins play as of late<br/><br/>7:12 Justin Brazeau showing up<br/><br/>12:00 Danton Heinen earning extension<br/><br/>18:27 Bruins Mailbag<br/><br/>27:50 What Will Bruins Do With Their Goalies for Playoffs?<br/><br/>This episode of the Pucks with Haggs Podcast is brought to you by PrizePicks! Get in on the excitement with PrizePicks, America’s No. 1 Fantasy Sports App, where you can turn your hoops knowledge into serious cash. Download the app today and use code CLNS for a first deposit match up to $100! Pick more. Pick less. It’s that Easy! Football season may be over, but the action on the floor is heating up. Whether it’s Tournament Season or the fight for playoff homecourt, there’s no shortage of high stakes basketball moments this time of year. Quick withdrawals, easy gameplay and an enormous selection of players and stat types are what make PrizePicks the #1 daily fantasy sports app!")
⏲ 43:3 👁 62.7M
_explosive-124124-cjp-isa-failed-to-build-consensus-among-judges-124124-insight-by-adeel-sarfraz.webp "Adeel Sarfraz")
⏲ 18 minutes 59 seconds 👁 3.8K
_baltimore-bridge-collapse.webp "Casey Jones - Professional Engineer")
_dancing-in-gold.jpg)
_evan-patterson-principles-and-pitfalls-of-designing-software-for-applied-category-theory.jpg)
_evan-patterson-structured-and-decorated-cospans-from-the-viewpoint-of-double-category-theory.jpg)
_second-thoughts-on-the-season-finale-of-hallmark39s-the-way-home.jpg)
_evan-patterson-structured-and-decorated-cospans-from-the-viewpoint-of-double-category-theory.jpg)
_what-will-bruins-do-with-their-goalies-for-playoffs-w92-evan-marinofsky-124-pucks-with-haggs.jpg)
_explosive-124124-cjp-isa-failed-to-build-consensus-among-judges-124124-insight-by-adeel-sarfraz.jpg)
_baltimore-bridge-collapse.jpg)
![[+]](/images/menu.gif){kind=small}