Functors

Diagram (category theory)

In category theory, a branch of mathematics, a diagram is the categorical analogue of an indexed family in set theory. The primary difference is that in the categorical setting one has morphisms that also need indexing. An indexed family of sets is a collection of sets, indexed by a fixed set; equivalently, a function from a fixed index set to the class of sets. A diagram is a collection of objects and morphisms, indexed by a fixed category; equivalently, a functor from a fixed index category to some category. The universal functor of a diagram is the diagonal functor; its right adjoint is the limit of the diagram and its left adjoint is the colimit. The natural transformation from the diagonal functor to some arbitrary diagram is called a cone. (Wikipedia).

Video thumbnail

Category Theory 3.1: Examples of categories, orders, monoids

Examples of categories, orders, monoids.

From playlist Category Theory

Video thumbnail

Category Theory 1.2: What is a category?

What is a Category?

From playlist Category Theory

Video thumbnail

Category Theory 2.1: Functions, epimorphisms

Functions, epimorphisms

From playlist Category Theory

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

Category Theory: The Beginner’s Introduction (Lesson 1 Video 2)

Lesson 1 is concerned with defining the category of Abstract Sets and Arbitrary Mappings. We also define our first Limit and Co-Limit: The Terminal Object, and the Initial Object. Other topics discussed include Duality and the Opposite (or Mirror) Category. Follow me on Twitter: @mjmcodr

From playlist Category Theory: The Beginner’s Introduction

Video thumbnail

Category Theory: The Beginner’s Introduction (Lesson 1 Video 4)

Lesson 1 is concerned with defining the category of Abstract Sets and Arbitrary Mappings. We also define our first Limit and Co-Limit: The Terminal Object, and the Initial Object. Other topics discussed include Duality and the Opposite (or Mirror) Category. These videos will be discussed

From playlist Category Theory: The Beginner’s Introduction

Video thumbnail

Category Theory 9.1: Natural transformations

Natural transformations

From playlist Category Theory

Video thumbnail

Category Theory: The Beginner's Introduction (Lesson 1 Explorations - Solutions)

These are the solutions to the explorations from Lesson 1. The explorations allow you to review concepts from Lesson 1 (such as the nature of maps in the opposite category), while prepare you for concepts in Lesson 2 (such as determination problems - the core of scientific data analysis).

From playlist Category Theory: The Beginner’s Introduction

Video thumbnail

Jules Hedges - compositional game theory - part I

Compositional game theory is an approach to game theory that is designed to have better mathematical (loosely “algebraic” and “geometric”) properties, while also being intended as a practical setting for microeconomic modelling. It gives a graphical representation of games in which the flo

From playlist compositional game theory

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

27 Unhelpful Facts About Category Theory

Category theory is the heart of mathematical structure. In this video, I will drive a stake through that heart. I don't know why I made this. Grothendieck Googling: https://mobile.twitter.com/grothendieckg Join my Discord server to discuss this video and more: https://discord.gg/AVcU9w5g

From playlist Mathematics

Video thumbnail

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

From playlist Toposes online

Video thumbnail

Category Theory: The Beginner’s Introduction (Lesson 1 Video 6)

Lesson 1 is concerned with defining the category of Abstract Sets and Arbitrary Mappings. We also define our first Limit and Co-Limit: The Terminal Object, and the Initial Object. Other topics discussed include Duality and the Opposite (or Mirror) Category. These videos will be discussed

From playlist Category Theory: The Beginner’s Introduction

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

Duality In Higher Categories II by Pranav Pandit

PROGRAM DUALITIES IN TOPOLOGY AND ALGEBRA (ONLINE) ORGANIZERS: Samik Basu (ISI Kolkata, India), Anita Naolekar (ISI Bangalore, India) and Rekha Santhanam (IIT Mumbai, India) DATE & TIME: 01 February 2021 to 13 February 2021 VENUE: Online Duality phenomena are ubiquitous in mathematics

From playlist Dualities in Topology and Algebra (Online)

Video thumbnail

Introduction to Homotopy Theory- PART 1: UNIVERSAL CONSTRUCTIONS

The goal of this series is to develop homotopy theory from a categorical perspective, alongside the theory of model categories. We do this with the hope of eventually developing stable homotopy theory, a personal goal a passion of mine. I'm going to follow nLab's notes, but I hope to add t

From playlist Introduction to Homotopy Theory

Video thumbnail

Category Theory: The Beginner’s Introduction (Lesson 1 Video 5)

Lesson 1 is concerned with defining the category of Abstract Sets and Arbitrary Mappings. We also define our first Limit and Co-Limit: The Terminal Object, and the Initial Object. Other topics discussed include Duality and the Opposite (or Mirror) Category. These videos will be discussed

From playlist Category Theory: The Beginner’s Introduction

Related pages

Set theory | Finite set | Quiver (mathematics) | Index set | Coproduct | Discrete category | Span (category theory) | Pullback (category theory) | Indexed family | Poset category | Cone (category theory) | Directed set | Product (category theory) | Natural transformation | Adjoint functors | Pushout (category theory) | Mathematics | Coequalizer | Equaliser (mathematics) | Dual (category theory) | Category theory | Category (mathematics) | Morphism | Limit (category theory) | Functor | Functor category | Diagonal functor