Higher category theory

Weak n-category

In category theory, a weak n-category is a generalization of the notion of strict n-category where composition and identities are not strictly associative and unital, but only associative and unital up to . This generalisation only becomes noticeable at dimensions two and above where weak 2-, 3- and 4-categories are typically referred to as bicategories, tricategories, and tetracategories. The subject of weak n-categories is an area of ongoing research. (Wikipedia).

Video thumbnail

Ind and Pro Categories Associated to a Category

This is super basic. I ripped this off of ncatlab, one of the best websites on the planet.

From playlist Category Theory

Video thumbnail

Camell Kachour - Globular perspective for Grothendieck ∞-topos and Grothendieck (∞,n)-topos

In this short talk we first briefly recall [4] how to build, for each integers n0, monads Tn on the category Glob of globular sets which algebras are globular models of (1; n)-categories, which have the virtue to be weak 1-categories of Penon and thus also to be weak 1-categories of Batani

From playlist Topos à l'IHES

Video thumbnail

Weak Infinity Groupoids in HoTT - Guillaume Brunerie

Guillaume Brunerie School of Mathematics, IAS January 30, 2013 For more videos, visit http://video.ias.edu

From playlist Mathematics

Video thumbnail

Pierre Py - Complex geometry and higher finiteness properties of groups

Following C.T.C. Wall, we say that a group G is of type if it has a classifying space (a K(G,1)) whose n-skeleton is finite. When n=1 (resp. n=2) one recovers the condition of finite generation (resp. finite presentation). The study of examples of groups which are of type Fn-1 but not of

From playlist Geometry in non-positive curvature and Kähler groups

Video thumbnail

Category Theory 1.2: What is a category?

What is a Category?

From playlist Category Theory

Video thumbnail

Category Theory: The Beginner’s Introduction (Lesson 1 Video 4)

Lesson 1 is concerned with defining the category of Abstract Sets and Arbitrary Mappings. We also define our first Limit and Co-Limit: The Terminal Object, and the Initial Object. Other topics discussed include Duality and the Opposite (or Mirror) Category. These videos will be discussed

From playlist Category Theory: The Beginner’s Introduction

Video thumbnail

Derived Categories part 1

We give a buttload of definitions for morphisms on various categories of complexes. The derived category of an abelian category is a category whose objects are cochain complexes and whose morphisms I describe in this video.

From playlist Derived Categories

Video thumbnail

Lucile Vandembroucq (8/25/22): On the weak topological complexity and the TC-Ganea conjecture

By analogy with the classical Ganea conjecture, which has been disproved by N. Iwase, the TC-Ganea conjecture asks whether the equality TC(X x S^n)=TC(X)+TC(S^n) holds for all finite CW complexes X and all positive integers n. In a previous work in collaboration with J. González and M. Gra

From playlist Topological Complexity Seminar

Video thumbnail

Stable Homotopy Seminar, 7: Constructing Model Categories

A stroll through the recognition theorem for cofibrantly generated model categories, using it to construct (1) the Quillen/Serre model structure on topological spaces and (2) the levelwise model structure on spectra. The latter captures the idea that spectra are sequences of spaces, but no

From playlist Stable Homotopy Seminar

Video thumbnail

Homotopy Category As a Localization by Rekha Santhanam

PROGRAM DUALITIES IN TOPOLOGY AND ALGEBRA (ONLINE) ORGANIZERS: Samik Basu (ISI Kolkata, India), Anita Naolekar (ISI Bangalore, India) and Rekha Santhanam (IIT Mumbai, India) DATE & TIME: 01 February 2021 to 13 February 2021 VENUE: Online Duality phenomena are ubiquitous in mathematics

From playlist Dualities in Topology and Algebra (Online)

Video thumbnail

François Métayer: Homotopy theory of strict omega-categories and its connections with...Part 2

Abstract: In the first part, we describe the canonical model structure on the category of strict ω-categories and how it transfers to related subcategories. We then characterize the cofibrant objects as ω-categories freely generated by polygraphs and introduce the key notion of polygraphic

From playlist Topology

Video thumbnail

Simplicial Sets by Rekha Santhanam

PROGRAM DUALITIES IN TOPOLOGY AND ALGEBRA (ONLINE) ORGANIZERS: Samik Basu (ISI Kolkata, India), Anita Naolekar (ISI Bangalore, India) and Rekha Santhanam (IIT Mumbai, India) DATE & TIME: 01 February 2021 to 13 February 2021 VENUE: Online Duality phenomena are ubiquitous in mathematics

From playlist Dualities in Topology and Algebra (Online)

Video thumbnail

Charles Weibel: K-theory of algebraic varieties (Lecture 1)

The lecture was held within the framework of the Hausdorff Trimester Program: K-Theory and Related Fields. Charles Weibel: K theory of algebraic varieties Abstract: Lecture 1 will present definitions for the Waldhausen K-theory of rings, varieties, additive and exact categories, and dg c

From playlist HIM Lectures: Trimester Program "K-Theory and Related Fields"

Video thumbnail

Model Categories by Rekha Santhanam

PROGRAM DUALITIES IN TOPOLOGY AND ALGEBRA (ONLINE) ORGANIZERS: Samik Basu (ISI Kolkata, India), Anita Naolekar (ISI Bangalore, India) and Rekha Santhanam (IIT Mumbai, India) DATE & TIME: 01 February 2021 to 13 February 2021 VENUE: Online Duality phenomena are ubiquitous in mathematics

From playlist Dualities in Topology and Algebra (Online)

Video thumbnail

Ieke Moerdijk: An Introduction to Dendroidal Topology

Talk by Ieke Moerdijk in the Global Noncommutative Geometry Seminar (Americas) https://globalncgseminar.org/talks/an-introduction-to-dendroidal-topology/ on April 23, 2021.

From playlist Global Noncommutative Geometry Seminar (Americas)

Video thumbnail

Stable Homotopy Seminar, 4: Model categories (Ivo Vekemans)

This talk by Ivo Vekemans is a thorough introduction to model categories, presenting: weak factorization systems; the definition of model category and major examples (simplicial sets, topological spaces, and chain complexes); notions of homotopy in a model category, and the homotopy catego

From playlist Stable Homotopy Seminar

Video thumbnail

GT23. Composition and Classification

Abstract Algebra: We use composition series as another technique for studying finite groups, which leads to the notion of solvable groups and puts the focus on simple groups. From there, we survey the classification of finite simple groups and the Monster group.

From playlist Abstract Algebra

Video thumbnail

Introduction To Complete Segal Spaces by Rekha Santhanam

PROGRAM DUALITIES IN TOPOLOGY AND ALGEBRA (ONLINE) ORGANIZERS: Samik Basu (ISI Kolkata, India), Anita Naolekar (ISI Bangalore, India) and Rekha Santhanam (IIT Mumbai, India) DATE & TIME: 01 February 2021 to 13 February 2021 VENUE: Online Duality phenomena are ubiquitous in mathematics

From playlist Dualities in Topology and Algebra (Online)

Related pages

Bicategory | Model category | Quasi-category | Stabilization hypothesis | Opetope | Tricategory | Higher category theory | Category theory | Tetracategory | Up to | Simplicial set | N-category