Category theory | Monoidal categories
In mathematics, specifically in the field known as category theory, a monoidal category where the monoidal ("tensor") product is the categorical product is called a cartesian monoidal category. Any category with finite products (a "finite product category") can be thought of as a cartesian monoidal category. In any cartesian monoidal category, the terminal object is the monoidal unit. Dually, a monoidal finite coproduct category with the monoidal structure given by the coproduct and unit the initial object is called a cocartesian monoidal category, and any finite coproduct category can be thought of as a cocartesian monoidal category. Cartesian categories with an internal Hom functor that is an adjoint functor to the product are called Cartesian closed categories. (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
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
Multivariable Calculus | What is a vector field.
We introduce the notion of a vector field and give some graphical examples. We also define a conservative vector field with examples. http://www.michael-penn.net http://www.randolphcollege.edu/mathematics/
From playlist Multivariable Calculus
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
What are Hyperbolas? | Ch 1, Hyperbolic Trigonometry
This is the first chapter in a series about hyperbolas from first principles, reimagining trigonometry using hyperbolas instead of circles. This first chapter defines hyperbolas and hyperbolic relationships and sets some foreshadowings for later chapters This is my completed submission t
From playlist Summer of Math Exposition 2 videos
Hyperbola 3D Animation | Objective conic hyperbola | Digital Learning
Hyperbola 3D Animation In mathematics, a hyperbola is a type of smooth curve lying in a plane, defined by its geometric properties or by equations for which it is the solution set. A hyperbola has two pieces, called connected components or branches, that are mirror images of each other an
From playlist Maths Topics
Introduction to the terms locus, focus, directrix, line of symmetry, vertex, maximum and minimum
From playlist Geometry
Higher Algebra 10: E_n-Algebras
In this video we introduce E_n-Algebras in arbitrary symmetric monoidal infinity-categories. These interpolate between associated algebras (= E_1) and commutative algebras (= E_infinity). We also establish some categorical properties and investigate the case of the symmetric monoidal infin
From playlist Higher Algebra
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
Category theory for JavaScript programmers #27: string diagrams
http://jscategory.wordpress.com/source-code/
From playlist Category theory for JavaScript programmers
Jules Hedges - compositional game theory - part I
Compositional game theory is an approach to game theory that is designed to have better mathematical (loosely “algebraic” and “geometric”) properties, while also being intended as a practical setting for microeconomic modelling. It gives a graphical representation of games in which the flo
From playlist compositional game theory
Paul-André Melliès - A Functorial Excursion between Algebraic Geometry and Linear Logic
In this talk, I will use the functor of points approach to Algebraic Geometry to establish that every covariant presheaf X on the category of commutative rings — and in particular every scheme X — comes equipped “above it” with a symmetric monoidal closed category PshModX of presheaves of
From playlist Combinatorics and Arithmetic for Physics: special days
Paul André Melliès - Dialogue Games and Logical Proofs in String Diagrams
After a short introduction to the functorial approach to logical proofs and programs initiated by Lambek in the late 1960s, based on the notion of free cartesian closed category, we will describe a recent convergence with the notion of ribbon category introduced in 1990 by Reshetikhin and
From playlist Combinatorics and Arithmetic for Physics: 02-03 December 2020
Charles Rezk - 3/4 Higher Topos Theory
Course at the school and conference “Toposes online” (24-30 June 2021): https://aroundtoposes.com/toposesonline/ Slides: https://aroundtoposes.com/wp-content/uploads/2021/07/RezkNotesToposesOnlinePart3.pdf In this series of lectures I will give an introduction to the concept of "infinity
From playlist Toposes online
Olivia Caramello - 2/4 ntroduction to categorical logic, classifying toposes...
Introduction to categorical logic, classifying toposes and the « bridge » technique Construction of classifying toposes for geometric theories. Duality between the subtoposes of the classifying topos of a geometric theory and the quotients of the theory. Transfer of topos‐the
From playlist Topos à l'IHES
Patrick Popescu Pampu: A proof of Neumann-Wahl Milnor fibre Conjecture via logarithmic...- Lecture 4
HYBRID EVENT Recorded during the meeting "Milnor Fibrations, Degenerations and Deformations from Modern Perspectives" the September 10, 2021 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given
From playlist Algebraic and Complex Geometry