Composite data types | Type theory | Data types

Generalized algebraic data type

In functional programming, a generalized algebraic data type (GADT, also first-class phantom type, guarded recursive datatype, or equality-qualified type) is a generalization of parametric algebraic data types. (Wikipedia).

Video thumbnail

What are the Types of Numbers? Real vs. Imaginary, Rational vs. Irrational

We've mentioned in passing some different ways to classify numbers, like rational, irrational, real, imaginary, integers, fractions, and more. If this is confusing, then take a look at this handy-dandy guide to the taxonomy of numbers! It turns out we can use a hierarchical scheme just lik

From playlist Algebra 1 & 2

Video thumbnail

Algebraic Structures: Groups, Rings, and Fields

This video covers the definitions for some basic algebraic structures, including groups and rings. I give examples of each and discuss how to verify the properties for each type of structure.

From playlist Abstract Algebra

Video thumbnail

AlgTopReview: An informal introduction to abstract algebra

This is a review lecture on some aspects of abstract algebra useful for algebraic topology. It provides some background on fields, rings and vector spaces for those of you who have not studied these objects before, and perhaps gives an overview for those of you who have. Our treatment is

From playlist Algebraic Topology

Video thumbnail

Data Science, Machine Learning, and AI: What's the Difference?

In this video, I talk about the similarities and differences between Data Science, Machine Learning, and Artificial intelligence. #DataScience #MachineLearning #AI kennethjee.com https://github.com/PlayingNumbers https://medium.com/@kenneth.b.jee Data Science - An ensemble field that c

From playlist Data Science

Video thumbnail

C07 Homogeneous linear differential equations with constant coefficients

An explanation of the method that will be used to solve for higher-order, linear, homogeneous ODE's with constant coefficients. Using the auxiliary equation and its roots.

From playlist Differential Equations

Video thumbnail

23 Algebraic system isomorphism

Isomorphic algebraic systems are systems in which there is a mapping from one to the other that is a one-to-one correspondence, with all relations and operations preserved in the correspondence.

From playlist Abstract algebra

Video thumbnail

Data Structures (1 of 2)

Introductory coverage of fundamental data structures. Part of a larger series teaching programming. Visit http://codeschool.org

From playlist Data Structures

Video thumbnail

Number theory Full Course [A to Z]

Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure #mathematics devoted primarily to the study of the integers and integer-valued functions. Number theorists study prime numbers as well as the properties of objects made out of integers (for example, ratio

From playlist Number Theory

Video thumbnail

Sets and other data structures | Data Structures in Mathematics Math Foundations 151

In mathematics we often want to organize objects. Sets are not the only way of doing this: there are other data types that are also useful and that can be considered together with set theory. In particular when we group objects together, there are two fundamental questions that naturally a

From playlist Math Foundations

Video thumbnail

Rinat Kedem: From Q-systems to quantum affine algebras and beyond

Abstract: The theory of cluster algebras has proved useful in proving theorems about the characters of graded tensor products or Demazure modules, via the Q-system. Upon quantization, the algebra associated with this system is shown to be related to a quantum affine algebra. Graded charact

From playlist Mathematical Physics

Video thumbnail

Why Algebraic Data Types Are Important

Strong static typing detects a lot of bugs at compile time, so why would anyone prefer to program in JavaScript or Python? The main reason is that type systems can be extremely complex, often with byzantine typing rules (C++ comes to mind). This makes generic programming a truly dark art.

From playlist Functional Programming

Video thumbnail

Toward Higher Inductive Types - Michael Shulman

Michael Shulman University of California, San Diego; Member, School of Mathematics November 14, 2012 For more videos, visit http://video.ias.edu

From playlist Mathematics

Video thumbnail

Joel Kamnitzer - Symplectic Resolutions, Coulomb Branches, and 3d Mirror Symmetry 5/5

In the 21st century, there has been a great interest in the study of symplectic resolutions, such as cotangent bundles of flag varieties, hypertoric varieties, quiver varieties, and affine Grassmannian slices. Mathematicians, especially Braden-Licata-Proudfoot-Webster, and physicists obser

From playlist 2021 IHES Summer School - Enumerative Geometry, Physics and Representation Theory

Video thumbnail

Affine Springer Fiber and Representation Theory of W algebra by Dan Xie

PROGRAM : QUANTUM FIELDS, GEOMETRY AND REPRESENTATION THEORY 2021 (ONLINE) ORGANIZERS : Aswin Balasubramanian (Rutgers University, USA), Indranil Biswas (TIFR, india), Jacques Distler (The University of Texas at Austin, USA), Chris Elliott (University of Massachusetts, USA) and Pranav Pan

From playlist Quantum Fields, Geometry and Representation Theory 2021 (ONLINE)

Video thumbnail

David Meyer (1/30/18): Some algebraic stability theorems for generalized persistence modules

From an algebraic point of view, generalized persistence modules can be interpreted as finitely-generated modules for a poset algebra. We prove an algebraic analogue of the isometry theorem of Bauer and Lesnick for a large class of posets. This theorem shows that for such posets, the int

From playlist AATRN 2018

Video thumbnail

Geoffroy Horel - Knots and Motives

The pure braid group is the fundamental group of the space of configurations of points in the complex plane. This topological space is the Betti realization of a scheme defined over the integers. It follows, by work initiated by Deligne and Goncharov, that the pronilpotent completion of th

From playlist Summer School 2020: Motivic, Equivariant and Non-commutative Homotopy Theory

Video thumbnail

Machine- Learning the Landscape (Lecture 1) by Yang-Hui He

PROGRAM KAVLI ASIAN WINTER SCHOOL (KAWS) ON STRINGS, PARTICLES AND COSMOLOGY (ONLINE) ORGANIZERS Francesco Benini (SISSA, Italy), Bartek Czech (Tsinghua University, China), Dongmin Gang (Seoul National University, South Korea), Sungjay Lee (Korea Institute for Advanced Study, South Korea

From playlist Kavli Asian Winter School (KAWS) on Strings, Particles and Cosmology (ONLINE) - 2022

Related pages

Type class | Type variable | Parametric polymorphism | Scala (programming language) | Invariant (computer science) | Higher-order abstract syntax | Type inference | Undecidable problem | Principal type | Generic programming | Type reconstruction | Existential type | Algebraic data type | Simply typed lambda calculus | Coq