|
You are here |
ncatlab.org | ||
| | | | |
xahlee.info
|
|
| | | | | [AI summary] A collection of free and verified math textbooks and resources, including calculus, linear algebra, and advanced topics like category theory, along with some unverified materials. | |
| | | | |
inquiryintoinquiry.com
|
|
| | | | | Introduction The praeclarum theorema, or splendid theorem, is a theorem of propositional calculus noted and named by G.W.Leibniz, who stated and proved it in the following manner. If a is b and d is c, then ad will be bc. This is a fine theorem, which is proved in this way: a is b, therefore... | |
| | | | |
homotopytypetheory.org
|
|
| | | | | Video and lecture notes are now available for a series of talks that took place last month at the Logic and Higher Structures workshop at CIRM-Luminy with the following abstract: Many introductions to homotopy type theory and the univalence axiom neglect to explain what any of it means, glossing over the semantics of this new... | |
| | | | |
www.latinorebels.com
|
|
| | | Host Julio Ricardo Varela is joined by Futuro Media editorial director Fernanda Santos for a roundtable discussion with Dr. Aria Halliday, an associate professor of gender and women's studies at the University of Kentucky, for a breakdown of the legacy of Black Barbie. | ||