Evan Patterson (Topos Inst.): Toward Formalizing Scientific Theories/Models Using Categorical Logic

Why it's on BrighterTube

Editorial review · 85% confidence

Round-14 hunt: picked; source: named-course long-video search (r14); channel screens (sellers/exam/re-upload/devotional/vendor/events), provenance check, vendor/seller/devotional recheck and quality tier A passed; strict per-title check + final strict pass; oEmbed verified.

What you'll learn

A 57-minute video from Schmid College, Chapman University: “Evan Patterson (Topos Inst.): Toward Formalizing Scientific Theories/Models Using Categorical Logic”.

Video by Schmid College, Chapman University, played through YouTube's embedded player.