{"type":"video","version":"1.0","html":"<iframe width=\"560\" height=\"315\" sandbox=\"allow-same-origin allow-scripts allow-popups allow-forms\" title=\"Category Theory 7.2 - Monoidal Categories Functoriality of ADTs Profunctors\" src=\"https://video.infosec.exchange/videos/embed/hUj9MERZzqdxSJ6rvvqqk1\" style=\"border: none\" allow=\"fullscreen\"></iframe>","width":560,"height":315,"title":"Category Theory 7.2 - Monoidal Categories Functoriality of ADTs Profunctors","author_name":"Category Theory by  Bartosz Milewski","author_url":"https://video.infosec.exchange/video-channels/category_theory","provider_name":"PeerTube","provider_url":"https://video.infosec.exchange","thumbnail_url":"https://video.infosec.exchange/lazy-static/thumbnails/3d898d80-fe8b-4caf-b6fe-d9c4280d4d79.jpg","thumbnail_width":850,"thumbnail_height":480}