| Catalan's conjecture | GBD06TTNJ5 | statement | open | mathlib_1000 Q174955, Wikidata Q174955, thousand_plus Q174955, Wikipedia Mihăilescu's theorem, MathWorld CatalansConjecture |
| Catalan's constant | V5GCSVXCRH | object | open | Wikidata Q855282, MathWorld CatalansConstant, OEIS A006752 |
| Catalan's identity | P9M5FBDXHS | statement | open | Wikidata Q118220479, MathWorld CatalansIdentity |
| Catalan's minimal surface | E7HHSVEK60 | unknown | open | Wikidata Q5051207, MathWorld CatalansSurface |
| Catalan's triangle | XBQWBC60Z2 | unknown | open | Wikidata Q5051208, MathWorld CatalansTriangle, OEIS A009766 |
| Catalogue Paradox | T1Q0V6PH00 | unknown | open | Wikidata Q3895086, MathWorld CatalogueParadox |
| catamorphism | 6ZFJEPC3YV | unknown | open | Wikidata Q1959790, nLab catamorphism |
| catastrophe | 3NPAQ4JKRJ | unknown | open | Wikidata Q132320242, MathWorld Catastrophe |
| catastrophe theory | YXATZVCNCS | topic | open | Wikidata Q1345659, MathWorld CatastropheTheory, ProofWiki Definition:Catastrophe_Theory |
| categorial grammar | D3Y80CMB2T | unknown | open | Wikidata Q1841499, nLab categorial grammar |
| Categorial smallness criterion | R0YS0Y2R0Z | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.10930#IQZ2 |
| categorical algebra | CK3S5Z9K6W | topic | open | Wikidata Q39045406, nLab categorical algebra |
| Categorical Completion $\mathbf{Ham}_{\mathbb{C}}$ | 75MASDS1QQ | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.03384#16C9 |
| Categorical Completion $\mathbf{HK}$ | CGB029BY5Q | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.03384#FLH6 |
| categorical distribution | 7F030D7WZA | unknown | open | Wikidata Q5051810, nLab categorical distribution |
| Categorical Equivalence | 2J24V01WN2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.28495#T3LS |
| Categorical Homotopy Theory | JVSV2TVSSH | unknown | out_of_scope (a book or a journal, not an item of mathematics) | Wikidata Q64356095, nLab Categorical Homotopy Theory |
| Categorical Laws for Substitutions | WHH253EF3K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21131#XVJC |
| Categorical Laws for Weakenings | E9HQ73TZ6G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21131#CPI5 |
| Categorical likelihood with arbitrary prior | Z9RGQ6SYP4 | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.19573#PQTI |
| categorical logic | KPXYRNG5E2 | topic | open | Wikidata Q5051813 |
| categorical trace | ZNRHQAR9NC | unknown | open | Wikidata Q97359632, nLab categorical trace |
| categorical variable | MX8TH7QFPV | unknown | open | Wikidata Q2285707, MathWorld CategoricalVariable |
| Categories for the Working Mathematician | 7XV7YS9253 | unknown | open | Wikidata Q5051820, nLab Categories Work |
| categories of pairs | ENS0TS8FFH | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.32733#3VC9 |
| categories of spans | 63NWF4J1D8 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.37520#GH21 |
| Categories, groupoids, and semicategories | J0T7MR8SCX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.33469#1760 |
| category | 5G2PWJ09A4 | definition | open | mathlib_overview General algebra > Category theory > category, Mathlib CategoryTheory.Category, Wikidata Q719395, MathWorld Category, nLab category, ProofWiki Definition:Category |
| category algebra | TDHE4T0MGP | unknown | open | Wikidata Q5051809, nLab category algebra |
| category of abelian groups | BGFV44KVP6 | definition | open | Wikidata Q1956793, ProofWiki Definition:Category_of_Abelian_Groups |
| category of being | NS4VX74D6P | unknown | open | Wikidata Q714737, nLab category of being |
| category of elements | AERZ42W3G7 | unknown | open | Wikidata Q5051844, nLab category of elements |
| category of finite-dimensional representations | QMJJGEH5GE | unknown | open | mathlib_overview General algebra > Representation theory > category of finite-dimensional representations, Mathlib FDRep |
| category of groups | V7TDB8YSGB | definition | open | Wikidata Q3912012, ProofWiki Definition:Category_of_Groups |
| category of modules | VETJDY4M1Y | unknown | open | Wikidata Q5051857, nLab Mod |
| category of representations | 63YN0AFZGQ | unknown | open | Wikidata Q48999031, nLab category of representations |
| category of schemes | XBT1R26QN3 | definition | open | Wikidata Q91791375, ProofWiki Definition:Category_of_Schemes |
| category of small categories | CZVMQQJKW7 | definition | open | Wikidata Q5051852, nLab Cat, ProofWiki Definition:Category_of_Categories |
| Category of spectrum objects | 3C3N7C0R01 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.03865#EMN3 |
| category of topological spaces | GQDMS90ZSC | definition | open | Wikidata Q2000555, nLab Top, ProofWiki Definition:Category_of_Topological_Spaces |
| category theory | WA0W7496WY | topic | open | Wikidata Q217413, MathWorld CategoryTheory, nLab category theory, ProofWiki Definition:Category_Theory |
| category, center of | XFHK4EHWPY | concept | open | hott_book index/3.1/category-center-of |
| category, cocomplete | B9KEXTPM5C | concept | open | hott_book index/C.1.1/category-cocomplete |
| category, complete | FNV7XGTV5A | concept | open | hott_book index/C.1.1/category-complete |
| category, gaunt | B8XQQSYXGD | concept | open | hott_book index/2.6/category-gaunt |
| category, locally cartesian closed | JE5GC4RTJ7 | concept | open | hott_book index/C.1.4/category-locally-cartesian-closed |
| category, of types | 8HFJ7JMX25 | concept | open | hott_book index/2.9/category-of-types |
| category, product of | P8D3AQB9JZ | concept | open | hott_book index/2.5/category-product-of |
| category, skeletal | BTCFE4Y4WF | concept | open | hott_book index/2.1/category-skeletal |
| category, slice | X9HRPTHJ8N | concept | open | hott_book index/C.5/category-slice |
| category, well-pointed | 9J0AJC1AMC | concept | open | hott_book index/C.1.5/category-well-pointed |
| catenary | JX454J63MZ | unknown | open | Wikidata Q214561, MathWorld Catenary |
| catenoid | NQXGR75EAF | unknown | open | Wikidata Q1999772, MathWorld Catenoid |
| Caterina Consani | X6561ZS9JD | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1050689, nLab Caterina Consani |
| Caterpillar intersection | TW7GR7AMZJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.17441#W45F |
| Caterpillar tree | 7M505H5T3F | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2602.03909#J2XL |
| caterpillar tree | V2R8JXKPVR | unknown | open | Wikidata Q5051951, MathWorld CaterpillarGraph |
| Caterpillars | 2DBNP0BGZJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.04758#UEJU |
| Caterpillars | YEPSA2FZA8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.34025#H7GO |
| Catharina Stroppel | 90YJZ31KAM | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q6568683, nLab Catharina Stroppel |
| Catherine Meusburger | S04T57R73W | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1051008, nLab Catherine Meusburger |
| cathetus | 16XFDES0GJ | unknown | open | Wikidata Q110812, MathWorld Cathetus |
| Catlin--D'Angelo | X2AEGCZAZC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27820#XRT8 |
| Cauchy | S7KP5KGK4G | statement | open | lebl_scv scv.tex#thm-28 |
| Cauchy boundary condition | XHW2XSMYV7 | concept | open | Wikidata Q3278575, MathWorld CauchyBoundaryConditions |
| Cauchy Condensation Test | DKECD7RWSA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.02963#D4F6 |
| Cauchy condensation test | ZGCN26SQRZ | statement | node (a node has the same Wikidata item as the row) | Wikidata Q1051423, MathWorld CauchyCondensationTest |
| Cauchy determinant | JCQ1YT7DJ8 | definition | open | Wikidata Q77975711, ProofWiki Definition:Cauchy_Determinant |
| Cauchy distribution | A6E9JK9AJ8 | concept | node (a node has the same name as the row) | Wikidata Q726441, MathWorld CauchyDistribution |
| Cauchy filter | 5KBGCHKGD3 | unknown | open | mathlib_overview Topology > Uniform notions > Cauchy filter, Mathlib Cauchy |
| Cauchy formula | 7Q5SJ12DF3 | concept | open | lebl_scv index/B/cauchy-formula |
| Cauchy formula | 7V9APXTDM6 | concept | open | lebl_scv index/1/cauchy-formula |
| Cauchy formula | NBWCPE75S4 | concept | open | lebl_scv index/1.1/cauchy-formula |
| Cauchy formulas | 7YPQ5DAQ70 | unknown | open | mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > Cauchy formulas, Mathlib Complex.two_pi_I_inv_smul_circleIntegral_sub_inv_smul_of_differentiable_on_off_countable |
| Cauchy horizon | Y6MNR3FCJW | concept | open | Wikidata Q2470767, nLab Cauchy horizon |
| Cauchy inequalities | HZ1FRMSRY0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.29605#IMK3 |
| Cauchy integral estimates | HVN9HTGR1P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27181#36X5 |
| Cauchy integral formula | 1JVYDS0A3M | concept | open | lebl_scv index/B/cauchy-integral-formula |
| Cauchy integral formula | B7HR42VWSR | statement | open | lebl_scv scv.tex#thm-1 |
| Cauchy integral formula | C0D84XJZ3Q | statement | open | lebl_scv scv.tex#thm-4 |
| Cauchy integral formula | D7A0HGHEG6 | statement | open | lebl_scv scv.tex#thm-27 |
| Cauchy integral formula | P7T3RQBXDZ | unknown | open | mathlib_overview Analysis > Complex analysis > Cauchy integral formula, Mathlib DiffContOnCl.circleIntegral_sub_inv_smul |
| Cauchy integral formula in several variables | ZFN4Z5R4J5 | concept | open | lebl_scv index/1.1/cauchy-integral-formula-in-several-variables |
| Cauchy interlacing | MDX2YB9Y3F | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.12324#TYSO |
| Cauchy interlacing theorem | T7G1J6KM6G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2508.07340#BZU1 |
| Cauchy matrix | 6ED4HB95RJ | concept | open | Wikidata Q2915997, ProofWiki Definition:Cauchy_Matrix |
| Cauchy principal value | GCGKKWTHP9 | concept | node (a node has the same name as the row) | Wikidata Q769374, MathWorld CauchyPrincipalValue, nLab Cauchy principal value |
| Cauchy principal values | X9ZQZRNT9R | unknown | open | mathlib_undergrad Distribution calculus > Distributions on $\R^d$ > Cauchy principal values |
| Cauchy problem | A9EZ1MNEC1 | problem | open | Wikidata Q1412436, EoM Cauchy_problem, MathWorld CauchyProblem |
| Cauchy product | HM2SKV8QQM | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q1051404, Wikidata Q1051404, thousand_plus Q1051404, Wikipedia Cesàro's theorem, MathWorld CauchyProduct |
| cauchy sequence | 651W5XY10C | concept | node (a node has the same Wikidata item as the row) | Wikidata Q217847, EoM Cauchy_sequence, MathWorld CauchySequence, nLab Cauchy sequence, OEIS A006232, ProofWiki Definition:Cauchy_Sequence |
| Cauchy sequence | QV7DV9N22A | unknown | open | mathlib_overview Topology > Uniform notions > Cauchy sequence, Mathlib CauchySeq, mathlib_undergrad Single Variable Real Analysis > Sequences of real numbers > Cauchy sequences |
| Cauchy series | EE5Q23Z0EK | concept | open | lebl_ra index/10.5.2/cauchy-series |
| Cauchy space | YG5CRE0NSP | unknown | open | Wikidata Q5054344, nLab Cauchy space |
| Cauchy surface | R0GHKJ8VS6 | unknown | open | Wikidata Q5054343, nLab Cauchy surface |
| Cauchy theorem | C1W8KG5E1N | unknown | open | Wikidata Q398068, MathWorld CauchysTheorem |
| Cauchy transform and Riesz potential | SRR4XT1A7H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.13753#MQBW |
| Cauchy's convergence test | 137MR4C9TE | statement | node (a node has the same Wikidata item as the row) | Wikidata Q859102, MathWorld CauchyCriterion |
| Cauchy's integral formula | 8P7D5Y62ED | statement | node (a node has the same Wikidata item as the row) | Wikidata Q913764, EoM Cauchy_integral, MathWorld CauchyIntegralFormula, nLab Cauchy's integral formula, ProofWiki Cauchy's_Integral_Formula |
| Cauchy's integral formula | KZC330B0KW | statement | open | napkin tex/complex-ana/holomorphic.tex#thm:cauchy_integral_formula |