Category theory | Outlines of mathematics and logic

Outline of category theory

The following outline is provided as an overview of and guide to category theory, the area of study in mathematics that examines in an abstract way the properties of particular mathematical concepts, by formalising them as collections of objects and arrows (also called morphisms, although this term also has a specific, non category-theoretical sense), where these collections satisfy certain basic conditions. Many significant areas of mathematics can be formalised as categories, and the use of category theory allows many intricate and subtle mathematical results in these fields to be stated, and proved, in a much simpler way than without the use of categories. (Wikipedia).

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 1.2: What is a category?

What is a Category?

From playlist Category Theory

Video thumbnail

Category Theory 3.1: Examples of categories, orders, monoids

Examples of categories, orders, monoids.

From playlist Category Theory

Video thumbnail

Category Theory 2.1: Functions, epimorphisms

Functions, epimorphisms

From playlist Category Theory

Video thumbnail

Category Theory 1.1: Motivation and Philosophy

Motivation and philosophy

From playlist Category Theory

Video thumbnail

Intuitive Introduction to Category Theory

Category Theory offers a different style of thinking about mathematics. I describe how using functions and sets as examples. Join our Discord to engage with other Mathematics enthusiasts ! https://discord.gg/yyDzhKXUBV Patreon: https://www.patreon.com/MetaMaths Source code for animatio

From playlist Category Theory course

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

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

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

Geordie Williamson: Langlands and Bezrukavnikov II Lecture 9

SMRI Seminar Series: 'Langlands correspondence and Bezrukavnikov’s equivalence' Geordie Williamson (University of Sydney) Abstract: The second part of the course focuses on affine Hecke algebras and their categorifications. Last year I discussed the local Langlands correspondence in bro

From playlist Geordie Williamson: Langlands correspondence and Bezrukavnikov’s equivalence

Video thumbnail

Geordie Williamson: Langlands and Bezrukavnikov II Lecture 15

SMRI Seminar Series: 'Langlands correspondence and Bezrukavnikov’s equivalence' Geordie Williamson (University of Sydney) Abstract: The second part of the course focuses on affine Hecke algebras and their categorifications. Last year I discussed the local Langlands correspondence in bro

From playlist Geordie Williamson: Langlands correspondence and Bezrukavnikov’s equivalence

Video thumbnail

Alon Nissan-Cohen: Towards an ∞-categorical version of real THH

The lecture was held within the framework of the (Junior) Hausdorff Trimester Program Topology: "Workshop: Hermitian K-theory and trace methods" Following Hesselholt and Madsen's development of the so-called "real" (i.e. Z/2-equivariant) version of algebraic K-theory, Dotto developed a th

From playlist HIM Lectures: Junior Trimester Program "Topology"

Video thumbnail

Christopher TOWNSEND - There are categories of ‘spaces' that are not categories of locales

Abstract We described a short list of categorical axioms that make a category behave like the category of locales. In summary the axioms assert that the category has an object that behaves like the Sierpnski space and this object is double exponentiable. A number of the usual results of lo

From playlist Topos à l'IHES

Video thumbnail

Spatial refinements and Khovanov homology – Robert Lipshitz & Sucharit Sarkar – ICM2018

Topology Invited Lecture 6.11 Spatial refinements and Khovanov homology Robert Lipshitz & Sucharit Sarkar Abstract: We review the construction and context of a stable homotopy refinement of Khovanov homology. © International Congress of Mathematicians – ICM www.icm2018.org     Os direi

From playlist Topology

Video thumbnail

Geordie Williamson: Langlands and Bezrukavnikov II Lecture 14

SMRI Seminar Series: 'Langlands correspondence and Bezrukavnikov’s equivalence' Geordie Williamson (University of Sydney) Abstract: The second part of the course focuses on affine Hecke algebras and their categorifications. Last year I discussed the local Langlands correspondence in bro

From playlist Geordie Williamson: Langlands correspondence and Bezrukavnikov’s equivalence

Video thumbnail

Paul Arne Østvær: A1 contractible varieties

The lecture was held within the framework of the Hausdorff Trimester Program : Workshop "K-theory in algebraic geometry and number theory"

From playlist HIM Lectures: Trimester Program "K-Theory and Related Fields"

Video thumbnail

Alexei Davydov: Condensation of anyons in topological states of matter & structure theory

Condensation of anyons in topological states of matter and structure theory of E_2-algebras Abstract: The talk will be on the algebraic structure present in both parts of the title. This algebraic story is most pronounced for E2-algebras in the category of 2-vector spaces (also known as b

From playlist SMRI Seminars

Video thumbnail

From the Fukaya category to curve counts via Hodge theory - Nicholas Sheridan

Nicholas Sheridan Veblen Research Instructor, School of Mathematics September 26, 2014 More videos on http://video.ias.edu

From playlist Mathematics

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

Video thumbnail

Geordie Williamson: Langlands and Bezrukavnikov II Lecture 22

SMRI Seminar Series: 'Langlands correspondence and Bezrukavnikov’s equivalence' Geordie Williamson (University of Sydney) Abstract: The second part of the course focuses on affine Hecke algebras and their categorifications. Last year I discussed the local Langlands correspondence in bro

From playlist Geordie Williamson: Langlands correspondence and Bezrukavnikov’s equivalence

Related pages

Category of sets | Category of abelian groups | Exact sequence | Forgetful functor | Pullback (category theory) | Monad (category theory) | Outline (list) | Topos | Preadditive category | Combinatorial species | Direct limit | Commutative diagram | Glossary of category theory | Adjoint functors | Kernel (category theory) | Pushout (category theory) | Equivalence of categories | Max Kelly | Isomorphism of categories | Category theory | Subcategory | Category of chain complexes | Image (category theory) | Dagger symmetric monoidal category | Categorical logic | Category of medial magmas | Samuel Eilenberg | Normal morphism | Subobject | Exponential object | Product (category theory) | Coimage | Abelian category | Cokernel | Triangulated category | Sheaf (mathematics) | Biproduct | Yoneda lemma | Zero morphism | Category (mathematics) | Derived functor | Morphism | Concrete category | Functor | Direct sum | Saunders Mac Lane | Hom functor | Category of groups | Grothendieck topology | Nine lemma | Bicategory | Model category | Enriched category | Exact functor | Pontryagin duality | Inverse limit | Gluing axiom | Groupoid | Homological algebra | Group object | Braided monoidal category | Category of topological spaces | Localization of a category | Kan extension | Higher category theory | Mathematics | Dual (category theory) | Galois connection | Pointless topology | Subobject classifier | Abstract nonsense | Short five lemma | Category of small categories | Coproduct | Dagger compact category | Semigroupoid | Additive category | Five lemma | Natural transformation | Category of metric spaces | Closed monoidal category | Coequalizer | Snake lemma | Equaliser (mathematics) | Representable functor | Category of preordered sets | Monomorphism | Functor category | Mitchell's embedding theorem | Category of rings | Derived category | Comma category | Epimorphism | Dominant functor | Heyting algebra | Injective cogenerator