mathematics in nLab
source link: https://ncatlab.org/nlab/show/mathematics
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
mathematics in nLab
Structural Foundations with annotated toc of 3 great books with numerous links to related nlab content:
group theory (including generalizations)
algebraic approaches to differential calculus
gebras (co(al)gebras, bi/Hopf-algebr-as/oids…)
Recommend
-
89
A Tour in the Wonderland of Math with Python A collection of python scripts for drawing beautiful figures and animating interesting algorithms in mathematics. About this repo The...
-
141
Hacktoberfest-Mathematics No longer active Math is fun so let's make some scripts and or programs that use some of your favorite math formulas and functions. Not Affiliated with Digital Ocean or Hacktoberfest
-
96
Magic Paper By Michael Nielsen, October 2017. Written to accompany a short essay about Magic Paper. Written to target Chrome 62 on OS X Sierra. Not tes...
-
7
finite set in nLabFinite sets 1. Definition A finite set is a set AA A for which there exists a bijection between AA A and the set [n]≔{k∈N|...
-
6
fundamental infinity-groupoid in nLabContents 1. Idea The fundamental ∞-groupoid Π∞(X) of a topological space X is the
-
5
homotopy hypothesis in nLabContents 1. Idea The homotopy hypothesis is the assertion that or rather the stronger statement that and moreover this equivalence is induced by the
-
1
Contents 1. Idea An n-groupoid is an 2. Definitions In terms of a known notion of (n,r)-category, we can define an n-groupoid
-
5
h-set in nLabh-Sets 1. Idea In homotopy type theory an h-set is a type X – hence a
-
8
bracket type in nLabContents 1. Idea There are various different paradigms for the interpretation of predicate logic in
-
10
subobject classifier in nLabContents 1. Idea Subsets A of a set X correspond precisely to maps from X to the set of truth values of classical logic via their
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK