Latest Videos
[Berkeley Seminar] Maximilien Peroux (Michigan State University)
Topos Institute
225 views·2 weeks ago
[Oxford Seminar] Owen Lynch An introduction to the geolog project
Topos Institute
543 views·1 month ago
[Oxford Seminar] Adrián Puerto Aubel A glance at Petri net theory
Topos Institute
371 views·2 months ago
[2-torial] Owen tells Tim about elaborators for type theories [22]
Topos Institute
271 views·2 months ago
[DOTS Lectures] 17. Representability for double operad algebras
Topos Institute
125 views·2 months ago
[2-torial] Joanna tells Jason about enhanced simplicial categories
Topos Institute
216 views·4 months ago
[2-torial] José tells Jason about coalgebraic-modal extensions of logic
Topos Institute
166 views·5 months ago
[Oxford Seminar] Matteo Capucci A Second Taste of Quantitative Logic
Topos Institute
255 views·5 months ago
![[Berkeley Seminar] William Troiani](https://i.ytimg.com/vi/3DwkYrleuLU/hqdefault.jpg?sqp=-oaymwE2CNACELwBSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgBugmAAtAFigIMCAAQARhlIGUoZTAP&rs=AOn4CLCMUsFKIIWU7zDC_G-GSFzdUH-t7A)
![[Oxford Seminar] Olga Paris-Romanskevich Gender and science what every mathematician should know](https://i.ytimg.com/vi/5Zmlp2bmhmI/hqdefault.jpg?sqp=-oaymwE2CNACELwBSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgB_gmAApoFigIMCAAQARhlIGUoZTAP&rs=AOn4CLD5qpBliIvQXA2046fTJbIvtWBL0g)
![[Berkeley Seminar] Owen Lynch Abstract interpretation for semi-dependent type theories](https://i.ytimg.com/vi/tAKqODzU908/hqdefault.jpg?sqp=-oaymwE2CNACELwBSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgB_gmAAtAFigIMCAAQARhhIGEoYTAP&rs=AOn4CLDOdHsQF9CvE65zXk3x7vB20WhQjA)
![[Berkeley Seminar] Maximilien Peroux (Michigan State University)](https://i.ytimg.com/vi/TFyzHTP4KOs/hqdefault.jpg?sqp=-oaymwE2CNACELwBSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgB_gmAAtAFigIMCAAQARhhIGEoYTAP&rs=AOn4CLCfpY0OrIXeqgTwP3mZQdY_1s4kFg)
![[Berkeley Seminar] Mike Dodds (Galois) What works and doesn't selling formal methods in industry](https://i.ytimg.com/vi/Z2bTpsO4fcc/hqdefault.jpg?sqp=-oaymwE2CNACELwBSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgB_gmAAtAFigIMCAAQARhlIGUoZTAP&rs=AOn4CLDQLC_8Q5yv6U7ivbQRWlakUlLUIA)
![[Berkeley Seminar] Michael Arntzenius UC Berkeley](https://i.ytimg.com/vi/_A9qrqL2D28/hqdefault.jpg?sqp=-oaymwE2CNACELwBSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgB_gmAAtAFigIMCAAQARhkIGQoZDAP&rs=AOn4CLCSP_9OM6BvZXbieOXTZGfFs7rsBA)
![[Berkeley Seminar] Michael Arntzenius UC Berkeley](https://i.ytimg.com/vi/tj9n1m9dNuY/hqdefault.jpg?sqp=-oaymwE2CNACELwBSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgB_gmAAtAFigIMCAAQARhnIGcoZzAP&rs=AOn4CLAGnNAZhityj88xfYwScQEzwyCM7Q)
![[Oxford Seminar] Owen Lynch An introduction to the geolog project](https://i.ytimg.com/vi/d6xMeIxsCM4/hqdefault.jpg?sqp=-oaymwE2CNACELwBSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgB_gSAAugCigIMCAAQARhaIF0oZTAP&rs=AOn4CLAs-6DXHQ85Tv9NXkyW0yuAFkEM4w)
![[Oxford Seminar] Tim Hosgood Why might I want to build a formal model for a respiratory virus](https://i.ytimg.com/vi/Iva9fmr-uic/hqdefault.jpg?sqp=-oaymwE2CNACELwBSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgB0AmAAtAFigIMCAAQARhkIGQoZDAP&rs=AOn4CLDxVM2d8XvGEEc2hQbO_SBuGoV1Tw)
![[Oxford Seminar] David Corfield Categorical systems theory control and emergence](https://i.ytimg.com/vi/wSWmHZNjpzg/hqdefault.jpg?sqp=-oaymwE2CNACELwBSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgB_gmAApIFigIMCAAQARhsIGwobDAP&rs=AOn4CLD3qoYLQ21AiwyzETSMFzQcotRyEA)
![[DOTS Lectures] 19. State Sharing Pt. 2](https://i.ytimg.com/vi/IR0Y52DNYyo/hqdefault.jpg?sqp=-oaymwE2CNACELwBSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgBgAmAAtAFigIMCAAQARgRIHIoLTAP&rs=AOn4CLBD3SZjt6GQ-euO0hxk4U0LK6CfZw)
![[Oxford Seminar] Adrián Puerto Aubel A glance at Petri net theory](https://i.ytimg.com/vi/z5DXdfV8Fw0/hqdefault.jpg?sqp=-oaymwE2CNACELwBSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgBtgiAAtAFigIMCAAQARhlIFAoPDAP&rs=AOn4CLCAXbu51lVr81JPJoJEk0W09V57bA)
![[2-torial] Owen tells Tim about elaborators for type theories [22]](https://i.ytimg.com/vi/xQSG_a_uyKk/hqdefault.jpg?sqp=-oaymwE2CNACELwBSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgB_gmAAtAFigIMCAAQARhPIFkoZTAP&rs=AOn4CLDQkkl-BdCf0R2FStaIjkaGbJ6wmg)
![[DOTS Lectures] 18. State Sharing Pt. 1](https://i.ytimg.com/vi/1cuW-LD41Eo/hqdefault.jpg?sqp=-oaymwE2CNACELwBSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgBgAmAAtAFigIMCAAQARhlIGUoZTAP&rs=AOn4CLCxkrn3VxAwu-rc3YAHnmH0cqNq0A)
![[TopOx] Tom Leinster The many faces of magnitude](https://i.ytimg.com/vi/wxqfxRCGoOE/hqdefault.jpg?sqp=-oaymwE2CNACELwBSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgB_gmAAqAFigIMCAAQARhlIGUoZTAP&rs=AOn4CLCsoy2Vfi8T1_Uq5W3dr2suY0vanQ)
![[DOTS Lectures] 17. Representability for double operad algebras](https://i.ytimg.com/vi/larbRprPuPM/hqdefault.jpg?sqp=-oaymwE2CNACELwBSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgBgAmAAtAFigIMCAAQARgRIHIoLDAP&rs=AOn4CLDCFZmFhh7mi-TqeUVMvpfqGPkPww)
![[DOTS Lectures] 16. Monadicity of double operad algebras](https://i.ytimg.com/vi/_suTwV_UQtc/hqdefault.jpg?sqp=-oaymwE2CNACELwBSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgBgAmAAtAFigIMCAAQARgRIHIoLDAP&rs=AOn4CLCXjHlKVz89lb7QBvm62MV6UGyVwA)
![[2-torial] David tells Joanna about algebraic patterns](https://i.ytimg.com/vi/3VP3ZfgfpTg/hqdefault.jpg?sqp=-oaymwE2CNACELwBSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgBtgiAAtAFigIMCAAQARhlIGUoZTAP&rs=AOn4CLBG2ftoRUikYLlIuh3qgv-P5Sv_ug)
![[2-torial] Owen tells Tim about elaborators for type theories](https://i.ytimg.com/vi/uBjuFDs-shw/hqdefault.jpg?sqp=-oaymwE2CNACELwBSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgB_gmAAtAFigIMCAAQARhlIFsoUDAP&rs=AOn4CLDpooBrq43XHZ5ZWfCKMAvqIF9ecA)
![[DOTS Lectures] 15. Representability of reachability and double operad algebras](https://i.ytimg.com/vi/6UGVkOVvM5U/hqdefault.jpg?sqp=-oaymwE2CNACELwBSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgBgAmAAtAFigIMCAAQARgRIHIoLTAP&rs=AOn4CLCwbcENIT8JsbveiImCyRaZrH9O5w)
![[TopOx] Jakub Opršal Homotopy theory in the complexity of homomorphism problems](https://i.ytimg.com/vi/fU2pZbrE2aA/hqdefault.jpg?sqp=-oaymwE2CNACELwBSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgB_gmAAtAFigIMCAAQARhBIFQoZTAP&rs=AOn4CLBsDkr34fJNlXa385jA5oZqXRfQBw)
![[2-torial] Joanna tells Jason about enhanced simplicial categories](https://i.ytimg.com/vi/N04GYP5Qv7Y/hqdefault.jpg?sqp=-oaymwE2CNACELwBSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgB_gmAAtAFigIMCAAQARhYIGUoWDAP&rs=AOn4CLCmUYr80-SPgtezPXF6jyz6I5uPtQ)
![[2-torial] José tells Jason about coalgebraic-modal extensions of logic](https://i.ytimg.com/vi/UVj3BDy0iaU/hqdefault.jpg?sqp=-oaymwE2CNACELwBSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgBygiAAtAFigIMCAAQARhaIFooZTAP&rs=AOn4CLDbPjf2t9QrGMNCSLdvNxghBcLsuw)
![[2-torial] David Jaz tells Brendan about a topos-theoretic interpretation for conceptual modelling](https://i.ytimg.com/vi/kFQpKp-ehZI/hqdefault.jpg?sqp=-oaymwE2CNACELwBSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgB_gmAApIFigIMCAAQARhlIGUoZTAP&rs=AOn4CLCTTcqywiknMUiVe7rGdRm1R44k_A)
![[Oxford Seminar] Matteo Capucci A Second Taste of Quantitative Logic](https://i.ytimg.com/vi/BAwK-X-8pIw/hqdefault.jpg?sqp=-oaymwE2CNACELwBSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgBvgeAAtAFigIMCAAQARg7IE8ocjAP&rs=AOn4CLBzy3Pg0zn_ezr1E-AS_dREl_05mg)
![[DOTS Lectures] 14. Applying the representability theorem examples of compositional behaviours](https://i.ytimg.com/vi/RNwCljKiP24/hqdefault.jpg?sqp=-oaymwE2CNACELwBSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgBgAmAAtAFigIMCAAQARgRIHIoLDAP&rs=AOn4CLCjp7ScX0ONTie2n9EkMFbg49HYjA)
![[Oxford Seminar] Matteo Capucci A Taste of Quantitative Logic](https://i.ytimg.com/vi/JWfuuPr_ptU/hqdefault.jpg?sqp=-oaymwE2CNACELwBSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgBvgeAAtAFigIMCAAQARg8IFAocjAP&rs=AOn4CLARJ2rcTgAr0q7TcnIGRORwigU7qg)
![[Berkeley Seminar] Benjamin Brast McKie The Construction of Possible Worlds](https://i.ytimg.com/vi/p-z4bhj7p-g/hqdefault.jpg?sqp=-oaymwE2CNACELwBSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgB_gmAAtAFigIMCAAQARhlIGUoZTAP&rs=AOn4CLC_zDCxRilN7ZELSJ0MlNfrp9WvPQ)
![[2-torial] Kevin tells Jason and David about instances of models of double theories](https://i.ytimg.com/vi/GJMBFPe7T6I/hqdefault.jpg?sqp=-oaymwE2CNACELwBSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgBmgmAAtAFigIMCAAQARhlIGUoZTAP&rs=AOn4CLARDBx90OqvJ1eNxdluJ5z-cZACKg)
![[DOTS Lectures] 13. A general representability theorem for Systems Theory Pt. 3](https://i.ytimg.com/vi/BST8hBWS1Kw/hqdefault.jpg?sqp=-oaymwE2CNACELwBSFXyq4qpAygIARUAAIhCGAFwAcABBvABAfgB_giAAtAFigIMCAAQARhZIGQoZTAP&rs=AOn4CLAqFa4nRL9LcTwAozURglRylguS0Q)