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...") |
|||
| Line 19: | Line 19: | ||
{{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> | ||
Revision as of 18:49, 26 January 2023
Arkor, Nathanael (Feb 28, 2022). Arkor - The formal theory of theories. local page: Category Theory CT20->21.
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