Higher category theory is the part of category theory at a higher order, which means that some equalities are replaced by explicit arrows in order to be able to explicitly study the structure behind those equalities.
Read more about Higher Category Theory: Strict Higher Categories, Weak Higher Categories, Quasicategories, Simplicially Enriched Category, Topologically Enriched Categories, Segal Categories
Famous quotes containing the words higher, category and/or theory:
“Men may rise on stepping-stones
Of their dead selves to higher things.”
—Alfred Tennyson (1809–1892)
“The truth is, no matter how trying they become, babies two and under don’t have the ability to make moral choices, so they can’t be “bad.” That category only exists in the adult mind.”
—Anne Cassidy (20th century)
“The whole theory of modern education is radically unsound. Fortunately in England, at any rate, education produces no effect whatsoever. If it did, it would prove a serious danger to the upper classes, and probably lead to acts of violence in Grosvenor Square.”
—Oscar Wilde (1854–1900)