Closed categories | Lambda calculus
In category theory, a category is Cartesian closed if, roughly speaking, any morphism defined on a product of two objects can be naturally identified with a morphism defined on one of the factors. These categories are particularly important in mathematical logic and the theory of programming, in that their internal language is the simply typed lambda calculus. They are generalized by closed monoidal categories, whose internal language, linear type systems, are suitable for both quantum and classical computation. (Wikipedia).
All About Closed Sets and Closures of Sets (and Clopen Sets) | Real Analysis
We introduced closed sets and clopen sets. We'll visit two definitions of closed sets. First, a set is closed if it is the complement of some open set, and second, a set is closed if it contains all of its limit points. We see examples of sets both closed and open (called "clopen sets") an
From playlist Real Analysis
Closed Intervals, Open Intervals, Half Open, Half Closed
00:00 Intro to intervals 00:09 What is a closed interval? 02:03 What is an open interval? 02:49 Half closed / Half open interval 05:58 Writing in interval notation
From playlist Calculus
Locally Cartesian Closed Infinity Categories - Joachim Kock
Joachim Kock Universitat Autonoma de Barcelona February 21, 2013 For more videos, visit http://video.ias.edu
From playlist Mathematics
Cartesian Products with Empty Sets | Set Theory, Cartesian Product of Sets, Empty Set
How do Cartesian products work with empty sets? Cartesian products are great and all, but we cannot eagerly dive into working with them without making sure we know how to deal with Cartesian products when empty sets are involved. We go over that in today's math lesson! Recall that the Car
From playlist Set Theory
CARTESIAN PRODUCTS and ORDERED PAIRS - DISCRETE MATHEMATICS
We introduce ordered pairs and cartesian products. We also look at the definition of n-tuples and the cardinatliy of cartesian products. LIKE AND SHARE THE VIDEO IF IT HELPED! Support me on Patreon: http://bit.ly/2EUdAl3 Visit our website: http://bit.ly/1zBPlvm Subscribe on YouTube: http
From playlist Discrete Math 1
I define closed sets, an important notion in topology and analysis. It is defined in terms of limit points, and has a priori nothing to do with open sets. Yet I show the important result that a set is closed if and only if its complement is open. More topology videos can be found on my pla
From playlist Topology
Lecture 5: The definition of a topos (Part 2)
A topos is a Cartesian closed category with all finite limits and a subobject classifier. In his two seminar talks (of which this is the second) James Clift will explain all of these terms in detail. In his first talk he defined products, pullbacks, general limits, and exponentials and in
From playlist Topos theory seminar
Cartesian Product of Two Sets A x B
Learning Objectives: 1) Define an ordered pair 2) Define the Cartesian Product of two sets 3) Find all the elements in a Cartesian Product **************************************************** YOUR TURN! Learning math requires more than just watching videos, so make sure you reflect, ask q
From playlist Discrete Math (Full Course: Sets, Logic, Proofs, Probability, Graph Theory, etc)
Charles Rezk - 3/4 Higher Topos Theory
Course at the school and conference “Toposes online” (24-30 June 2021): https://aroundtoposes.com/toposesonline/ Slides: https://aroundtoposes.com/wp-content/uploads/2021/07/RezkNotesToposesOnlinePart3.pdf In this series of lectures I will give an introduction to the concept of "infinity
From playlist Toposes online
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
Paul André Melliès - Dialogue Games and Logical Proofs in String Diagrams
After a short introduction to the functorial approach to logical proofs and programs initiated by Lambek in the late 1960s, based on the notion of free cartesian closed category, we will describe a recent convergence with the notion of ribbon category introduced in 1990 by Reshetikhin and
From playlist Combinatorics and Arithmetic for Physics: 02-03 December 2020
Lecture 2: The Curry-Howard correspondence
This talk gives an elementary introduction to some central ideas in the theory of computation, including lambda calculus and its relation to category theory. The aim was to get to the statement of the Curry-Howard correspondence, but we ran out of time; at some point there will be another
From playlist Topos theory seminar
David Ayala: Factorization homology (part 2)
The lecture was held within the framework of the Hausdorff Trimester Program: Homotopy theory, manifolds, and field theories and Introductory School (7.5.2015)
From playlist HIM Lectures 2015
Higher Algebra 9: Symmetric monoidal infinity categories
In this video, we introduce the notion of a symmetric monoidal infinity categories and give some examples. Feel free to post comments and questions at our public forum at https://www.uni-muenster.de/TopologyQA/index.php?qa=tc-lecture Homepage with further information: https://www.uni-mu
From playlist Higher Algebra
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
On Voevodsky's univalence principle - André Joyal
Vladimir Voevodsky Memorial Conference Topic: On Voevodsky's univalence principle Speaker: André Joyal Affiliation: Université du Québec á Montréal Date: September 11, 2018 For more video please visit http://video.ias.edu
From playlist Mathematics
Math 131 091416 Uncountable Sets; Basic Topology
Cartesian product of uncountable sets is uncountable; Cantor's diagonal process; metric spaces; basic topological notions (limit point, isolated point, closed set, interior point, open set); set is closed iff its complement is open
From playlist Course 7: (Rudin's) Principles of Mathematical Analysis
Towards elementary infinity-toposes - Michael Shulman
Vladimir Voevodsky Memorial Conference Topic: Towards elementary infinity-toposes Speaker: Michael Shulman Affiliation: University of San Diego Date: September 13, 2018 For more video please visit http://video.ias.edu
From playlist Mathematics