In category theory, monoidal functors are functors between monoidal categories which preserve the monoidal structure. More specifically, a monoidal functor between two monoidal categories consists of a functor between the categories, along with two coherence maps—a natural transformation and a morphism that preserve monoidal multiplication and unit, respectively. Mathematicians require these coherence maps to satisfy additional properties depending on how strictly they want to preserve the monoidal structure; each of these properties gives rise to a slightly different definition of monoidal functors * The coherence maps of lax monoidal functors satisfy no additional properties; they are not necessarily invertible. * The coherence maps of strong monoidal functors are invertible. * The coherence maps of strict monoidal functors are identity maps. Although we distinguish between these different definitions here, authors may call any one of these simply monoidal functors. (Wikipedia).
Category theory for JavaScript programmers #24: monoidal functors
http://jscategory.wordpress.com/source-code/
From playlist Category theory for JavaScript programmers
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
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 is the definition of a monomial and polynomials with examples
👉 Learn how to classify polynomials based on the number of terms as well as the leading coefficient and the degree. When we are classifying polynomials by the number of terms we will focus on monomials, binomials, and trinomials, whereas classifying polynomials by the degree will focus on
From playlist Classify Polynomials
Category Theory 10.2: Monoid in the category of endofunctors
Monad as a monoid in the category of endofunctors
From playlist Category Theory
Polynomials - Classifying Monomials, Binomials & Trinomials - Degree & Leading Coefficient
This algebra video tutorial provides a basic introduction into polynomials. It explains how to identify a monomial, binomial, and a trinomial according to the number of terms present in an algebraic expression. it also explains how to identify all of the terms in a polynomial as well as
From playlist New Algebra Playlist
Determine if an Expression is a Polynomial
This video explains how to determine if an expression is a polynomial.
From playlist Introduction to Polynomials
Higher Algebra 13: The Tate diagonal
In this video we discuss the Tate diagonal, which is a surprising feature of the world of spectra. For further details on this construction, see https://arxiv.org/pdf/1707.01799.pdf, section III.1. Feel free to post comments and questions at our public forum at https://www.uni-muenster
From playlist Higher Algebra
How to Multiply a Monomial by a Trinomial Using Distributive Property
👉 Learn how to multiply polynomials. We apply the distributive property to polynomials by multiplying a monomial to every term in a polynomial. When multiplying monomials it is important that we multiply the coefficients and apply the rules of exponents to add the powers of each variable.
From playlist How to Multiply Polynomials
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
Lecture 7: Hochschild homology in ∞-categories
In this video, we construct Hochschild homology in an arbitrary symmetric-monoidal ∞-category. The most important special case is the ∞-category of spectra, in which we get Topological Hochschild homology. Feel free to post comments and questions at our public forum at https://www.uni-mu
From playlist Topological Cyclic Homology
Two Geometric Realizations of the Affine Hecke Algebra IPablo Boixeda Alvarez
Geometric and Modular Representation Theory Seminar Topic: Two Geometric Realizations of the Affine Hecke Algebra I Speaker: Pablo Boixeda Alvarez Affiliation: Member, School of Mathematics Date: March 10, 2021 For more video please visit http://video.ias.edu
From playlist Seminar on Geometric and Modular Representation Theory
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
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
RailsConf 2022 - Functional Programming in Plain Terms by Eric Weinstein
Have you ever wanted to know what a monad is? How about a functor? What about algebraic data types and parametric polymorphism? If you've been interested in these ideas but scared off by the language, you're not alone: for an approach that champions composing simple pieces, functional prog
From playlist RailsConf 2022
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