Adjoint functors | Monoidal categories
In category theory, a strong monad over a monoidal category (C, ⊗, I) is a monad (T, η, μ) together with a natural transformation tA,B : A ⊗ TB → T(A ⊗ B), called (tensorial) strength, such that the diagrams , ,, and commute for every object A, B and C (see Definition 3.2 in ). If the monoidal category (C, ⊗, I) is closed then a strong monad is the same thing as a C-enriched monad. (Wikipedia).
Chemistry - Acids & Bases Fundamentals (21 of 35) What Is A Strong Acid?
Visit http://ilectureonline.com for more math and science lectures! In this video I will explain "What is a strong acid?" (A "strong" acid is "weak".)
From playlist CHEMISTRY 22 ACIDS AND BASES
Strong Induction is a proof method that is a somewhat more general form of normal induction that let's us widen the set of claims we can prove. Our base case is not a single fact, but a list of all the facts up to a particular nth level. Then we demonstrate the (n+1)th level. Previous ex
From playlist Discrete Math (Full Course: Sets, Logic, Proofs, Probability, Graph Theory, etc)
IB Strong and Weak Acids and bases
IB SL Chemistry lesson on strong and weak acids and bases
From playlist IB Chemistry
What is the World's Strongest Organism?
Hint: It's incredibly gross.
From playlist Concerning Questions
Strong and Weak Alkali's | Acids, Bases & Alkali's | Chemistry | FuseSchool
An acid is a substance that will dissociate in water to give a proton (or H+ ion) and a conjugate base. An acid is considered to be strong if dissociation nears 100%, and weak if dissociation is usually less than 1%. In this lesson, we will learn about strong alkalis and weak alkalis.
From playlist CHEMISTRY: Acids, Bases & Alkalis
Proof by Strong Induction: If x + 1/x is an Integer Then x^n+1/x^n is an Integer
This video provides an example of proof by strong induction. mathispower4u.com
From playlist Sequences (Discrete Math)
Steve Awodey: Type theories and polynomial monads
Abstract: A system of dependent type theory T gives rise to a natural transformation p : Terms → Types of presheaves on the category Ctx of contexts, termed a "natural model of T". This map p in turn determines a polynomial endofunctor P : Ctxˆ → Ctxˆ on the category of all presheaves. It
From playlist Topology
LambdaConf 2015 - Give me Freedom or Forgeddaboutit Joseph Abrahamson
The Haskell community is often abuzz about free monads and if you stick around for long enough you'll also see notions of free monoids, free functors, yoneda/coyoneda, free seminearrings, etc. Clearly "freedom" is a larger concept than just Free f a ~ f (Free f) + a. This talk explores bri
From playlist LambdaConf 2015
Bruno Courcelle: Recognizable sets of graphs: algebraic and logical aspects
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 Mathematical Aspects of Computer Science
Okay but WTF is a MONAD?????? #SoME2
"A monad is a monoid in the category of endofunctors" Words dreamed up by the utterly insane!!! In this video I go over the common meme and explain it's origins and show many examples of monads out in the wild! This video is intended for anyone with programming experience who wants to fin
From playlist Summer of Math Exposition 2 videos
IB Chemistry Acids and bases Topic 8.4 Strong and weak acids and bases
IB Chemistry Acids and bases Topic 8.4 Strong and weak acids and bases Definitions and examples of what strong and weak acids and bases are. Full set of resources for topic 8: http://www.mrwengibchemistry.com 0:11 Strong and weak acids and bases 0:30 Examples of strong acids and bases 1
From playlist Topic 8/18 Acids and bases
Monadic Parsers at the Input Boundary
When reading a byte stream over the process I/O boundary, the first thing which everyone should do is to parse the byte stream with a monadic parser. The talk will discuss Processes and input byte streams. Monadic parsers. What they are and why they matter. The design and use of the pure
From playlist Functional Programming
Christopher TOWNSEND - There are categories of ‘spaces' that are not categories of locales
Abstract We described a short list of categorical axioms that make a category behave like the category of locales. In summary the axioms assert that the category has an object that behaves like the Sierpnski space and this object is double exponentiable. A number of the usual results of lo
From playlist Topos à l'IHES
ZuriHac 2016: Monad Homomorphisms
A Google TechTalk, July 23, 2016, presented by Edward Kmett ABSTRACT: The way that we use the monad transformer library today leads to code that has pathological performance problems. Can we do better? https://wiki.haskell.org/ZuriHac2016
From playlist ZuriHac 2016
LambdaConf 2015 - Lightning Talks
Hole-driven Development with GHC-mod - Alejandro Serrano Mena Code Literacy is Literacy Too - Gershom Bazerman Feel the Rush: CRDTs in Riak - Zeeshan Lakhani An ARM-Powered Musical Instrument Using Haskell - Ben Burdette Trampolines and Lifting: AKA Save Your Stack - Vincent Marquez A
From playlist LambdaConf 2015
Chemistry - Acids & Bases (31 of 45) Comparing Acid Strengths Using % Concentrations
Visit http://ilectureonline.com for more math and science lectures! In this video I will explain the % ionized of a strong, weak, weaker, and very weak acid.
From playlist CHEMISTRY 22 ACIDS AND BASES
Shadows of Computation - Lecture 7 - Because it's there
Welcome to Shadows of Computation, an online course taught by Will Troiani and Billy Snikkers, covering the foundations of category theory and how it is used by computer scientists to abstract computing systems to reveal their intrinsic mathematical properties. In the seventh lecture Will
From playlist Shadows of Computation
Fuming Nitric Acid vs. Lab Gloves
Fuming nitric acid is defined as having a concentration of HNO3 greater than 86%. This is much higher than the conventional 68% of common lab nitric acid. The reaction between the nitric acid and the nitrile and latex gloves is extremely exothermic and violent. It is often recommended to
From playlist Spontaneous Combustions
Watch more videos on http://www.brightstorm.com/science/chemistry SUBSCRIBE FOR All OUR VIDEOS! https://www.youtube.com/subscription_center?add_user=brightstorm2 VISIT BRIGHTSTORM.com FOR TONS OF VIDEO TUTORIALS AND OTHER FEATURES! http://www.brightstorm.com/ LET'S CONNECT! Facebook ► h
From playlist Chemistry
Asynchronous Primitives in JS | Promises and Async/Await | PureScript Abstractions | Fibers
In this introductory talk, we will look at Asynchronous programming primitives in JavaScript and PureScript from first principles, as well as how Purescript creates structure and principled approaches to asynchronous programming. PUBLICATION PERMISSIONS: Original video was published with
From playlist JavaScript