Higher Category Theory

In mathematics, 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.
Posts about Higher Category Theory

No posts yet

Please check again later.
Get the top posts daily into your mailbox!