{"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://diode.zone/videos/embed/500f0163-9c52-49d9-86ad-31b7c491fd83\" frameborder=\"0\" allowfullscreen></iframe>","width":560,"height":315,"title":"Category Theory 7.2 - Monoidal Categories Functoriality of ADTs Profunctors","author_name":"Category Theory moved to video.infosec.exchange","author_url":"https://diode.zone/video-channels/category_theory","provider_name":"PeerTube","provider_url":"https://diode.zone","thumbnail_url":"https://diode.zone/lazy-static/previews/1fae58c2-2be9-4b3f-b00d-36a4354b90f4.jpg","thumbnail_width":850,"thumbnail_height":480}