A core

Aucun article

2 yoneda lemma Ab5 category Absoluteness Abstract nonsense Accessible category Adhesive category Algebraic semantics Algorithmic technique Almost Applied category theory Archive for mathematical logic B chi elgot trakhtenbrot theorem Balanced category Beck chevalley condition Browns representability theorem Brugui res modularity theorem Bundle Burnside category Cabal Cantors paradise Cartesian monoid Categorical probability Categorical topology Categorical trace Categories for the working mathematician Categorification Center Chu space Class Class logic Code Coherency Coherent space Coimage Cokernel Commutative diagram Compact object Completions in category theory Compositional game theory Concrete category Cone Conjunction disjunction duality Conservative functor Continuous function Continuum Contraposition Controversy over cantors theory Core of a category Corestriction Cosmos Cotangent complex Counting Currys paradox Cyclic negation Cylinder De bruijn factor Dedekind number Definable real number Diagonal functor Dialectica space Dimensional operator Discocat Distributive category Domain to range ratio Double turnstile Dual Eckmann hilton argument Elementary definition Elementary theory Endomorphism ring Envelope Equaliser Equivalence of categories Erd's dushnik miller theorem Erd's rado theorem Esquisse dun programme Essential monomorphism Exact completion Extensive category Factorization system Fiber functor Fibrations of graphs Fibred category Filter on a set Filtered category Finitary Finite intersection property Finitely generated object Formal calculation Formulario mathematico Fragment Free choice inference Freyd cover Friedberg muchnik theorem Fundamental sequence G del logic G del numbering G dels function Gabriel popescu theorem Game theoretic rough sets Gamma object Generalized metric space Generator Giraud subcategory Global element Graded category Grothendieck category Grothendiecks relative point of view Groupoid object Grundlagen der mathematik H object Hausdorff medal Hierarchy Hilbert bernays l b provability conditions Hintikka set Hopfian object Hub labels Hypostatic abstraction Ideal on a set Image Indexed category Indiscrete category Induced homomorphism Information diagram Inhabited set Injective object Inserter category Institute of mathematical logic and fundamental research Internal category Isomorphism class Isomorphism closed subcategory J nsson function K nigs theorem K theory of a category Kan extension Karoubi envelope Kernel Knuths simpath algorithm Krohn rhodes theory Krull schmidt category L bs theorem L vy hierarchy Laver function Laver table Laws of form Lawveres fixed point theorem Lift Lifting property Lindstr ms theorem Literal Localization of a category Localizing subcategory Logical machine Lowerunivalents M gers theorem Mac lanes coherence theorem Mengenlehreuhr Mereology Milner rado paradox Mivar based approach Modification Modular group representation Monoid Multicategory Multiplicity Multiverse Nerve Nested set collection Nodal decomposition Non wellfounded mereology Notre dame journal of formal logic Numerosity On formally undecidable propositions of principia mathematica and related systems Opposite category Overcategory Pantachy Paradoxes of the infinite Paradoxical set Permutation category Point surjective morphism Pointed set Predicate Product category Projective cover Proof sketch for g dels first incompleteness theorem Pseudo abelian category Pseudoalgebra Pulation square Pure inductive logic Q category Quiver Quotient category Quotient of an abelian category R algebroid Refinement Regular numerical predicate Resolution theorem Rewriting Ringschluss Rules of passage Schauenburg ng theorem Schr der bernstein property Section Semiautomaton Semigroupoid Sentence Separating set Set intersection oracle Set theory an introduction to independence proofs Sierpi ski set Sieve Signed set Simplification of disjunctive antecedents Situation theory Size functor Skeleton Small object argument Sol rs theorem Stable module category Strictification Structuralism Subcategory Subclass Subitizing Subquotient Subterminal object Successor function Supertransitive class Support T schema Tarski lectures Tautology Term Theory of regions Thin category Topological category Topological functor Tower of objects Uniformization Union Universal property Weak factorization system Well pointed category Wff n proof

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