Category theory is a branch of mathematics that aims to
formalize mathematics purely in terms of "objects" and "arrows". It
can help mathematicians reason more clearly about abstract
mathematical concepts.
View page
A Yoneda embedding is a particular condition in category
theory.
View page
Arithmetic · Logic · Set theory · Category theory · Algebra (elementary - linear - abstract) ·Number theory · Analysis (calculus) · Geometry · Trigonometry · Topology · Dynamical systems · Combinatorics ·