MathProofsable

4.4K subscribers

131 videos

View on YouTube

Latest Videos

Russell's Paradox using Lawvere's Fixed Point Theorem

Russell's Paradox using Lawvere's Fixed Point Theorem

MathProofsable

3.0K views·6 years ago

The Generalized Cantor Theorem

The Generalized Cantor Theorem

MathProofsable

2.8K views·6 years ago

Products

Products

MathProofsable

1.3K views·7 years ago

Limits and Colimits of Certain Types

Limits and Colimits of Certain Types

MathProofsable

1.2K views·7 years ago

Natural Transformations

Natural Transformations

MathProofsable

2.6K views·7 years ago

Functors

Functors

MathProofsable

4.1K views·7 years ago

The Idea of the Derivative

The Idea of the Derivative

MathProofsable

936 views·8 years ago

Deduction Systems

Deduction Systems

MathProofsable

1.5K views·8 years ago

Colimits in a Topos

Colimits in a Topos

MathProofsable

725 views·8 years ago

The Beck Chevalley Condition (internally for monomorphisms only)

The Beck Chevalley Condition (internally for monomorphisms only)

MathProofsable

710 views·8 years ago

A Simple Proof that a Topos has Exponentials

A Simple Proof that a Topos has Exponentials

MathProofsable

836 views·8 years ago

The Power Objects Functor

The Power Objects Functor

MathProofsable

589 views·8 years ago

Examples of the Subobject Classifier in Categories of Presheaves

Examples of the Subobject Classifier in Categories of Presheaves

MathProofsable

958 views·8 years ago

Exponentials in Categories of Presheaves

Exponentials in Categories of Presheaves

MathProofsable

859 views·8 years ago

The Subobject Classifier in Categories of Presheaves

The Subobject Classifier in Categories of Presheaves

MathProofsable

766 views·8 years ago

Toposes are Balanced

Toposes are Balanced

MathProofsable

1.0K views·8 years ago

Exponentials in a Topos

Exponentials in a Topos

MathProofsable

1.4K views·8 years ago

Subobject Classifier

Subobject Classifier

MathProofsable

2.3K views·8 years ago

Power Objects

Power Objects

MathProofsable

2.3K views·8 years ago

Subobjects

Subobjects

MathProofsable

2.2K views·8 years ago

Exponential Objects in Reflexive Graphs

Exponential Objects in Reflexive Graphs

MathProofsable

278 views·8 years ago

Exponential Objects in Graph

Exponential Objects in Graph

MathProofsable

691 views·8 years ago

What is Category Theory

What is Category Theory

MathProofsable

67.2K views·8 years ago

Motivation for a Definition of a Topos

Motivation for a Definition of a Topos

MathProofsable

14.5K views·8 years ago

Exponential Objects in Bouquets

Exponential Objects in Bouquets

MathProofsable

324 views·8 years ago

Exponential Objects in ESet

Exponential Objects in ESet

MathProofsable

491 views·8 years ago

Yoneda Embedding Examples

Yoneda Embedding Examples

MathProofsable

2.1K views·8 years ago

Binary Products in Presheaf Categories

Binary Products in Presheaf Categories

MathProofsable

1.3K views·8 years ago

Terminal Objects in Presheaf Categories

Terminal Objects in Presheaf Categories

MathProofsable

1.6K views·8 years ago

Main Examples of Presheaf Categories

Main Examples of Presheaf Categories

MathProofsable

2.5K views·8 years ago

Load More Videos

MathProofsable - NatokHD | NatokHD