Lecture

Homotopy Coherent Groups and Quasi-Categories

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Description

This lecture covers the characterization of trivial Kan fibrations, mapping spaces in simplicial model categories, different approaches to higher category theory, defining a terminal object in a quasi-category, and the importance of homotopy coherent groups. The instructor discusses the significance of studying homotopy coherent groups even though they can be strictified.

Official source

Ontological neighbourhood

Mathematics

Topology: Algebraic topology

Related concepts (32)

Quasi-category

In mathematics, more specifically , a quasi-category (also called quasicategory, weak Kan complex, inner Kan complex, infinity category, ∞-category, Boardman complex, quategory) is a generalization of the notion of a . The study of such generalizations is known as . Quasi-categories were introduced by . André Joyal has much advanced the study of quasi-categories showing that most of the usual basic and some of the advanced notions and theorems have their analogues for quasi-categories.

Cat

The cat (Felis catus) is a domestic species of small carnivorous mammal. It is the only domesticated species in the family Felidae and is commonly referred to as the domestic cat or house cat to distinguish it from the wild members of the family. Cats are commonly kept as house pets but can also be farm cats or feral cats; the feral cat ranges freely and avoids human contact. Domestic cats are valued by humans for companionship and their ability to kill vermin. About 60 cat breeds are recognized by various cat registries.

Map

A map is a symbolic depiction emphasizing relationships between elements of some space, such as objects, regions, or themes. Many maps are static, fixed to paper or some other durable medium, while others are dynamic or interactive. Although most commonly used to depict geography, maps may represent any space, real or fictional, without regard to context or scale, such as in brain mapping, DNA mapping, or computer network topology mapping.

Feral cat

A feral cat or a stray cat is an unowned domestic cat (Felis catus) that lives outdoors and avoids human contact: it does not allow itself to be handled or touched, and usually remains hidden from humans. Feral cats may breed over dozens of generations and become an aggressive local apex predator in urban, savannah and bushland environments. Some feral cats may become more comfortable with people who regularly feed them, but even with long-term attempts at socialization, they usually remain aloof and are most active after dusk.

Black cat

A black cat is a domestic cat with black fur that may be a mixed or specific breed, or a common domestic cat of no particular breed. The Cat Fanciers' Association (CFA) recognizes 22 cat breeds that can come with solid black coats. The Bombay breed is exclusively black. All-black fur pigmentation is slightly more prevalent in male cats than female cats. Most black cats have golden irises due to their high melanin pigment content. In popular myths, witches are believed to be associated with black cats.

Related lectures (64)

Adjunction between Simplicial Sets and Enriched Categories

Covers the adjunction between simplicial sets and simplicially enriched categories, including preservation of inclusions and construction of homotopy categories.

Quasi-Categories: Active Learning Session

Covers fibrant objects, lift of horns, and the adjunction between quasi-categories and Kan complexes, as well as the generalization of categories and Kan complexes.

Simplicial and Cosimplicial Objects: Examples and Applications

Covers simplicial and cosimplicial objects in category theory with practical examples.

Lifting properties and model categories

Covers the study of lifting properties in categories, focusing on the left and right lifting properties.

Homotopy Theory in Chain Complexes

Explores acyclic fibrations and cylinder objects in chain complexes.

Related concepts (32)