Mathematics

1924 tuit · page 33/49
Formal & Physical Sciences Mathematics
EN

Rings and modules 2: Group rings

Richard E Borcherds
23 min
5/5
Group RingsMonoid RingsIdempotents
Formal & Physical Sciences Mathematics
EN

Rings and modules 1 Introduction

Richard E Borcherds
30 min
5/5
Ring TheoryModulesAbstract Algebra
Formal & Physical Sciences Mathematics
EN

Categories 5 Limits and colimits

Richard E Borcherds
31 min
5/5
Category TheoryLimitsColimits
Formal & Physical Sciences Mathematics
EN

Categories 4 Adjoint functors

Richard E Borcherds
15 min
5/5
Category TheoryAdjoint FunctorsFree Functor
Formal & Physical Sciences Mathematics
EN

Categories 3 Natural transformations

Richard E Borcherds
15 min
5/5
Category TheoryNatural TransformationsNatural Isomorphisms
Formal & Physical Sciences Mathematics
EN

Categories 2: Functors

Richard E Borcherds
20 min
5/5
Category TheoryFunctorsMathematics
Formal & Physical Sciences Mathematics
EN

Categories 1 Introduction

Richard E Borcherds
24 min
5/5
Category TheoryMathematicsAlgebra
Formal & Physical Sciences Mathematics
EN

Ali Enayat: Tight Theories

Ali Enayat
55 min
4/5
Mathematical LogicInterpretabilityPeano Arithmetic
Formal & Physical Sciences Mathematics
EN

Minimal Logics for Incompleteness

Joost J. Joosten
65 min
4/5
GödelIncompletenessModal Logic
Formal & Physical Sciences Mathematics
EN

Completions of PA and ω-models of KP

Julia F. Knight
44 min
4/5
Mathematical LogicPeano ArithmeticKripke-Platek Set Theory