**Are you an EPFL student looking for a semester project?**

Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.

Concept# Higher category theory

Summary

In mathematics, higher category theory is the part of 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. Higher category theory is often applied in algebraic topology (especially in homotopy theory), where one studies algebraic invariants of spaces, such as their fundamental .
An ordinary has and morphisms, which are called 1-morphisms in the context of higher category theory. A generalizes this by also including 2-morphisms between the 1-morphisms. Continuing this up to n-morphisms between (n − 1)-morphisms gives an n-category.
Just as the category known as Cat, which is the and functors is actually a 2-category with natural transformations as its 2-morphisms, the category n-Cat of (small) n-categories is actually an (n + 1)-category.
An n-category is defined by induction on n by:
A 0-category is a ,
An (n + 1)-category is a category over the category n-Cat.
So a 1-category is just a () category.
The structure of Set is the one given by the cartesian product as tensor and a singleton as unit. In fact any category with finite can be given a monoidal structure. The recursive construction of n-Cat works fine because if a category C has finite products, the category of C-enriched categories has finite products too.
While this concept is too strict for some purposes in for example, homotopy theory, where "weak" structures arise in the form of higher categories, strict cubical higher homotopy groupoids have also arisen as giving a new foundation for algebraic topology on the border between homology and homotopy theory; see the article Nonabelian algebraic topology, referenced in the book below.
Weak n-category
In weak n-categories, the associativity and identity conditions are no longer strict (that is, they are not given by equalities), but rather are satisfied up to an isomorphism of the next level. An example in topology is the composition of paths, where the identity and association conditions hold only up to reparameterization, and hence up to homotopy, which is the 2-isomorphism for this 2-category.

Official source

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications (50)

Related units (2)

Related courses (11)

Related people (6)

Related concepts (15)

Related lectures (131)

Ontological neighbourhood

MATH-436: Homotopical algebra

This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous

MATH-688: Reading group in applied topology I

The focus of this reading group is to delve into the concept of the "Magnitude of Metric Spaces". This approach offers an alternative approach to persistent homology to describe a metric space across

MATH-497: Homotopy theory

We propose an introduction to homotopy theory for topological spaces. We define higher homotopy groups and relate them to homology groups. We introduce (co)fibration sequences, loop spaces, and suspen

Higher-dimensional algebra

In mathematics, especially () , higher-dimensional algebra is the study of categorified structures. It has applications in nonabelian algebraic topology, and generalizes abstract algebra. Category theory#Higher-dimensional categories A first step towards defining higher dimensional algebras is the concept of of , followed by the more 'geometric' concept of double category. A higher level concept is thus defined as a of categories, or super-category, which generalises to higher dimensions the notion of – regarded as any structure which is an interpretation of Lawvere's axioms of the elementary theory of abstract categories (ETAC).

Category of small categories

In mathematics, specifically in , the category of small categories, denoted by Cat, is the whose objects are all and whose morphisms are functors between categories. Cat may actually be regarded as a with natural transformations serving as 2-morphisms. The initial object of Cat is the empty category 0, which is the category of no objects and no morphisms. The terminal object is the terminal category or trivial category 1 with a single object and morphism. The category Cat is itself a , and therefore not an object of itself.

Strict 2-category

In , a strict 2-category is a with "morphisms between morphisms", that is, where each hom-set itself carries the structure of a category. It can be formally defined as a category over Cat (the , with the structure given by ). The concept of 2-category was first introduced by Charles Ehresmann in his work on enriched categories in 1965. The more general concept of (or weak 2-category), where composition of morphisms is associative only up to a 2-isomorphism, was introduced in 1968 by Jean Bénabou.

Quasicategories: An Alternative Homotopy Theory

Introduces quasicategories as an alternative approach to defining homotopy maps and categories.

Lifting properties, Chapter 2(a): Definition and elementary properties of model categories

Covers morphisms with lifting properties, pushouts, pullbacks, and the uniqueness in the universal property of pushouts.

Introduction to Model Categories

Explores lifting properties and model categories in topological spaces.

Klaus Kern, Marko Burghard, Lukas Powalla

Topological charge plays a significant role in a range of physical systems. In particular, observations of real-space topological objects in magnetic materials have been largely limited to skyrmions - states with a unitary topological charge. Recently, mor ...

Phase synchronizations in models of coupled oscillators such as the Kuramoto model have been widely studied with pairwise couplings on arbitrary topologies, showing many unexpected dynamical behaviors. Here, based on a recent formulation the Kuramoto model ...

In this thesis, we study interactions between algebraic and coalgebraic structures in infinity-categories (more precisely, in the quasicategorical model of (infinity, 1)-categories). We define a notion of a Hopf algebra H in an E-2-monoidal infinity-catego ...