Categories in category theory | Objects (category theory) | Monoidal categories
In category theory, a branch of mathematics, a monoid (or monoid object, or internal monoid, or algebra) (M, μ, η) in a monoidal category (C, ⊗, I) is an object M together with two morphisms * μ: M ⊗ M → M called multiplication, * η: I → M called unit, such that the pentagon diagram and the unitor diagram commute. In the above notation, 1 is the identity morphism of M, I is the unit element and α, λ and ρ are respectively the associativity, the left identity and the right identity of the monoidal category C. Dually, a comonoid in a monoidal category C is a monoid in the dual category Cop. Suppose that the monoidal category C has a symmetry γ. A monoid M in C is commutative when μ o γ = μ. (Wikipedia).
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
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 3.1: Examples of categories, orders, monoids
Examples of categories, orders, monoids.
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
Category theory for JavaScript programmers #16: monoid homomorphisms
http://jscategory.wordpress.com/source-code/ We can make a category from any collection of mathematical gadgets like monoids and the structure-preserving functions between them.
From playlist Category theory for JavaScript programmers
Category theory for JavaScript programmers #23: categorification, monoidal categories
http://jscategory.wordpress.com/source-code/
From playlist Category theory for JavaScript programmers
Category theory for JavaScript programmers #18: partial orders as categories
http://jscategory.wordpress.com/source-code/
From playlist Category theory for JavaScript programmers
Matt SZCZESNY - Toric Hall Algebras and infinite-dimentional Lie algebras
The process of counting extensions in categories yields an associative (and sometimes Hopf) algebra called a Hall algebra. Applied to the category of Feynman graphs, this process recovers the Connes-Kreimer Hopf algebra. Other examples abound, yielding various combinatorial Hopf algebras.
From playlist Algebraic Structures in Perturbative Quantum Field Theory: a conference in honour of Dirk Kreimer's 60th birthday
Substructural Type Theory - Zeilberger
Noam Zeilberger IMDEA Software Institute; Member, School of Mathematics March 22, 2013 For more videos, visit http://video.ias.edu
From playlist Mathematics
Foundations S2 - Seminar 9 - Morgan Rogers on Morita equivalences and topological monoids
In this guest lecture, Morgan Rogers presents some results on topological monoids, topoi and Morita equivalences. Abstract: This talk presents the story which convinced me that logic has something positive to contribute in resolving questions in other areas of mathematics. Groups (and mor
From playlist Foundations seminar
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
Sam Gunningham: Character stacks and (q−)geometric representation theory
Abstract: I will discuss applications of geometric representation theory to topological and quantum invariants of character stacks. In particular, I will explain how generalized Springer correspondence for class D-modules and Koszul duality for Hecke categories encode surprising structure
From playlist Algebraic and Complex Geometry
Jack Morava: On the group completion of the Burau representation
Abstract: On fundamental groups, the discriminant ∏i≠k(zi – zk) ∈ C^× of a finite collection of points of the plane defines the abelianization homomorphism sending a braid to its number of overcrossings less undercrossings or writhe. In terms of diffeomorphisms of the punctured plane, it
From playlist SMRI Algebra and Geometry Online
Huanhuan Li: Graded and filtered K-theory for Leavitt path algebras
Talk by Huanhuan Li in the Global Noncommutative Geometry Seminar (Americas) on December 2, 2022, https://globalncgseminar.org/talks/tba-43/
From playlist Global Noncommutative Geometry Seminar (Americas)
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)
Alon Nissan-Cohen: Towards an ∞-categorical version of real THH
The lecture was held within the framework of the (Junior) Hausdorff Trimester Program Topology: "Workshop: Hermitian K-theory and trace methods" Following Hesselholt and Madsen's development of the so-called "real" (i.e. Z/2-equivariant) version of algebraic K-theory, Dotto developed a th
From playlist HIM Lectures: Junior Trimester Program "Topology"
Category Theory 2.2: Monomorphisms, simple types
Monomorphisms, simple types.
From playlist Category Theory