Difference between revisions of "Video/Arkor - The formal theory of theories"
Jump to navigation
Jump to search
(Created page with "{{cite book |first=Nathanael |last=Arkor |author-link=Nathanael Arkor |date=Feb 28, 2022 |title=Arkor - The formal theory of theories |url=https://www.youtube.com/watch?v=RguqGBhSEOc |location=local page |publisher=Category Theory CT20->21 }} <noinclude> {{#widget:YouTube |id=RguqGBhSEOc |width=640 |height=360 }} {{PagePostfix |semantic_labels=Organized by:[[Organized by::Category Theory CT20->21]] Presented by:P...") |
|||
| (2 intermediate revisions by the same user not shown) | |||
| Line 17: | Line 17: | ||
}} | }} | ||
This video's transcript generated by AssemblyAI is available [https://www.assemblyai.com/playground/transcript/rhkplfir7z-d83c-4f2a-9e0b-a550bbf78f1e here]. A localized copy is here:[[Transcript/Arkor - The formal theory of theories|edited transcript]]. | |||
{{PagePostfix | {{PagePostfix | ||
|semantic_labels=Organized by:[[Organized by::Category Theory CT20->21]] Presented by:[[Presented by::Nathanael Arkor]] | |semantic_labels=Organized by:[[Organized by::Category Theory CT20->21]] Presented by:[[Presented by::Nathanael Arkor]] | ||
|category_csd=Category Theory, | |category_csd=Category Theory,Formal Theory,Data,Automatic Proof,Theory of Theories | ||
}} | }} | ||
</noinclude> | </noinclude> | ||
Latest revision as of 02:12, 27 January 2023
Arkor, Nathanael (Feb 28, 2022). Arkor - The formal theory of theories. local page: Category Theory CT20->21.
This video's transcript generated by AssemblyAI is available here. A localized copy is here:edited transcript.
References
Related Pages
Organized by:Category Theory CT20->21Property "Organized by" (as page type) with input value "Category Theory CT20->21" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process. Presented by:Nathanael Arkor