Submissions from ncatlab.org

		Unintentional Type Theory (ncatlab.org)
		1 point by measurablefunc 5 months ago \| past
		Braids Nlab Article (ncatlab.org)
		2 points by marysminefnuf 7 months ago \| past
		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
		More

HN For You