Math: LINKS: ncatlab

https://ncatlab.org/nlab/show/mathematics https://ncatlab.org/nlab/show/math+resources

https://ncatlab.org/nlab/show/foundation+of+mathematics https://ncatlab.org/nlab/show/Practical+Foundations+of+Mathematics https://ncatlab.org/nlab/show/effects+of+foundations+on+%22real%22+mathematics https://ncatlab.org/nlab/show/foundational+axiom

https://ncatlab.org/nlab/show/synthetic+mathematics https://ncatlab.org/nlab/show/predicative+mathematics

https://ncatlab.org/nlab/show/set+theory https://ncatlab.org/nlab/show/algebraic+set+theory https://ncatlab.org/nlab/show/structural+set+theory

https://ncatlab.org/nlab/show/category+theory#videos https://ncatlab.org/nlab/show/category#idea

https://ncatlab.org/nlab/show/computational+trinitarianism

computational trinitarianism = propositions as types +programs as proofs +relation type theory/category theory

https://ncatlab.org/nlab/show/category+theory#videos https://ncatlab.org/nlab/show/mathematics https://ncatlab.org/nlab/show/principle+of+equivalence https://ncatlab.org/nlab/show/math+resources https://ncatlab.org/nlab/show/foundation+of+mathematics http://www.cs.man.ac.uk/~pt/Practical-Foundations/html/index.html https://ncatlab.org/nlab/show/practical+foundation+of+mathematics https://ncatlab.org/nlab/show/type+theory https://ncatlab.org/nlab/show/Practical+Foundations+of+Mathematics https://ncatlab.org/nlab/show/program https://ncatlab.org/nlab/show/proofs+as+programs https://ncatlab.org/nlab/show/propositions+as+types https://ncatlab.org/nlab/show/relation+between+type+theory+and+category+theory https://ncatlab.org/nlab/show/Practical+Foundations+of+Mathematics

https://ncatlab.org/nlab/show/category+theory#videos https://ncatlab.org/nlab/show/mathematics https://ncatlab.org/nlab/show/principle+of+equivalence https://ncatlab.org/nlab/show/math+resources https://ncatlab.org/nlab/show/foundation+of+mathematics http://www.cs.man.ac.uk/~pt/Practical-Foundations/html/index.html https://ncatlab.org/nlab/show/practical+foundation+of+mathematics https://ncatlab.org/nlab/show/type+theory https://ncatlab.org/nlab/show/Practical+Foundations+of+Mathematics https://ncatlab.org/nlab/show/computer+science https://ncatlab.org/nlab/show/algorithm https://ncatlab.org/nlab/show/programming+language https://ncatlab.org/nlab/show/nPOV https://ncatlab.org/nlab/show/monad+%28in+computer+science%29 https://ncatlab.org/nlab/show/Practical+Foundations+of+Mathematics https://ncatlab.org/nlab/show/A+Categorical+Manifesto https://ncatlab.org/nlab/show/foundation+of+mathematics

https://cstheory.stackexchange.com/ http://www.cs.cmu.edu/~rwh/plbook/book.pdf http://www.lfcs.inf.ed.ac.uk/reports/94/ECS-LFCS-94-289/ https://golem.ph.utexas.edu/category/2006/11/a_categorical_manifesto.html https://case.edu/artsci/math/wells/pub/ctcs.html

https://ncatlab.org/nlab/show/contents%20of%20contents

https://ncatlab.org/nlab/all_pages/meta https://ncatlab.org/nlab/all_pages/reference https://ncatlab.org/nlab/show/All%20Pages

https://www.youtube.com/watch?v=i9CU4CuHADQ&list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_&index=6

https://github.com/ncatlab/nlab-content-deprecated https://github.com/ncatlab/nlab-content/tree/master/pages https://github.com/ncatlab/nlab-content-html http://www.paultaylor.eu/~pt/prafm/ https://ncatlab.org/nlab/all_pages/reference https://ncatlab.org/nlab/show/nPOV https://ncatlab.org/nlab/show/Searching+the+nLab https://nforum.ncatlab.org/ https://ncatlab.org/nlab/show/HowTo https://github.com/ncatlab/nlab/issues https://nforum.ncatlab.org/21/ https://sites.google.com/keplr.io/kan https://ncatlab.org/schreiber/show/Higher+Structures https://ncatlab.org/nlab/show/gerbe https://ncatlab.org/nlab/show/nPOV https://ncatlab.org/nlab/show/Bibliography https://ncatlab.org/nlab/show/contents%20of%20contents