Functors

End (category theory)

In category theory, an end of a functor is a universal extranatural transformation from an object e of X to S. More explicitly, this is a pair , where e is an object of X and is an extranatural transformation such that for every extranatural transformation there exists a unique morphism of X with for every object a of C. By abuse of language the object e is often called the end of the functor S (forgetting ) and is written Characterization as limit: If X is complete and C is small, the end can be described as the equalizer in the diagram where the first morphism being equalized is induced by and the second is induced by . (Wikipedia).

Video thumbnail

Category Theory 1.2: What is a category?

What is a Category?

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 2.1: Functions, epimorphisms

Functions, epimorphisms

From playlist Category Theory

Video thumbnail

Category Theory 4.1: Terminal and initial objects

Terminal and initial objects

From playlist Category Theory

Video thumbnail

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

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: The Beginner’s Introduction (Lesson 1 Video 3)

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

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

Video thumbnail

PNWS 2014 - What every (Scala) programmer should know about category theory

By, Gabriel Claramunt Aren't you tired of just nodding along when your friends starts talking about morphisms? Do you feel left out when your coworkers discuss a coproduct endofunctor? From the dark corners of mathematics to a programming language near you, category theory offers a compac

From playlist PNWS 2014

Video thumbnail

Yonatan harpaz : The universal property of topological Hochschild homology

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

Inna Zakharevich, Characteristic polynomials and traces

Global Noncommutative Geometry Seminar (Americas) on 10/22/21 https://globalncgseminar.org/talks/3584/

From playlist Global Noncommutative Geometry Seminar (Americas)

Video thumbnail

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

Video thumbnail

David Ben-Zvi: Geometric Langlands correspondence and topological field theory - Part 2

Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b

From playlist Algebraic and Complex Geometry

Video thumbnail

3D Gauge Theories: Vortices and Vertex Algebras (Lecture 2) by Tudor Dimofte

PROGRAM: VORTEX MODULI ORGANIZERS: Nuno Romão (University of Augsburg, Germany) and Sushmita Venugopalan (IMSc, India) DATE & TIME: 06 February 2023 to 17 February 2023 VENUE: Ramanujan Lecture Hall, ICTS Bengaluru For a long time, the vortex equations and their associated self-dual fie

From playlist Vortex Moduli - 2023

Video thumbnail

3D Gauge Theories: Vortices and Vertex Algebras (Lecture 2) by Tudor Dimofte

PROGRAM: VORTEX MODULI ORGANIZERS: Nuno Romão (University of Augsburg, Germany) and Sushmita Venugopalan (IMSc, India) DATE & TIME: 06 February 2023 to 17 February 2023 VENUE: Ramanujan Lecture Hall, ICTS Bengaluru For a long time, the vortex equations and their associated self-dual fie

From playlist Vortex Moduli - 2023

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

Duality in Higher Categories-I 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

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

Complete category | Simplicial set | Category theory | Extranatural transformation