Category theory

Indiscrete category

An indiscrete category is a category C in which every hom-set C(X, Y) is a singleton. Every class X gives rise to an indiscrete category whose objects are the elements of X such that for any two objects A and B, there is only one morphism from A to B. Any two nonempty indiscrete categories are equivalent to each other. The functor from Set to Cat that sends a set to the corresponding indiscrete category is right adjoint to the functor that sends a small category to its set of objects. (Wikipedia).

Video thumbnail

What is an Injective Function? Definition and Explanation

An explanation to help understand what it means for a function to be injective, also known as one-to-one. The definition of an injection leads us to some important properties of injective functions! Subscribe to see more new math videos! Music: OcularNebula - The Lopez

From playlist Functions

Video thumbnail

Definition of a Surjective Function and a Function that is NOT Surjective

We define what it means for a function to be surjective and explain the intuition behind the definition. We then do an example where we show a function is not surjective. Surjective functions are also called onto functions. Useful Math Supplies https://amzn.to/3Y5TGcv My Recording Gear ht

From playlist Injective, Surjective, and Bijective Functions

Video thumbnail

We Need a Bigger Definition of Creativity

► Please Subscribe to My Channel Here - http://bit.ly/spencervideos When you the word “creative,” you might think of a painter or a playwright or an author or a photographer or a filmmaker or a chef. In other words, you might think of people who make things. I think it’s what we mean wh

From playlist What Is Creativity?

Video thumbnail

Definition of an Injective Function and Sample Proof

We define what it means for a function to be injective and do a simple proof where we show a specific function is injective. Injective functions are also called one-to-one functions. Useful Math Supplies https://amzn.to/3Y5TGcv My Recording Gear https://amzn.to/3BFvcxp (these are my affil

From playlist Injective, Surjective, and Bijective Functions

Video thumbnail

Underactive thyroid.mov

An general explanation of the underactive thyroid.

From playlist For Patients

Video thumbnail

What Is Narcissism?

Narcissism is the word we routinely use to describe someone self-satisfied and arrogant. But what do we really mean by the word – and are we applying it correctly? If you like our films, take a look at our shop (we ship worldwide): https://goo.gl/YfXSQO Join our mailing list: http://bit.ly

From playlist SELF

Video thumbnail

Algebraic Topology - 8.1 - Right Adjoints Preserve Limits (RAPL)

Right adjoints preserve limits. Errata: Arkamouli Debnath points out @ 10:04 I mean to write Sets and not Top on the RHS.

From playlist Category Theory Crash Course

Video thumbnail

The Importance of Atonement

The idea of ‘atonement’ sounds very old-fashioned and is deeply rooted in religious tradition. To atone means, in essence, to acknowledge one’s capacity for wrongness and one’s readiness for apology and desire for change. It’s a concept that every society needs at its center. For gifts and

From playlist RELATIONSHIPS

Video thumbnail

Ind and Pro Categories Associated to a Category

This is super basic. I ripped this off of ncatlab, one of the best websites on the planet.

From playlist Category Theory

Video thumbnail

Axel Osmond - The over-topos at a model

Talk at the school and conference “Toposes online” (24-30 June 2021): https://aroundtoposes.com/toposesonline/ Slides: https://aroundtoposes.com/wp-content/uploads/2021/07/OsmondSlidesToposesOnline.pdf For a model of a geometric theory in a Grothendieck topos, we can construct the over-t

From playlist Toposes online

Video thumbnail

Ralf Meyer: A new method to classify C*-algebras up to KK-equivalence

Using a homological invariant together with an obstruction class in a certain Ext?-group, we may classify objects in triangulated categories that have projective resolutions of length two. This invariant gives strong classification results for actions of the circle group on C*-algebras, C*

From playlist HIM Lectures: Trimester Program "Non-commutative Geometry and its Applications"

Video thumbnail

Character Analysis: Dr. Henry Jekyll

Buy my revision guides in paperback on Amazon*: Mr Bruff’s Guide to ‘Jekyll and Hyde’: https://amzn.to/2SYOFQA Mr Bruff’s Guide to GCSE English Language https://amzn.to/2GvPrTV Mr Bruff’s Guide to GCSE English Literature https://amzn.to/2POt3V7 AQA English Language Paper 1 Practice Pa

From playlist 'Jekyll and Hyde' Analysis

Video thumbnail

Commutative algebra 36 Artin Rees lemma

This lecture is part of an online course on commutative algebra, following the book "Commutative algebra with a view toward algebraic geometry" by David Eisenbud. In this lecture we state and prove the Artin-Rees lemma, which states that the restriction of an stable I-adic filtration (of

From playlist Commutative algebra

Video thumbnail

Olivia Caramello - 3/4 Introduction to Grothendieck toposes

This course provides an introduction to the theory of Grothendieck toposes from a meta-mathematical point of view. It presents the main classical approaches to the subject (namely, toposes as generalized spaces, toposes as mathematical universes and toposes as classifiers of models of firs

From playlist Olivia Caramello - Introduction to Grothendieck toposes

Video thumbnail

Quentin Guignard - Graded logarithmic geometry and valuative spaces

We introduce a generalization of Temkin's reduction in an absolute setting. It takes the form of a category of graded log schemes, containing valuative spaces as a full subcategory, as well as more exotic objects such as the reduction mod p^n of a p-adic rigid space. We will compare the lo

From playlist Franco-Asian Summer School on Arithmetic Geometry (CIRM)

Video thumbnail

Abstract Algebra | Injective Functions

We give the definition of an injective function, an outline of proving that a given function is injective, and a few examples. http://www.michael-penn.net http://www.randolphcollege.edu/mathematics/

From playlist Abstract Algebra

Video thumbnail

Ohad Kammar: An introduction to statistical modelling semantics with higher-order measure theory

HYBRID EVENT Recorded during the meeting "Logic of Probabilistic Programming" February 04, 2022 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians on CIRM's Audiov

From playlist Probability and Statistics

Video thumbnail

Les forces de l’ordre - Didier Fassin

Au coeur de l'Etat Comment les institutions traitent leur public International Conference supported by the European Research Council École des Hautes Études en Sciences Sociales (Paris) and Institute for Advanced Study (Princeton) Paris, 11 & 12 June 2012 More videos on http://video.ias

From playlist Social Science

Video thumbnail

The Composition of Injective(one-to-one) Functions is Injective Proof

Please Subscribe here, thank you!!! https://goo.gl/JQ8Nys Proof that the composition of injective(one-to-one) functions is also injective(one-to-one)

From playlist Proofs

Related pages

Adjoint functors | Functor | Class (set theory) | Equivalence of categories | Singleton (mathematics) | Category (mathematics) | Morphism