Categories 6 Monoidal categories
This lecture is part of an online course on categories. We define strict monoidal categories, and then show how to relax the definition by introducing coherence conditions to define (non-strict) monoidal categories. We finish by defining symmetric monoidal categories and showing how super
From playlist Categories for the idle mathematician
Higher Algebra 9: Symmetric monoidal infinity categories
In this video, we introduce the notion of a symmetric monoidal infinity categories and give some examples. Feel free to post comments and questions at our public forum at https://www.uni-muenster.de/TopologyQA/index.php?qa=tc-lecture Homepage with further information: https://www.uni-mu
From playlist Higher Algebra
Category Theory 10.2: Monoid in the category of endofunctors
Monad as a monoid in the category of endofunctors
From playlist Category Theory
Category theory for JavaScript programmers #24: monoidal functors
http://jscategory.wordpress.com/source-code/
From playlist Category theory for JavaScript programmers
Geometry of Frobenioids - part 2 - (Set) Monoids
This is an introduction to the basic properties of Monoids. This video intended to be a starting place for log-schemes, Mochizuki's IUT or other absolute geometric constructions using monoids.
From playlist Geometry of Frobenioids
François Métayer: Homotopy theory of strict omega-categories and its connections with...Part 3
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
François Métayer: Homotopy theory of strict omega-categories and its connections with...Part 1
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
The affine Hecke category is a monoidal colimit - James Tao
Geometric and Modular Representation Theory Seminar Topic: The affine Hecke category is a monoidal colimit Speaker: James Tao Affiliation: Massachusetts Institute of Technology Date: February 24, 2021 For more video please visit http://video.ias.edu
From playlist Seminar on Geometric and Modular Representation Theory
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)
Eugenia Cheng: "The periodic table of n-categories"
Speaker: Eugenia Cheng (University of Sheffield) Title: The periodic table of n-categories Event: Categories, Logic and Foundations of Physics IV (January 2009, Imperial College London) Slides: http://www.cs.ox.ac.uk/quantum/slides/clap4-eugeniacheng.pdf Abstract: Degenerate n-categories
From playlist Software Development Lectures
Benno van den Berg: Univalent polymorphism
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: We show that Martin Hyland's effective topos can be exhibited as the homotopy category of a path category EFF. Path categories are categories of fibrant objects in the se
From playlist Workshop: "Types, Homotopy, Type theory, and Verification"
Representation Theory & Categorification II - Catharina Stroppel
2021 Women and Mathematics - Uhlenbeck Course Lecture Topic: Representation Theory & Categorification II Speaker: Catharina Stroppel Affiliation: University of Bonn Date: May 25, 2021 In modern representation theory we often study the category of modules over an algebra, in particular i
From playlist Mathematics
Tom Leinster : The categorical origins of entropy
Recording during the thematic meeting : "Geometrical and Topological Structures of Information" the August 29, 2017 at the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent
From playlist Geometry
Geordie Williamson: Langlands and Bezrukavnikov II Lecture 15
SMRI Seminar Series: 'Langlands correspondence and Bezrukavnikov’s equivalence' Geordie Williamson (University of Sydney) Abstract: The second part of the course focuses on affine Hecke algebras and their categorifications. Last year I discussed the local Langlands correspondence in bro
From playlist Geordie Williamson: Langlands correspondence and Bezrukavnikov’s equivalence
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