| Functional completeness | 99R7MBRV1B | definition | open | Wikipedia Functional completeness, Wikidata Q2348801 |
| Functional correlation | TAF53FDZXN | definition | open | Wikipedia Functional correlation, Wikidata Q55612145 |
| Functional data analysis | F493FV933N | topic | open | Wikipedia List of statistics articles#2E9S |
| Functional data analysis | FX5WE091RZ | topic | open | Wikipedia Functional data analysis, Wikidata Q5508814 |
| Functional decomposition | 93HRDW37FF | definition | open | Wikipedia Functional decomposition, Wikidata Q5215396 |
| Functional derivative | DWR4WJ7GK5 | definition | open | Wikipedia List of variational topics#TZA1 |
| functional derivative | Q94M2C31ES | concept | open | Wikidata Q2621220, MathWorld FunctionalDerivative, nLab functional derivative, Wikipedia Functional derivative |
| Functional determinant | QS0ZTGDDXJ | definition | open | Wikipedia Functional determinant, Wikidata Q2947601 |
| functional determinant | VDBJR58PWZ | definition | open | Wikipedia Glossary of invariant theory#OW0A |
| Functional differential equation | F9NQGP7M6J | definition | open | Wikipedia Functional differential equation, Wikidata Q28406324 |
| Functional differential equation | W9ZMQ8TY1Z | definition | open | Wikipedia List of dynamical systems and differential equations topics#7RDG |
| Functional distortion distance | 2JCT9GGDQS | 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.03126#HONA |
| Functional encryption | DG9C13626S | definition | open | Wikipedia Functional encryption, Wikidata Q17014981 |
| functional equation | YVX55BSKST | definition | open | Wikidata Q594452, EoM Functional_equation, MathWorld FunctionalEquation, nLab functional equation, Wikipedia Functional equation |
| Functional equation (L-function) | C0M5Z0K4JB | definition | open | Wikipedia List of number theory topics#LUBA |
| functional equation (L-function) | GSV7YKECTV | definition | open | Wikidata Q3589429, LMFDB knowl lfunction.functional_equation, Wikipedia Functional equation (L-function) |
| Functional equation and unitarity | 4EHSM1PX3M | 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.25925#7GIX |
| Functional equation from equidimensional sectors | V0TNBP1SWZ | 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.33162#X35L |
| Functional FGR | 1ETW9WNH4D | 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 1806.05002#D0UF |
| Functional fixedness | 7VS95FX1DC | unknown | open | Wikipedia List of cognitive biases#YTKV |
| Functional flow block diagram | P6D805R4P4 | unknown | open | Wikipedia List of graphical methods#J9DM |
| Functional fluctuations at the finite-$N$ center | P91V3HDVVA | 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.01391#73BH |
| functional graph | AFRV09V6FD | definition | open | Wikipedia Glossary of graph theory#NCCV |
| Functional graph | QESSRA4X1N | unknown | open | Wikipedia Pseudoforest#IJD3 |
| Functional Inequalities and Mixing Time | NB53EHD6VS | 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.23994#4GY4 |
| Functional inequalities for Lipschitz Gaussian images | HJN0YPE6PY | 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#K42G |
| Functional integral | 4S1NA5DM1Z | definition | open | Wikipedia List of variational topics#HP6Y |
| Functional integration | KXJ668X34Q | definition | open | Wikipedia Functional integration, Wikidata Q2450135 |
| Functional limit theorems | 692RPDYNBD | 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.14616#N1KU |
| Functional notation | QXJ72AKC5X | unknown | open | Wikipedia Function (mathematics)#JP8X |
| Functional power | 2SK4XAP2AG | unknown | open | Wikipedia Function composition#56X2 |
| Functional predicate | SWM6ZCTD0N | definition | open | Wikipedia List of mathematical logic topics#J4E7 |
| Functional principal component analysis | 929KPB0K3P | definition | open | Wikipedia Functional principal component analysis, Wikidata Q17014987 |
| functional programming | QZT1SMR8HS | unknown | open | Wikidata Q193076, nLab functional programming |
| Functional regression | TKRKZ2W16D | definition | open | Wikipedia Functional regression, Wikidata Q30672211 |
| functional relation | HEKFMVYWJQ | concept | open | hott_book index/A.2/functional-relation |
| functional relation | TK5PHAK8JQ | unknown | open | Wikidata Q110854274, nLab functional relation |
| Functional Relation | W9BTNADE73 | 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 1704.08191#9DP0 |
| Functional response | QDNQX8EF0M | definition | open | Wikipedia Functional response, Wikidata Q5508845 |
| Functional Roth--S\'ark\"ozy | FQ60AEPNA7 | 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 1806.05002#P13H |
| Functional S\'ark\"ozy | CBD1CD4X2M | 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 1806.05002#I0A2 |
| Functional sharp layer | 1RXWZYNSWN | 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.39262#46ET |
| Functional square root | VVTE1NWR9H | definition | open | Wikipedia Functional square root, Wikidata Q3890203 |
| Functional unblinding | V5ZNKNYYMG | unknown | open | Wikipedia Blinded experiment#QBI1 |
| Functional-theoretic algebra | GVEWPDSDXQ | definition | open | Wikipedia Functional-theoretic algebra, Wikidata Q5508780 |
| Functional-theoretic algebra | SH9APFJZAC | definition | open | Wikipedia List of algebras#SALL |
| Functionality of $\Uc_i^\ast$ | 7CGD4C6K9K | 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#GN7E |
| Functionally graded element | AZGHV12GDN | definition | open | Wikipedia List of numerical analysis topics#JVA6 |
| Functionally graded element | Z4WBADCPTN | definition | open | Wikipedia Functionally graded element, Wikidata Q5508861 |
| Functionally separated | RPMKJCRA81 | definition | open | Wikipedia Glossary of general topology#FIDM |
| Functionals above the rate | 653G3ZXN9J | 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.09912#B62X |
| Functions on $\SOthree$ as tuples of spin fields | F67Z0FESFD | 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.13892#LL21 |
| Functions to which the theorem does not apply | 2YVQF7M5ZY | statement | open | Wikipedia Extreme value theorem#MOJU |
| functor | 8JTRZNFYW8 | definition | open | Wikipedia Glossary of category theory#9ONV |
| functor | GYKQDJ8X34 | definition | open | mathlib_overview General algebra > Category theory > functor, Mathlib CategoryTheory.Functor, Wikidata Q864475, EoM Functor, MathWorld Functor, nLab functor, ProofWiki Definition:Functor, Wikipedia Functor |
| functor category | HDJ2AZ2PJQ | definition | open | Wikipedia Glossary of category theory#QLI1 |
| functor category | NZGZK3KZXB | definition | open | Wikidata Q2007878, nLab functor category, Wikipedia Functor category |
| Functor of points | ERFWNA7T5B | unknown | open | Wikipedia Functor represented by a scheme#UDSV |
| Functor represented by a scheme | D4JE07KFAY | definition | open | Wikipedia Functor represented by a scheme, Wikidata Q85762285 |
| functor that creates colimits | 5EQ9GP8XPZ | unknown | open | Wikidata Q141136232, nLab created colimit |
| functor that creates limits | WJ8TYKKZR4 | unknown | open | Wikidata Q141066058, nLab created limit |
| functor that lifts limits | BBTGR8RFBB | unknown | open | Wikidata Q141066060, nLab lifted limit |
| functor that reflects colimits | NZXYBNN4MT | unknown | open | Wikidata Q141136224, nLab reflected colimit |
| functor that reflects limits | JBKPF5REGG | unknown | open | Wikidata Q141066057, nLab reflected limit |
| functor, adjoint | BNGK3RAJ2S | concept | open | hott_book index/2.3/functor-adjoint |
| functor, contravariant | ZTNC2XKY42 | concept | open | hott_book index/8.6/functor-contravariant |
| functor, covariant | 7XDNRJGDS2 | concept | open | hott_book index/8.6/functor-covariant |
| functor, equivalence | 3S76GNYF8V | concept | open | hott_book index/2.4/functor-equivalence |
| functor, loop space | MKVSB9JFE5 | concept | open | hott_book index/7.4/functor-loop-space |
| Functor, unit, and compatibility with $\flat$ | 6GH5HEDNW3 | 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.26270#0EQN |
| functorial homology | TCW345EN05 | unknown | open | mathlib_overview General algebra > Homological algebra > functorial homology, Mathlib HomologicalComplex.homology |
| Functorial interpretation of fundamental groups | C09QEKYXDW | statement | open | napkin tex/topology/fundamental-group.tex#thm:fundgrp_functor |
| functoriality of measurings | B10JJX5FMK | 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 2405.14678#0A1W |
| Functoriality of the corrected logarithmic algebra | KQ69VF726B | 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.27799#RERJ |
| Fundamenta Astronomiae | FYXV6Z2AYR | unknown | open | Wikipedia Friedrich Wilhelm Bessel#Z1Q6 |
| Fundamenta Mathematicae | THG7BH9766 | definition | open | Wikipedia Fundamenta Mathematicae, Wikidata Q771148 |
| Fundamenta nova theoriae functionum ellipticarum | PGQVM1BG17 | definition | open | Wikipedia Fundamenta nova theoriae functionum ellipticarum, Wikidata Q5508930 |
| fundamental | 5S5HWDG8KC | definition | open | Wikipedia Glossary of Lie groups and Lie algebras#OZYD |
| fundamental | DR99RED13K | definition | open | Wikipedia Glossary of invariant theory#GUYW |
| fundamental | FFE0QRHKW1 | definition | open | Wikipedia Glossary of classical algebraic geometry#RVEE |
| fundamental | RGWANDGC1N | definition | open | Wikipedia Glossary of representation theory#KAJD |
| Fundamental --- \textsc{$\lambda$-E} / \textsc{App-Cong | C9W3CJTGKD | 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#6JXH |
| Fundamental --- \textsc{$\lambda$-I} / \textsc{$\lambda$-Cong | Q0DNNN1WJZ | 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#QVXP |
| Fundamental --- \textsc{$\Pi$-$\beta$ | BNWCXQCQ63 | 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#BRXR |
| Fundamental --- \textsc{$\Pi$-$\eta$ | 7B6A1PTD3H | 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#95FL |
| Fundamental --- \textsc{$\Pi$-Wf} / \textsc{$\Pi$-Cong | RHTMVWTZTS | 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#RBSO |
| Fundamental --- \textsc{Ctx-Emp | KKSDKESCJD | 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#V1CA |
| Fundamental --- \textsc{Ctx-Ext | 2KZXCY3EF5 | 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#06W8 |
| Fundamental --- \textsc{N-$\beta$-Su | CAKTCGQJA0 | 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#5XCQ |
| Fundamental --- \textsc{N-$\beta$-Ze | S9G7YVM31P | 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#0D9U |
| Fundamental --- \textsc{N-E} / \textsc{Rec-Cong | 6Z07Y84GAX | 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#TI5E |
| Fundamental --- \textsc{N-Wf | X9Q9T46SY9 | 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#04JB |
| Fundamental --- \textsc{Su-I} / \textsc{Su-Cong | W59D77X4DN | 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#GHMS |
| Fundamental --- \textsc{Sub-Eq | 85QBSQPBRY | 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#GCSA |
| Fundamental --- \textsc{Sub-Pi | VYDANPG8NJ | 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#HSQ8 |
| Fundamental --- \textsc{Sub-Trans | JX7MTP8WH2 | 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#LZ2S |
| Fundamental --- \textsc{Sub-Univ | 3EC0WB8CP7 | 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#4HNE |
| Fundamental --- \textsc{Subsump | HZMFJEJJV5 | 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#49UR |
| Fundamental --- \textsc{Tm-Sym | B0XK5T3GSF | 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#XWMZ |
| Fundamental --- \textsc{Tm-Trans | 1Q6YW3CCMM | 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#M8DG |