Category theory | Type theory

Initial algebra

In mathematics, an initial algebra is an initial object in the category of F-algebras for a given endofunctor F. This initiality provides a general framework for induction and recursion. (Wikipedia).

Video thumbnail

A First Undergraduate Course in Abstract Algebra

This is an older book on Abstract Algebra. It is called A First Undergraduate Course in Abstract Algebra and it was written by Hillman and Alexanderson. Here is one version https://amzn.to/3ISQLNH Useful Math Supplies https://amzn.to/3Y5TGcv My Recording Gear https://amzn.to/3BFvcxp (the

From playlist Book Reviews

Video thumbnail

02 Introduction to sets

We start off by looking at the basics of sets.

From playlist Abstract algebra

Video thumbnail

Algebra for beginners || Basics of Algebra

In this course you will learn about algebra which is ideal for absolute beginners. #Algebra is the branch of mathematics that helps in the representation of problems or situations in the form of mathematical expressions. It involves variables like x, y, z, and mathematical operations like

From playlist Algebra

Video thumbnail

Intermediate Algebra-Sets

Intermediate Algebra-Sets

From playlist Intermediate Algebra

Video thumbnail

Definition of a group Lesson 24

In this video we take our first look at the definition of a group. It is basically a set of elements and the operation defined on them. If this set of elements and the operation defined on them obey the properties of closure and associativity, and if one of the elements is the identity el

From playlist Abstract algebra

Video thumbnail

Intermediate Algebra Lecture C.1: A BRIEF Review of Solving Equations and Factoring

https://www.patreon.com/ProfessorLeonard Intermediate Algebra Lecture C.1: A BRIEF Review of Solving Equations and Factoring

From playlist Intermediate Algebra (Full Length Videos)

Video thumbnail

16 You have made it to the first exciting video Operations

To be honest, the topics have been very dry up to now. Here is the first bit of excitement. Operations. Understanding operations is a fundamental priority in abstract algebra.

From playlist Abstract algebra

Video thumbnail

19. Differntial Algebraic Equations 3

MIT 10.34 Numerical Methods Applied to Chemical Engineering, Fall 2015 View the complete course: http://ocw.mit.edu/10-34F15 Instructor: James Swan Students continued to learn to solve differential algebraic equations, including the dynamic of DAEs and simulation. License: Creative Commo

From playlist MIT 10.34 Numerical Methods Applied to Chemical Engineering, Fall 2015

Video thumbnail

Semantics of Higher Inductive Types - Michael Shulman

Semantics of Higher Inductive Types Michael Shulman University of California, San Diego; Member, School of Mathematics February 27, 2013

From playlist Mathematics

Video thumbnail

Intermediate Algebra-Exponential Functions and Equations

Intermediate Algebra-Exponential Functions and Equations

From playlist Intermediate Algebra

Video thumbnail

Alexey Bufetov (Bonn) -- Cutoff profile of ASEP on a segment

The mixing behavior of the Asymmetric Simple Exclusion Process (=ASEP) on a segment will be discussed. We will show that its cutoff profile is given by the Tracy-Widom distribution function, which extends earlier results of Labbe-Lacoin and Benjamini-Berger-Hoffman-Mossel. We will also dis

From playlist Columbia Probability Seminar

Video thumbnail

Orbit of a set in abstract algebra

In this video we start to take a look at the orbit-stabilizer theorem. Our first stop is the orbit of a set. The orbit is created by taking an arbitrary element of a set and acting on that element by all the elements in the set of an an arbitrary group. In this video, we look at a few p

From playlist Abstract algebra

Video thumbnail

Gleb Pogudin 03/09/18 Part 1

Analyticity of power series solutions of algebraic ODEs

From playlist Spring 2018

Video thumbnail

Roberto La Scala, Università di Bari

Roberto La Scala, Università di Bari Ciphers and difference equations

From playlist Spring 2021 Online Kolchin Seminar in Differential Algebra

Video thumbnail

Alexey Bufetov: "Interacting particle systems and random walks on Hecke algebras"

Asymptotic Algebraic Combinatorics 2020 "Interacting particle systems and random walks on Hecke algebras" Alexey Bufetov - University of Bonn Abstract: Multi-species versions of several interacting particle systems, including ASEP, q-TAZRP, and k-exclusion processes, can be interpreted a

From playlist Asymptotic Algebraic Combinatorics 2020

Video thumbnail

Cluster algebras and dilogarithm identities (Lecture - 01) by Tomoki Nakanishi

PROGRAM SCHOOL ON CLUSTER ALGEBRAS ORGANIZERS: Ashish Gupta and Ashish K Srivastava DATE :08 December 2018 to 22 December 2018 VENUE: Madhava Lecture Hall, ICTS Bangalore In 2000, S. Fomin and A. Zelevinsky introduced Cluster Algebras as abstractions of a combinatoro-algebraic phenome

From playlist School on Cluster Algebras 2018

Video thumbnail

Mod-01 Lec-01 Introduction and Overview

Advanced Numerical Analysis by Prof. Sachin C. Patwardhan,Department of Chemical Engineering,IIT Bombay.For more details on NPTEL visit http://nptel.ac.in

From playlist IIT Bombay: Advanced Numerical Analysis | CosmoLearning.org

Video thumbnail

5/30/19 Maria Pia Saccomani

Structural Identifiability of Rational ODE Models in Biological Systems: a real-world application of differential algebra

From playlist Spring 2019 Kolchin Seminar

Video thumbnail

Algebra for Beginners | Basics of Algebra

#Algebra is one of the broad parts of mathematics, together with number theory, geometry and analysis. In its most general form, algebra is the study of mathematical symbols and the rules for manipulating these symbols; it is a unifying thread of almost all of mathematics. Table of Conten

From playlist Linear Algebra

Related pages

Parametricity | Inverse function | Ackermann function | Least fixed point | Catamorphism | Coinduction | Coproduct | Up to | Isomorphism | Data type | Duality (mathematics) | Domain of a function | Identity function | Homomorphism | Corecursion | Cons | List object | Actual infinity | Successor function | Natural number | Mathematics | Set (mathematics) | Anamorphism | F-algebra | Function (mathematics) | Mathematical induction | Singleton (mathematics) | Category (mathematics) | Functor | Tree (data structure) | Fold (higher-order function) | F-coalgebra | Partial function | Universal property | Algebraic data type | Binary tree | Recursion