| Function application | H113SQ7F80 | definition | open | Wikipedia Function application, Wikidata Q5508767 |
| Function approximation | 7DQZVPHWSR | problem | 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.30750#5AED |
| Function approximation | E4QYBFEGY5 | definition | open | Wikipedia List of statistics articles#KMBS |
| Function approximation | Z0X0428E2T | definition | open | Wikipedia Function approximation, Wikidata Q3445816 |
| Function class | ZBD1GE14DC | 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.21461#4XWL |
| function clone | 358TZX05DG | 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.12484#1W43 |
| function composition | 1B5TBWVAD2 | definition | open | Wikipedia Glossary of calculus#LH7F |
| Function composition | 3F2MY3KTBW | definition | open | Wikipedia List of types of functions#6L2O |
| function composition | RR62YYE264 | 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.12484#CVMS |
| Function domain | 8CATTQFDQG | 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.29671#SGTG |
| Function extensionality | 6JPYY5FK8M | statement | open | hott_book basics.tex#axiom:funext |
| function extensionality | 8VPBPPNK8C | concept | open | hott_book index/1.5/function-extensionality |
| function extensionality | CX3Q3YA581 | concept | open | hott_book index/4.3.1/function-extensionality |
| function extensionality | DGM36MNNZB | concept | open | hott_book index/A.12.3/function-extensionality |
| function extensionality | H7F5Z3SN17 | concept | open | hott_book index/9.11/function-extensionality |
| function extensionality | WCWQ4QTE41 | concept | open | hott_book index/3.9/function-extensionality |
| function extensionality | Y0PBNG7WPS | concept | open | hott_book index/1.15/function-extensionality |
| function extensionality, proof from interval type | M66XF3HPSV | concept | open | hott_book index/5.3/function-extensionality-proof-from-interval-type |
| function extensionality, proof from univalence | X8NJX89GFX | concept | open | hott_book index/3.9/function-extensionality-proof-from-univalence |
| Function field | B75Q5QQ8NZ | definition | open | Wikipedia Function field (scheme theory), Wikidata Q5508772 |
| Function field analogy | ZVPHDNK6FE | definition | open | Wikipedia Glossary of arithmetic and diophantine geometry#6X5R |
| Function field family with many degree-$d$ places | M3W1NC72P6 | 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.32834#ZO4B |
| Function field of an algebraic variety | MFFEFG27H0 | definition | open | Wikipedia Function field of an algebraic variety, Wikidata Q5508773 |
| Function field of an algebraic variety | MS9EQK8BKT | definition | open | Wikipedia List of algebraic geometry topics#AZBE |
| Function field sieve | 4Q8V9X2D5C | definition | open | Wikipedia Function field sieve, Wikidata Q5508770 |
| Function field sieve | VKVRB3G58R | definition | open | Wikipedia List of number theory topics#H7U6 |
| Function gap and gradient norm | 494C1VAYRV | 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.15125#QKS2 |
| function minion | S2F5MCDC37 | 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.12484#MW8A |
| Function of a real variable | E3ZDD8MFB5 | definition | open | Wikipedia List of real analysis topics#GZIB |
| Function of a real variable | M6W0NDC9QG | definition | open | Wikipedia Function of a real variable, Wikidata Q861681 |
| function of bounded variation | M26GK0BWZ1 | definition | open | Wikidata Q829653, MathWorld BoundedVariation, Wikipedia Bounded variation |
| function of compact support | DS38YV824D | unknown | open | Wikidata Q3754523, EoM Function_of_compact_support |
| Function of several complex variables | YZPZDN86BX | definition | open | Wikipedia Function of several complex variables, Wikidata Q2052951 |
| Function of several real variables | X7NNV75474 | definition | open | Wikipedia Function of several real variables, Wikidata Q15284797 |
| Function problem | GWDPX7A0E1 | problem | open | Wikipedia List of computability and complexity topics#5L5U |
| Function problem | Q5V4W7WBHA | problem | open | Wikipedia Function problem, Wikidata Q906766 |
| Function series | QD967A1Q2Q | definition | open | Wikipedia Function series, Wikidata Q1474614 |
| function space | CJMJBHNMT0 | definition | node (a node has the same Wikidata item as the row) | Wikidata Q934367, MathWorld FunctionSpace, nLab function space, Wikipedia Function space |
| Function space $X$ | ZNY8QJAHVA | 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.08434#U5HB |
| Function symbol | 30Z1Q9TGRC | definition | open | Wikipedia Function symbol, Wikidata Q5508846 |
| Function theory | 5RC6P9CWB0 | definition | open | Wikipedia Glossary of areas of mathematics#7OX1 |
| function type | KPP16BAEGV | definition | open | Wikidata Q5508778, nLab function type, Wikipedia Function type |
| function value | GXSHF7AXG7 | unknown | open | Wikidata Q59715267, MathWorld Value |
| function, $n$-connected | BDJ8VY9DS9 | concept | open | hott_book index/6.5/function-n-connected |
| function, bi-invertible | 67XSW24EWF | concept | open | hott_book index/3.3/function-bi-invertible |
| function, bi-invertible | JBQJ1PZEDG | concept | open | hott_book index/3/function-bi-invertible |
| function, bounded | A2SEH40DVY | concept | open | lebl_ra index/2.3.1/function-bounded |
| function, codomain of | HBREX5GDTG | concept | open | hott_book index/A.2/function-codomain-of |
| function, continuous | 3TV5A4VAYE | concept | open | lebl_ra index/4.5.1/function-continuous |
| function, continuous | 489NXB61GN | concept | open | hott_book index/B.3.2/function-continuous |
| function, continuous | 7BC78R1ZD5 | concept | open | lebl_ra index/2.2.1/function-continuous |
| function, continuous, in classical homotopy theory | K8PXNJQF8W | concept | open | hott_book index/u1.u1/function-continuous-in-classical-homotopy-theory |
| function, contractible | 6AQ2KBCP1Q | concept | open | hott_book index/3.4/function-contractible |
| function, dependent | BJZQJTFHZN | concept | open | hott_book index/1.3/function-dependent |
| function, dependent | CR27849M7X | concept | open | hott_book index/A.4/function-dependent |
| function, differentiable | S8CJYQ1A5H | concept | open | lebl_ra index/3.1.1/function-differentiable |
| function, domain of | 5PNVP3KRGA | concept | open | hott_book index/A.2/function-domain-of |
| function, embedding | VFSX57RYCJ | concept | open | hott_book index/6.1/function-embedding |
| function, embedding | Y1QB1FZBEH | concept | open | hott_book index/6.6/function-embedding |
| function, identity | 44RX0HG729 | concept | open | hott_book index/1.10/function-identity |
| function, identity | XRHWW5C6DR | concept | open | hott_book index/1.4/function-identity |
| function, injective | 3PVNGRVF7B | concept | open | applied_combinatorics index/4.1/function-injective |
| function, injective | CZQHCS73TJ | concept | open | hott_book index/C.1.2/function-injective |
| function, injective | S8Z354ZQ9D | concept | open | hott_book index/6.6/function-injective |
| function, injective | VGC0ZRS946 | concept | open | hott_book index/C.2/function-injective |
| function, linear | 7K29Z0WYZX | concept | open | hott_book index/2.7/function-linear |
| function, Lipschitz | 2A6N9VZCGR | concept | open | lebl_ra index/4.5.4/function-lipschitz |
| function, Lipschitz | E2QAT5Y6CM | concept | open | lebl_ra index/2.4.3/function-lipschitz |
| function, non-expanding | ZVREZB3ZGQ | concept | open | hott_book index/B.3.3/function-non-expanding |
| function, one-to-one | C9NFZD6CX6 | concept | open | applied_combinatorics index/4.1/function-one-to-one |
| function, one-to-one | N6SKKXSHRG | concept | open | applied_combinatorics index/B.4/function-one-to-one |
| function, onto | NK948J8YA8 | concept | open | applied_combinatorics index/B.4/function-onto |
| function, retraction | Y66Q36J8Z2 | concept | open | hott_book index/3.6/function-retraction |
| function, surjective | 62C7ECA9CP | concept | open | hott_book index/C.1.2/function-surjective |
| function, surjective | K6V18Q1ZZM | concept | open | hott_book index/6.5/function-surjective |
| function, surjective | K8JK68HG3C | concept | open | hott_book index/C.2/function-surjective |
| function-derivative pair | 560XV9S5PE | concept | open | active_calculus index/5.3.3/function-derivative-pair |
| Function-space version | G1FCFNHKRT | 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.02642#FX8U |
| functional | DKR7SHR4D8 | definition | open | Wikipedia Glossary of mathematical symbols#3OFF |
| functional | P68WF79CNK | definition | open | Wikipedia Glossary of mathematical symbols#LSJX |
| functional | SS9WF8KHH5 | definition | open | Wikidata Q579600, EoM Functional, MathWorld Functional, Wikipedia Functional (mathematics) |
| Functional (mathematics) | MYNYTAW45A | definition | open | Wikipedia List of variational topics#Z8L4 |
| Functional additive model | A2S0AF9H1F | definition | open | Wikipedia Functional additive model, Wikidata Q48996027 |
| Functional analysis | D5VGP8HNBQ | definition | open | Wikipedia Glossary of areas of mathematics#AOMG |
| Functional analysis | EJ991T7FZZ | topic | open | Wikipedia List of real analysis topics#3B0X |
| functional analysis | M0YYH4AFTX | topic | open | Wikidata Q190549, MathWorld FunctionalAnalysis, nLab functional analysis, ProofWiki Definition:Functional_Analysis, Wikipedia Functional analysis |
| Functional area | PQQJRP59Y4 | definition | open | Wikipedia Functional area, Wikidata Q108921116 |
| Functional boxplot | 61Z1HB6D60 | definition | open | Wikipedia Functional boxplot, Wikidata Q5508797 |
| Functional boxplot | P8QGR39Z8Q | definition | open | Wikipedia List of statistics articles#AABT |
| Functional calculus | 4A1PAKNH83 | definition | open | Wikipedia List of formal systems#GM2H |
| Functional calculus | 8G0K3NGK8E | definition | open | Wikipedia Glossary of areas of mathematics#4WS9 |
| Functional calculus | HFEEVYVA70 | 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.21949#6TOE |
| functional calculus | NN8KNJ4QTC | definition | open | Wikidata Q1474584, nLab functional calculus, Wikipedia Functional calculus |
| Functional central limit theorem | 5RYTSRJ7JB | 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.27851#HKZT |
| Functional Central Limit Theorem | G122CJ7DVW | 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.21258#876O |
| Functional central limit theorem | G1HFXD7X0S | 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.12873#P01P |
| Functional CLT | 1WRWBJMCB2 | 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.06372#D19D |
| Functional CLT | W0W56X7GRH | 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.29023#KJPX |
| Functional CLT for the closed singular cycles | B7126A1KMB | 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.27851#M37X |
| Functional completeness | 359R3WP1X0 | definition | open | Wikipedia List of Boolean algebra topics#LNI1 |