⌘K

Domaines

⊢Foundations & Logic1 ℕNumber Theory2 ⊞Algebra3 ⊗Combinatorics1 △Geometry1 ◎Topology ∫Analysis ∂Diff. Equations ℙProbability & Stats1 ≈Numerical ƒApplied1 ⟨⟩Math & CS1 +School Basics ∞Recreational2

Niveau

①Collège ②Lycée1 ③Licence3 ④Master1 ⑤Recherche

Format

≡Cours ◈Explication4 ◉Analyse1 ▶Essai visuel ✎Exercice

Explorer/Foundations & Logic/Categorical logic

Categorical logic

Aucun article

Classifying space Classifying topos Coherent category Coherent topos Density theorem Effective topos Functor represented by a scheme Fundamental theorem of topos theory Grothendieck topology History of topos theory Lawvere theory Lawvere tierney topology List object Moduli scheme Natural numbers object Nisnevich topology Presheaf Quasitopos Representable functor Ringed topos Stone space Subobject classifier Tale topology Volodin space + 1 de plus

∅

Pas encore d'articles dans cette catégorie — ça arrive.

Tendances

1

x + 1/x = 3, et l'échelle jusqu'à x⁵ + 1/x⁵Algebra · 7 min

2

Pourquoi les triangles aléatoires attrapent le centre du cercle une fois sur quatreProbability & Statistics · 9 min

3

Machines à vecteurs de support : la rue la plus large gagneMathematics & Computer Science · 8 min

Récents

•

Tout tournoi contient une chaîne gagnante (théorème de Rédei)Explainer · 7 min

•

Quels polynômes envoient ℚ sur ℚ ? La réponse complèteDeep dive · 11 min

Les nouveaux articles, direct dans ta boîte mail

J'accepte de recevoir des emails de Lambdia et j'ai lu la politique de confidentialité. Désinscription à tout moment.

Suivez-nous

© 2026 LambdiaMentions légales · Confidentialité · L'ebook