In mathematics, a category (sometimes called an abstract category to distinguish it from a concrete category) is a collection of "objects" that are linked by "arrows". A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A simple example is the category of sets, whose objects are sets and whose arrows are functions. Category theory is a branch of mathematics that seeks to generalize all of mathematics in terms of categories, independent of what their objects and arrows represent. Virtually every branch of modern mathematics can be described in terms of categories, and doing so often reveals deep insights and similarities between seemingly different areas of mathematics. As such, category theory provides an alternative foundation for mathematics to set theory and other proposed axiomatic foundations. In general, the objects and arrows may be abstract entities of any kind, and the notion of category provides a fundamental and abstract way to describe mathematical entities and their relationships. In addition to formalizing mathematics, category theory is also used to formalize many other systems in computer science, such as the semantics of programming languages. Two categories are the same if they have the same collection of objects, the same collection of arrows, and the same associative method of composing any pair of arrows. Two different categories may also be considered "equivalent" for purposes of category theory, even if they do not have precisely the same structure. Well-known categories are denoted by a short capitalized word or abbreviation in bold or italics: examples include Set, the category of sets and set functions; Ring, the category of rings and ring homomorphisms; and Top, the category of topological spaces and continuous maps. All of the preceding categories have the identity map as identity arrows and composition as the associative operation on arrows. The classic and still much used text on category theory is Categories for the Working Mathematician by Saunders Mac Lane. Other references are given in the below. The basic definitions in this article are contained within the first few chapters of any of these books. Any monoid can be understood as a special sort of category (with a single object whose self-morphisms are represented by the elements of the monoid), and so can any preorder. (Wikipedia).
What is a Category? | Nathan Dalaklis
Categories and Functors can be pretty mindboggling mathematical objects to wrap your head around if you're not used to abstract math, but they come up as useful tools to study different structures in mathematics and beyond. So... What is a Category? Here I introduce the definition of a Cat
From playlist The New CHALKboard
algebraic geometry 23 Categories
This lecture is part of an online algebraic geometry course, based on chapter I of "Algebraic geometry" by Hartshorne. It gives a quick review of category theory as background for the definition of morphisms of algebraic varieties.
From playlist Algebraic geometry I: Varieties
Formal Definition of a Function using the Cartesian Product
Learning Objectives: In this video we give a formal definition of a function, one of the most foundation concepts in mathematics. We build this definition out of set theory. **************************************************** YOUR TURN! Learning math requires more than just watching vid
From playlist Discrete Math (Full Course: Sets, Logic, Proofs, Probability, Graph Theory, etc)
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
Logic: The Structure of Reason
As a tool for characterizing rational thought, logic cuts across many philosophical disciplines and lies at the core of mathematics and computer science. Drawing on Aristotle’s Organon, Russell’s Principia Mathematica, and other central works, this program tracks the evolution of logic, be
From playlist Logic & Philosophy of Mathematics
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
Group Definition (expanded) - Abstract Algebra
The group is the most fundamental object you will study in abstract algebra. Groups generalize a wide variety of mathematical sets: the integers, symmetries of shapes, modular arithmetic, NxM matrices, and much more. After learning about groups in detail, you will then be ready to contin
From playlist Abstract Algebra
Huawei Young Talents Programme - Laurent Lafforgue
The online ceremony celebrating the official launch of the Huawei Young Talents Program at the Institut des Hautes Etudes Scientifiques was held on 6 November 2020. This program aims to support the work of talented researchers in mathematics and theoretical physics at the beginning of thei
From playlist Huawei Young Talents Program - November 2020
Benedikt Ahrens - Univalent Foundations and the UniMath library - IPAM at UCLA
Recorded 13 February 2023. Benedikt Ahrens of Delft University of Technology presents "Univalent Foundations and the UniMath library" at IPAM's Machine Assisted Proofs Workshop. Abstract: Univalent Foundations (UF) were designed by Voevodsky as a foundation of mathematics that is "invarian
From playlist 2023 Machine Assisted Proofs Workshop
Lecture 1: Invitation to topos theory
This talk introduces the motivating question for this semester of the Curry-Howard seminar, which is how to organise mathematical knowledge using topoi. The approach sketched out in the talk is via first-order theories, their associated classifying topoi, and adjoint pairs of functors betw
From playlist Topos theory seminar
Shadows of Computation - Lecture 1 - Making subtle ideas apparent
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 first lecture Will in
From playlist Shadows of Computation
Math Talk! Dr. Emily Riehl, to infinity categories and beyond.
In this video I have a lovely discussion with Dr. Emily Riehl about math, HoTT, infinity categories, and more! Dr. Riehl's site, with links to publications: https://emilyriehl.github.io/ Dr. Riehl's band, Unstraight: https://unstraightmusic.com/ Spectra: http://lgbtmath.org/
From playlist Math Talk!
Inernal Languages for Higher Toposes - Michael Shulman
Michael Shulman University of California, San Diego; Member, School of Mathematics October 3, 2012 For more videos, visit http://video.ias.edu
From playlist Mathematics
A Sensible Introduction to Category Theory
Remember when I used a video with a coconut in the thumbnail to drive a stake through the heart of mathematical structure? Today, in this introduction to the basics of category theory, I attempt to remove it. 27 Unhelpful Facts About Category Theory: https://www.youtube.com/watch?v=H0Ek86
From playlist Mathematics
Laurent Lafforgue - 1/4 Classifying toposes of geometric theories
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/LafforgueSlidesToposesOnline.pdf The purpose of these lectures will be to present the theory of classifying topose
From playlist Toposes online
Isomorphic Structures of any Kind are `Equal' in HoTT: But What... Structure? - Peter Aczel
Peter Aczel The Unviersity of Manchester; Member,School of Mathematics February 7, 2013 For more videos, visit http://video.ias.edu
From playlist Mathematics
This video explains what is taught in discrete mathematics.
From playlist Mathematical Statements (Discrete Math)