| | Braids Nlab Article (ncatlab.org) |
| 2 points by marysminefnuf 9 days ago | past | discuss |
|
| | Berry's Phase (ncatlab.org) |
| 2 points by gone35 on Oct 19, 2024 | past |
|
| | Conway's Law (ncatlab.org) |
| 1 point by todsacerdoti on Sept 20, 2024 | past |
|
| | Empty Set (ncatlab.org) |
| 1 point by rzk on Sept 18, 2024 | past |
|
| | The mathematical red herring principle (ncatlab.org) |
| 2 points by lmh on May 2, 2024 | past | 1 comment |
|
| | Standard Conjectures on Algebraic Cycles (ncatlab.org) |
| 1 point by gone35 on April 18, 2024 | past |
|
| | Total Functional Programming (2004) [pdf] (ncatlab.org) |
| 89 points by leonidasv on March 7, 2024 | past | 99 comments |
|
| | Type Theory (ncatlab.org) |
| 3 points by sargstuff on July 17, 2023 | past |
|
| | NLab – collaborative work on Mathematics, Physics, and Philosophy (ncatlab.org) |
| 4 points by andsoitis on June 28, 2023 | past |
|
| | Entanglement of Sections (ncatlab.org) |
| 1 point by gone35 on May 23, 2023 | past | 1 comment |
|
| | NLab: The Category Theory Wiki (ncatlab.org) |
| 1 point by cdwhite on April 2, 2023 | past |
|
| | Is probability theory a branch of mathematics? (ncatlab.org) |
| 3 points by throwaway81523 on Nov 27, 2022 | past |
|
| | Computable Physics (Nlab) (ncatlab.org) |
| 2 points by hackandthink on Oct 29, 2022 | past |
|
| | Löb's Theorem (ncatlab.org) |
| 2 points by isaac21259 on June 2, 2022 | past |
|
| | Web-Based Proof Assistant (ncatlab.org) |
| 3 points by jonnybgood on Oct 5, 2021 | past |
|
| | Generalized The (ncatlab.org) |
| 4 points by todsacerdoti on Sept 2, 2021 | past |
|
| | Catabase: A Database of Categories (ncatlab.org) |
| 3 points by todsacerdoti on Sept 1, 2021 | past | 1 comment |
|
| | Too Simple to Be Simple (ncatlab.org) |
| 2 points by todsacerdoti on July 1, 2021 | past |
|
| | Hegelian Taco (2020) (ncatlab.org) |
| 1 point by zbentley on June 27, 2021 | past |
|
| | DisCoPy: Tool box for computing with monoidal categories (ncatlab.org) |
| 1 point by primroot on Dec 21, 2020 | past |
|
| | Centipede Mathematics (ncatlab.org) |
| 1 point by tate on Nov 18, 2020 | past |
|
| | Math Blogs (ncatlab.org) |
| 1 point by VitalyAnkh on Aug 20, 2020 | past |
|
| | Computational Trinitarianism (ncatlab.org) |
| 3 points by Nesco on June 24, 2020 | past |
|
| | NLab is a wiki from the perspective of category theory (ncatlab.org) |
| 4 points by ahane on Jan 25, 2020 | past |
|
| | Total Functional Programming (2004) [pdf] (ncatlab.org) |
| 1 point by leonidasv on Dec 12, 2019 | past |
|
| | Intuitions about Cohomology (ncatlab.org) |
| 2 points by quack_quack on March 20, 2019 | past |
|
| | Comprehending Monads [pdf] (ncatlab.org) |
| 1 point by happy-go-lucky on May 31, 2017 | past |
|
| | Computational trinitarianism (ncatlab.org) |
| 2 points by pizza on Feb 11, 2017 | past |
|
| | Higher category theory and physics (ncatlab.org) |
| 1 point by setra on Jan 12, 2017 | past |
|
| | nLab (ncatlab.org) |
| 3 points by espeed on Dec 28, 2016 | past |
|
|
| More |
