| Commuting square | NPC4AYYRNH | 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.34856#Y28X |
| Commuting strong bulk dissipation | X1DE74PF1C | 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.36016#ANMV |
| Commuting sum with kernel inclusion | S0SPX7ME19 | 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.36016#QWYJ |
| Commuting sum: mixing-time upper bound | FEX4X9JEC6 | 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.36016#RB15 |
| Commuting-shift criterion | HW2V0SNY9E | 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.14044#C6EM |
| comodule | B56AK4SQZV | definition | open | Wikidata Q5155179, nLab comodule, Wikipedia Comodule |
| Comodule over a Hopf algebroid | FHQ1Y6HSKV | definition | open | Wikipedia Comodule over a Hopf algebroid, Wikidata Q105393844 |
| Comon's conjecture | N77QV1MR2C | statement | open | Wikipedia Comon's conjecture, Wikidata Q140590357 |
| Comon's conjecture | NFB3918TDP | statement | open | Wikipedia List of conjectures#JNXQ |
| comonad | CMRC6K6NXW | concept | open | hott_book index/6.7/comonad |
| comonad | WE4KSXN9QB | definition | open | Wikipedia Glossary of category theory#BYSS |
| Comonotone random variables | YEKZN0SNA8 | 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.26951#XOK3 |
| Comonotonicity | 5C5MM98VJA | definition | open | Wikipedia Comonotonicity, Wikidata Q5155190 |
| Comonotonicity | TV147VQDSJ | definition | open | Wikipedia List of statistics articles#PQ7Y |
| Comonotonicity | VQTZ2W77CH | 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.27843#XYPG |
| COMP128 | ZQ9FFCE1Z3 | definition | open | Wikipedia COMP128, Wikidata Q1024002 |
| COMP128 algorithms | SQ6BSAFTYD | definition | open | Wikipedia COMP128#XBHU |
| Comp128v2 | J53506PJMX | unknown | open | Wikipedia COMP128#6J7V |
| compact | FGF08ZYSZG | definition | open | Wikipedia Glossary of Principia Mathematica#TEQY |
| compact | G6TKZBYDMM | definition | open | Wikipedia Glossary of module theory#MDAO |
| Compact | M2ZA8NPM14 | definition | open | Wikipedia Glossary of general topology#U38O |
| compact | QZXRH4VP51 | definition | open | Wikipedia Glossary of category theory#GJ4T |
| Compact | YPT9NQ0VWS | definition | open | Wikipedia Glossary of functional analysis#ZXFB |
| Compact $\implies$ totally bounded | 5CNRN40S3S | statement | open | napkin tex/topology/compactness.tex#proposition-2 |
| Compact and complex equivariant subobjects | 7E8CAB6VX7 | 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.18788#8QOJ |
| compact cardinal | ND6J2H5R59 | definition | open | Wikipedia Glossary of set theory#TVQS |
| Compact case | TDATVFC0HF | 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.23424#98AT |
| Compact classification | DR3DM6MBJK | 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.22832#5JXB |
| compact closed category | NEB112VMX6 | definition | open | Wikidata Q5155301, nLab compact closed category, Wikipedia Compact closed category |
| Compact complement topology | 168Z26SQHJ | definition | open | Wikipedia List of topologies#5JXD |
| Compact complement topology | 593R0TNYRV | definition | open | Wikipedia Compact complement topology, Wikidata Q5155303 |
| Compact convergence | Z7GKSRDVPS | definition | open | Wikipedia Compact convergence, Wikidata Q1780715 |
| compact core | XVM1YZXR9Z | 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.27136#NNF7 |
| Compact correction | T0HMH438B9 | 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.26984#EFOB |
| Compact densities with matching score marginals | 2FSBEYR1BD | 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.38228#SH4F |
| Compact driving support and a one-point initial law | N8YXMNHVYT | 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.38228#MHRB |
| compact element | 2E9DN0S3TS | definition | open | Wikidata Q5155306, nLab compact element, Wikipedia Compact element |
| Compact element | 8EA198KHA7 | definition | open | Wikipedia List of order theory topics#S1JH |
| Compact elliptic diffusions from deterministic stationary maps | 84N5X44C8S | 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.38228#ERHZ |
| Compact embedding | 2750J72BJB | definition | open | Wikipedia Compact embedding, Wikidata Q3508346 |
| Compact embedding | FX0S3X6ZGX | 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.01501#CSC0 |
| Compact factorization rigidity | K8HG0GK1VF | 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.20197#KA1C |
| compact families | Q2MRJCZCHF | 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.01919#QCDM |
| Compact finite difference | V0C75YDH95 | definition | open | Wikipedia Compact finite difference, Wikidata Q25113057 |
| Compact form | Y7WGCH753H | unknown | open | Wikipedia Real form (Lie theory)#C1MS |
| Compact Gaussian hitting | RW4FZ7PKXV | 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.38228#ZTJ8 |
| Compact Gelfand triple and Galerkin energy bound | ZN4MW30K1Z | 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.33033#2LKX |
| compact group | 30ZGW8MPCK | definition | open | Wikidata Q1887083, Wikipedia Compact group |
| Compact group | RCQKZVEAD7 | definition | open | Wikipedia List of group theory topics#4SCB, Wikipedia List of Fourier analysis topics#L7DG |
| Compact Hausdorff hyperspace, \mycite{Sections 3--4}{TuzhilinLectures | 8RJ5XFAWWV | 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.17400#MKLD |
| Compact Hausdorff space | RV4K4FERSV | definition | open | Wikipedia List of Banach spaces#GJHP |
| Compact inputs at the mass endpoint | 9DXT013G69 | 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.38228#CT3F |
| Compact integral identity | H2YSA44DPB | 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.00077#6KVC |
| Compact Kantorovich duality | 1GNM9WQ1WR | 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.24716#DSMD |
| Compact letter display | YFVNDWPR9V | definition | open | Wikipedia Compact letter display, Wikidata Q113947126 |
| compact Lie algebra | 3MRWAXX56W | definition | open | Wikidata Q5155287, nLab compact Lie algebra, Wikipedia Compact Lie algebra |
| Compact Lie group | 4D1TN3ZCFR | definition | open | Wikipedia List of Lie groups topics#216V |
| compact Lie group | 4Z88E0DCJT | unknown | open | Wikidata Q3117689, nLab compact Lie group |
| Compact Lie group | S0ENJRX22Y | unknown | open | Wikipedia Compact group#QD0N |
| Compact Lorentzian sides and pseudo-causal return | AXK5C3BBDD | 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 2609.27136#0ZAI |
| Compact metric space | FVZQ76VA4M | unknown | open | Wikipedia Compact space#R7KW |
| compact metric space | V07HB7DHMS | unknown | open | Wikidata Q124633554, MathWorld Compactum, nLab compact metrizable space |
| Compact notation | 60JAGRNCWW | statement | open | Wikipedia Square root algorithms#QWMZ |
| compact object | 8D077Z2Z7Y | definition | open | Wikidata Q65090869, nLab compact object, Wikipedia Compact object (mathematics) |
| Compact one-step closure risk bound | 9XZ5ASWSRX | 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.32652#W4HO |
| compact open topology | D1P42A4X9F | unknown | open | mathlib_overview Topology > General topology > compact open topology, Mathlib ContinuousMap.compactOpen |
| compact operator | K626G94V1T | definition | open | Wikidata Q1780743, EoM Compact_operator, Mathlib IsCompactOperator, MathWorld CompactOperator, nLab compact operator, Wikipedia Compact operator |
| Compact operator on Hilbert space | XC200QK5XQ | definition | open | Wikipedia Compact operator on Hilbert space, Wikidata Q5155314 |
| Compact primitive | 8243Z7VVPY | 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.24960#OFQD |
| Compact profile space, the Arzel\`a--Ascoli theorem \mycite{Sections 3.5--3.7}{TuzhilinLectures | 13EBAM7HGC | 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.17400#O3PV |
| Compact quantum group | SV21QYFQN0 | definition | open | Wikipedia Compact quantum group, Wikidata Q5155316 |
| Compact quasi-Newton representation | G03Y34TMYB | definition | open | Wikipedia Compact quasi-Newton representation, Wikidata Q130535088 |
| Compact replacement | H3BYN67BE0 | 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.17400#RSVZ |
| Compact resolvent | QRREBER7MN | unknown | open | Wikipedia Resolvent formalism#Y6D7 |
| Compact resolvent and Fredholm property | J7GKR222MY | 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.03745#G3TN |
| Compact resolvent of the square-sum | Y9BE3GBTAW | 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.01855#8I1C |
| Compact screen | 2HB6KMH7M1 | 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.26262#35WG |
| Compact semigroup | T75S3DQ4GT | definition | open | Wikipedia Compact semigroup, Wikidata Q5155317 |
| Compact set | 3833N4451B | definition | open | Wikipedia List of types of sets#8EYD |
| Compact Slings | A4P7MNFHF9 | 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.12817#KBD9 |
| compact space | 59JDJ8C7DN | concept | node (a node has the same name as the row) | Wikidata Q381892, Mathlib CompactSpace, MathWorld CompactSpace, nLab compact space, ProofWiki Definition:Compact_Space, Wikipedia Compact space |
| Compact space | JJ679X90MC | definition | open | Wikipedia List of real analysis topics#ICS6, Wikipedia List of general topology topics#53TY |
| Compact Steiner minimal trees | PB48JXC2YZ | 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.17400#VT9C |
| Compact stencil | 72ZA6CN5NM | definition | open | Wikipedia Compact stencil, Wikidata Q5155319 |
| Compact subgroup | 7Q0W22154A | unknown | open | Wikipedia Compact space#26RP |
| Compact support | 8QC4PG66VQ | unknown | open | Wikipedia Support (mathematics)#VP1Q |
| Compact support yields a flat SPO+ risk | 4M0W8QW0WF | 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 2609.33472#HI6W |
| compact symplectic group | CK3YZB7JPT | unknown | open | Wikidata Q78484790, nLab compact symplectic group |
| Compact Szemer\'edi | V6192QAZ50 | 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 2606.02312#H586 |
| Compact theta sublevels and smooth dependence | R02Y9YN49W | 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.37615#W5ST |
| Compact uniform honeycomb | AZKHSV3EFN | unknown | open | Wikipedia Uniform honeycombs in hyperbolic space#47IU |
| Compact-observable limits of completely positive maps | JX50K872Q6 | 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.35986#27EK |
| Compact-open topology | 11YAZS9Z7Z | definition | open | Wikipedia List of general topology topics#MWGC, Wikipedia List of topologies#41NE, Wikipedia List of examples in general topology#G3K7 |
| compact-open topology | E0PV703XTP | definition | open | Wikidata Q1669863, EoM Compact-open_topology, MathWorld Compact-OpenTopology, nLab compact-open topology, Wikipedia Compact-open topology |
| Compact-open topology | Z0KEYVBAFP | definition | open | Wikipedia Glossary of general topology#94RV |
| Compact-scale comparison and balance | 5SGMSN5ZHM | 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.20042#6TZ6 |
| Compact-tail approximation | Z3MX61VWV1 | 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.20215#UEO9 |
| Compact-uniform translation orthogonality | 15JVRJP15Y | 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.27813#E0SH |
| compactification | N63TE4HCZ1 | definition | open | Wikidata Q546145, nLab compactification, Wikipedia Compactification (mathematics) |
| compactification | P6487A01VD | definition | open | Wikipedia Glossary of algebraic geometry#ILTI |