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
SYN_020 - Linguistic Micro-Lectures: Syntactic Trees
In this short micro-lecture, Aaron Cook, one of Prof. Handke's students, discusses the notion of the "syntactic tree", a central concept in syntax.
From playlist Micro-Lectures - Syntax
Category Theory 10.2: Monoid in the category of endofunctors
Monad as a monoid in the category of endofunctors
From playlist Category Theory
Synesthesia - Music Composition
My website: http://oliverlugg.com/ This piece began with the funky piano riff you can hear in the chorus, and grew from there. For those of you who may not know, Synesthesia is the condition of linking ideas within two methods of sensing, such as specific colours being attributed to music
From playlist Music Compositions
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
Volker Diekert: Recognizable languages are Church-Rosser congruential
Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b
From playlist SPECIAL 7th European congress of Mathematics Berlin 2016.
Monoids are everywhere in mathematics, but what are they? And why are they so useful? This video uses a simple example to show you exactly what the 4 rules of monoids are all about. I made this video for the 2021 Summer of Math Exposition. Enjoy! If you like this content, you can supp
From playlist Summer of Math Exposition Youtube Videos
Thomas Colcombet : Algebra vs Logic over (generalised) words
CONFERENCE Recording during the thematic meeting : « Discrete mathematics and logic: between mathematics and the computer science » the January 17, 2023 at the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Jean Petit Find this video and other talks give
From playlist Logic and Foundations
SYN_012 - Linguistic Micro-Lectures: Clauses
What is a clause and how can we define sentences in terms of clauses? Within less than two minutes Prof. Handke explains the most important aspects associated with this fundamental syntactic notion.
From playlist Micro-Lectures - Syntax
Stepan Kuznetsov: Relational models for the Lambek calculus with intersection and unit
HYBRID EVENT Recorded during the meeting "19th International Conference on Relational and Algebraic Methods in Computer Science" the November 5, 2021 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other t
From playlist Logic and Foundations
PROG2006: Haskell - effects, monoids, functors, applicative
PROG2006 Advanced Programming Haskell: effects (external vs. internal), monoids, functors, applicative Overview of unary/binary, associative binary, identity element. Introduction to monoids, functors and applicative.
From playlist PROG2006 - Programming
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
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
PROG2006 Advanced Programming Haskell - state, introduction Identity element Associative, Commutative operations Functor
From playlist PROG2006 - Programming
A Practical Introduction to Interpretations.
We give a definition that is necessary for the construction of Hodge Theaters.
From playlist Model Theory
Computing with Univalence - Daniel Licata
Daniel Licata Carnegie Mellon University; Member, School of Mathematics September 28, 2012 For more videos, visit http://video.ias.edu
From playlist Mathematics
Damiano Mazza: Heterodox exponential modalities in linear logic
HYBRID EVENT Recorded during the meeting Linear Logic Winter School" the January 28, 2022 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual
From playlist Logic and Foundations
SYN_011 - Linguistic Micro-Lectures: Case
What is case and how can we distinguish the various types of case used in the languages of the world? Within less than two minutes Prof. Handke explains the most important aspects associated with this fundamental syntactic notion. (Optional Spanish subtitles by Andrea Yaques, Lima, Peru)
From playlist Micro-Lectures - Syntax
Brian Beckman: Don't fear the Monad
Cross posted from msdn's channel 9. Functional programming is increasing in popularity these days given the inherent problems with shared mutable state that is rife in the imperative world. As we march on to a world of multi and many-core chipsets, software engineering must evolve to bett
From playlist Software Development Lectures
