**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# Strict 2-category

Summary

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.
A 2-category C consists of:
A class of 0-cells (or ) A, B, ....
For all objects A and B, a category . The objects of this category are called 1-cells and its morphisms are called 2-cells; the composition in this category is usually written or and called vertical composition or composition along a 1-cell.
For any object A there is a functor from the terminal (with one object and one arrow) to that picks out the identity 1-cell idA on A and its identity 2-cell ididA. In practice these two are often denoted simply by A.
For all objects A, B and C, there is a functor , called horizontal composition or composition along a 0-cell, which is associative and admits the identity 1 and 2-cells of idA as identities. Here, associativity for means that horizontally composing twice to is independent of which of the two and are composed first. The composition symbol is often omitted, the horizontal composite of 2-cells and being written simply as .
The 0-cells, 1-cells, and 2-cells terminology is replaced by 0-morphisms, 1-morphisms, and 2-morphisms in some sources (see also ).
The notion of 2-category differs from the more general notion of a in that composition of 1-cells (horizontal composition) is required to be strictly associative, whereas in a bicategory it needs only be associative up to a 2-isomorphism. The axioms of a 2-category are consequences of their definition as Cat-enriched categories:
Vertical composition is associative and unital, the units being the identity 2-cells idf.

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 (30)

Related people (6)

Related concepts (9)

Related courses (7)

Related units (1)

Related lectures (55)

Enriched category

In , a branch of mathematics, an enriched category generalizes the idea of a by replacing hom-sets with objects from a general . It is motivated by the observation that, in many practical applications, the hom-set often has additional structure that should be respected, e.g., that of being a vector space of morphisms, or a topological space of morphisms. In an enriched category, the set of morphisms (the hom-set) associated with every pair of objects is replaced by an in some fixed monoidal category of "hom-objects".

Higher category theory

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.

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.

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-211: Group Theory

Après une introduction à la théorie des catégories, nous appliquerons la théorie générale au cas particulier des groupes, ce qui nous permettra de bien mettre en perspective des notions telles que quo

Categories and Functors

Covers categories, functors, and presheaf categories, exploring the relationships between objects and morphisms.

Characterizing Fibrations in Chain Complexes

Explores the characterization of fibrations and acyclic fibrations in chain complexes.

Introduction to Model Categories

Explores lifting properties and model categories in topological spaces.

Inductive circuits and devices are ubiquitous and important design elements in many applications, such as magnetic drives, galvanometers, magnetic scanners, applying direct current (DC) magnetic fields to systems, radio frequency coils in nuclear magnetic ...

In this thesis, we study the homotopical relations of 2-categories, double categories, and their infinity-analogues. For this, we construct homotopy theories for the objects of interest, and show that there are homotopically full embeddings of 2-categories ...

In the enriched setting, the notions of injective and projective model structures on a category of enriched diagrams also make sense. In this paper, we prove the existence of these model structures on enriched diagram categories under local presentability, ...

2019