NASA NTRS · 20240001211
Category Theory
Abstract
Functions started with an implicit definition - the dependency of some quantity on others. Functions were coined by Leibniz in 1673, were given the f(x) notation by Euler in 1734, were formalized in the language of set theory from around 1847 to 1939. Functions have since been further abstract, often capture and represent structure.
Keep this discovery
Explore connections, maps & timelines
Alan Hylton. Category Theory. https://ntrs.nasa.gov/citations/20240001211
Cite the original work for its findings. Save a collection to share your selection of sources.