Foundations of mathematics | Categories in category theory | Basic concepts in set theory

Category of sets

In the mathematical field of category theory, the category of sets, denoted as Set, is the category whose objects are sets. The arrows or morphisms between sets A and B are the total functions from A to B, and the composition of morphisms is the composition of functions. Many other categories (such as the category of groups, with group homomorphisms as arrows) add structure to the objects of the category of sets and/or restrict the arrows to functions of a particular kind. (Wikipedia).

Video thumbnail

Introduction to Sets and Set Notation

This video defines a set, special sets, and set notation.

From playlist Sets (Discrete Math)

Video thumbnail

Introduction to sets || Set theory Overview - Part 2

A set is the mathematical model for a collection of different things; a set contains elements or members, which can be mathematical objects of any kind: numbers, symbols, points in space, lines, other geometrical shapes, variables, or even other #sets. The #set with no element is the empty

From playlist Set Theory

Video thumbnail

Introduction to sets || Set theory Overview - Part 1

A set is the mathematical model for a collection of different things; a set contains elements or members, which can be mathematical objects of any kind: numbers, symbols, points in space, lines, other geometrical shapes, variables, or even other #sets. The #set with no element is the empty

From playlist Set Theory

Video thumbnail

Introduction to Set Theory (Discrete Mathematics)

Introduction to Set Theory (Discrete Mathematics) This is a basic introduction to set theory starting from the very beginning. This is typically found near the beginning of a discrete mathematics course in college or at the beginning of other advanced mathematics courses. ***************

From playlist Set Theory

Video thumbnail

9.3.1 Sets: Definitions and Notation

9.3.1 Sets: Definitions and Notation

From playlist LAFF - Week 9

Video thumbnail

Introduction to Set Theory

This video introduces the basic vocabulary used in set theory. http://mathispower4u.wordpress.com/

From playlist Sets

Video thumbnail

How to Identify the Elements of a Set | Set Theory

Sets contain elements, and sometimes those elements are sets, intervals, ordered pairs or sequences, or a slew of other objects! When a set is written in roster form, its elements are separated by commas, but some elements may have commas of their own, making it a little difficult at times

From playlist Set Theory

Video thumbnail

Category Theory 3.1: Examples of categories, orders, monoids

Examples of categories, orders, monoids.

From playlist Category Theory

Video thumbnail

Charles Rezk - 1/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/RezkNotesToposesOnlinePart1.pdf In this series of lectures I will give an introduction to the concept of "infinity

From playlist Toposes online

Video thumbnail

Category Theory 1.2 : Examples of Categories and Clarification

In this video, I clarify some terminology, and show some very important examples of categories. This includes the category of groups, sets, topologic spaces, monoids, modules, and rings. I also discuss the relation between categories and individual groups, preorders, matrices, and ordinals

From playlist Category Theory

Video thumbnail

Categories 1 Introduction

This lecture is part of an online course on Category theory This is the introductory lecture, where we give a few examples of categories and define them. The lectures were originally part of a graduate algebra course, and give a quick overview of the basic category theory that is useful

From playlist Categories for the idle mathematician

Video thumbnail

Higher Algebra 1: ∞-Categories

In this video, we introduce ∞-categories. This is the first of a series of videos towards a reasonably non-technical overview over stable ∞-categories and Higher Algebra, which are intended to be watchable independently from the main lecture. Further resources: M.Boardman and R.Vogt. Homo

From playlist Higher Algebra

Video thumbnail

Category Theory 9.2: bicategories

2-categories, bicategories

From playlist Category Theory

Video thumbnail

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

Video thumbnail

Stable Homotopy Seminar, 14: The stable infinity-category of spectra

I give a brief introduction to infinity-categories, including their models as simplicially enriched categories and as quasi-categories, and some categorical constructions that also make sense for infinity-categories. I then describe what it means for an infinity-category to be stable and h

From playlist Stable Homotopy Seminar

Video thumbnail

Viktoriya Ozornova: Equivalences in higher categories

CONFERENCE Recording during the thematic meeting : « Chromatic Homotopy, K-Theory and Functors» the January 24, 2023 at the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Jean Petit Find this video and other talks given by worldwide mathematicians on CIR

From playlist Topology

Video thumbnail

Set Theory (Part 3): Ordered Pairs and Cartesian Products

Please feel free to leave comments/questions on the video and practice problems below! In this video, I cover the Kuratowski definition of ordered pairs in terms of sets. This will allow us to speak of relations and functions in terms of sets as the basic mathematical objects and will ser

From playlist Set Theory by Mathoma

Video thumbnail

Categories 2: Functors

This lecture is part of an online course on category theory. We define functors and give some examples of them. For the other lectures in the course see https://www.youtube.com/playlist?list=PL8yHsr3EFj51F9XZ_Ka4bLnQoxTdMx0AL

From playlist Categories for the idle mathematician

Related pages

Complete category | Set theory | Hereditarily finite set | Category of topological spaces | Identity function | Additive category | Topos | Preadditive category | Exponential object | Product (category theory) | Empty set | Direct limit | Zermelo–Fraenkel set theory | Disjoint union | Injective object | Projective module | Regular category | Grothendieck universe | Tarski–Grothendieck set theory | Abelian category | Associative property | Mathematics | Set (mathematics) | Cartesian product | Category theory | Singleton (mathematics) | Category (mathematics) | Morphism | Concrete category | Monomorphism | Functor category | Accessible category | Cartesian closed category | Category of groups | Epimorphism | Function composition | Subobject classifier | Power set | Small set (category theory)