Math 2.0

Inventory: F

The rows of the inventory whose names start with F. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.

Rows 4301–4400 of 4868.

NameIdKindOutcomeSources
Functional sharp layer1RXWZYNSWNstatementrecord (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
Functionality of $\Uc_i^\ast$7CGD4C6K9Kstatementrecord (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
Functionals above the rate653G3ZXN9Jstatementrecord (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 fieldsF67Z0FESFDstatementrecord (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
functorGYKQDJ8X34definitionopenmathlib_overview General algebra > Category theory > functor, Mathlib CategoryTheory.Functor, Wikidata Q864475, EoM Functor, MathWorld Functor, nLab functor, ProofWiki Definition:Functor
functor categoryNZGZK3KZXBunknownopenWikidata Q2007878, nLab functor category
functor that creates colimits5EQ9GP8XPZunknownopenWikidata Q141136232, nLab created colimit
functor that creates limitsWJ8TYKKZR4unknownopenWikidata Q141066058, nLab created limit
functor that lifts limitsBBTGR8RFBBunknownopenWikidata Q141066060, nLab lifted limit
functor that reflects colimitsNZXYBNN4MTunknownopenWikidata Q141136224, nLab reflected colimit
functor that reflects limitsJBKPF5REGGunknownopenWikidata Q141066057, nLab reflected limit
functor, adjointBNGK3RAJ2Sconceptopenhott_book index/2.3/functor-adjoint
functor, contravariantZTNC2XKY42conceptopenhott_book index/8.6/functor-contravariant
functor, covariant7XDNRJGDS2conceptopenhott_book index/8.6/functor-covariant
functor, equivalence3S76GNYF8Vconceptopenhott_book index/2.4/functor-equivalence
functor, loop spaceMKVSB9JFE5conceptopenhott_book index/7.4/functor-loop-space
Functor, unit, and compatibility with $\flat$6GH5HEDNW3statementrecord (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 homologyTCW345EN05unknownopenmathlib_overview General algebra > Homological algebra > functorial homology, Mathlib HomologicalComplex.homology
Functorial interpretation of fundamental groupsC09QEKYXDWstatementopennapkin tex/topology/fundamental-group.tex#thm:fundgrp_functor
functoriality of measuringsB10JJX5FMKdefinitionrecord (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 algebraKQ69VF726Bstatementrecord (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
Fundamental --- \textsc{$\lambda$-E} / \textsc{App-CongC9W3CJTGKDstatementrecord (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$-CongQ0DNNN1WJZstatementrecord (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$BNWCXQCQ63statementrecord (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$7B6A1PTD3Hstatementrecord (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$-CongRHTMVWTZTSstatementrecord (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-EmpKKSDKESCJDstatementrecord (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-Ext2KZXCY3EF5statementrecord (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$-SuCAKTCGQJA0statementrecord (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$-ZeS9G7YVM31Pstatementrecord (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-Cong6Z07Y84GAXstatementrecord (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-WfX9Q9T46SY9statementrecord (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-CongW59D77X4DNstatementrecord (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-Eq85QBSQPBRYstatementrecord (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-PiVYDANPG8NJstatementrecord (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-TransJX7MTP8WH2statementrecord (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-Univ3EC0WB8CP7statementrecord (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{SubsumpHZMFJEJJV5statementrecord (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-SymB0XK5T3GSFstatementrecord (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-Trans1Q6YW3CCMMstatementrecord (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
Fundamental --- \textsc{U-WfZJ3GQY02EEstatementrecord (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#V86Y
Fundamental --- \textsc{Var6S8QK80TDHstatementrecord (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#USRU
Fundamental --- \textsc{Ze-ITBBE12Y2GRstatementrecord (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#OAOQ
fundamental class7MSYJWX66ZunknownopenWikidata Q4493388, EoM Fundamental_class, MathWorld FundamentalClass, nLab fundamental class
fundamental discriminantV8DWQM3DFQunknownopenWikidata Q5508954, MathWorld FundamentalDiscriminant
fundamental domainM9G3HGHW96unknownopenWikidata Q1474108, MathWorld FundamentalDomain
fundamental groupW3MSQZHJABdefinitionopenWikidata Q662830, EoM Fundamental_group, MathWorld FundamentalGroup, nLab fundamental group, ProofWiki Definition:Fundamental_Group
Fundamental group of $S^1$18285QG503exampleopennapkin tex/topology/cover-project.tex#example-6
fundamental groupoidR8F4PK51GSunknownopenWikidata Q85174068, nLab fundamental groupoid
Fundamental groups don't depend on basepointKW4V8YE2VQstatementopennapkin tex/topology/fundamental-group.tex#theorem-1
Fundamental IdentityENWSX1KFDHstatementrecord (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.29393#3XEE
Fundamental lemma, input--outputC6VZWAYC1Ystatementrecord (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.25431#LO1R
Fundamental mean-field lawsQP65YG3M11statementrecord (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.09356#6VAD
Fundamental monomial identityJSHXMY6SB0statementrecord (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.20593#JEL3
fundamental representationQART3X19WNunknownopenWikidata Q3427416, nLab fundamental representation
fundamental sequencesERHDS3SBDEunknownopenmathlib_overview Logic and computation > Set theory > Ordinals > fundamental sequences, Mathlib Ordinal.IsFundamentalSeq
fundamental solutionFGNGAW3K46unknownopenWikidata Q1474123, EoM Fundamental_solution, nLab fundamental solution
fundamental solution of the LaplacianV4PV6D5GNZunknownopenmathlib_undergrad Distribution calculus > Applications > fundamental solution of the Laplacian
fundamental system of solutions4NZM4AFMRVunknownnode (a node has the same name as the row)Wikidata Q15936047, EoM Fundamental_system_of_solutions
Fundamental TheoremS96J625HKPstatementrecord (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#4I78
Fundamental TheoremY4NF05BQ83statementrecord (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 1904.09810#835R
Fundamental Theorem (Soundness7TMT8XTE7Qstatementrecord (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#KBIP
fundamental theorem of $\Gamma$-convergenceBNNJ6AZ9V3statementrecord (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 2204.07227#S3BX
Fundamental Theorem of Algebra9AJKHXZN96statementopenmathlib_100 2, Mathlib Complex.exists_root, mathlib_overview General algebra > Field theory > $\C$ is algebraically closed, mathlib_undergrad Ring Theory > Field Theory > $\C$ is algebraically closed
fundamental theorem of algebraSGAE0NNXPHstatementnode (a node has the same Wikidata item as the row)mathlib_1000 Q192760, Mathlib Complex.isAlgClosed, Wikidata Q192760, mathlib_overview Analysis > Complex analysis > fundamental theorem of algebra, thousand_plus Q192760, Wikipedia Fundamental theorem of algebra, EoM Algebra,_fundamental_theorem_of, MathWorld FundamentalTheoremofAlgebra
fundamental theorem of algebraSNZ9V8VD8Xconceptopenlebl_ra index/1.5/fundamental-theorem-of-algebra
Fundamental theorem of algebraYK2VZ5W5XMstatementopenlebl_ra ch-approximate.tex#thm-1
fundamental theorem of algebraYZ7AS6EZKHconceptopenlebl_scv index/B/fundamental-theorem-of-algebra
Fundamental theorem of algebraZ6VNBKJEYPstatementopenlebl_scv scv.tex#thm:fundamentalthmalg
Fundamental theorem of arbitrage-free pricingCDE3D5YTEAstatementopenmathlib_1000 Q5508973, Wikidata Q5508973, thousand_plus Q5508973, Wikipedia Fundamental theorem of arbitrage-free pricing
Fundamental Theorem of ArithmeticGFKSPBVCQ6statementopenernst_ibl MAAPressVersion/FundamentalTheoremArithmetic.tex#thm:FTA
fundamental theorem of calculusGX4VRV4NA2statementnode (a node has the same Wikidata item as the row)mathlib_100 15, Mathlib intervalIntegral.integral_hasStrictDerivAt_of_tendsto_ae_right, Mathlib intervalIntegral.integral_eq_sub_of_hasDeriv_right_of_le, mathlib_1000 Q1217677, Wikidata Q1217677, mathlib_overview Analysis > Measures and integral calculus > fundamental theorem of calculus, part 2, thousand_plus Q1217677, Wikipedia Fundamental theorem of calculus, EoM Newton-Leibniz_formula, MathWorld FundamentalTheoremsofCalculus, nLab fundamental theorem of calculus, ProofWiki Fundamental_Theorem_of_Calculus
fundamental theorem of calculusSPZTZ6RTGDconceptopenactive_calculus index/4.4.2/fundamental-theorem-of-calculus
Fundamental Theorem of Calculus, First5TPWZ6DX6Bconceptopenactive_calculus index/5.2.1/fundamental-theorem-of-calculus-first
fundamental theorem of calculus, part 19H06W659XAunknownopenmathlib_overview Analysis > Measures and integral calculus > fundamental theorem of calculus, part 1, Mathlib intervalIntegral.integral_hasFDerivAt_of_tendsto_ae
Fundamental Theorem of Calculus, SecondRGTT665BZAconceptopenactive_calculus index/5.2.2/fundamental-theorem-of-calculus-second
Fundamental theorem of finite Abelian groupsM52JM87KEEstatementrecord (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.08280#27DS
fundamental theorem of finitely generated abelian groupsTZ9MZ4TQPAstatementopenWikidata Q1589600, nLab fundamental theorem of finitely generated abelian groups
Fundamental theorem of Galois theoryRBEAJCEZQ3statementopennapkin tex/alg-NT/galois.tex#theorem-5
fundamental theorem of Galois theoryZBXYAWS6VXstatementnode (a node has the same Wikidata item as the row)arXiv 2610.18154#NC98, Wikidata Q766522, ProofWiki Fundamental_Theorem_of_Galois_Theory
fundamental theorem of Riemannian geometryQNYDQ0YPYKstatementopenWikidata Q2185349, nLab fundamental theorem of Riemannian geometry
fundamental theorem of topos theoryR8ZNXBB42FunknownopenWikidata Q25305241, nLab fundamental theorem of topos theory
Fundamental theorems of welfare economicsRWW407ZZ73statementopenmathlib_1000 Q467205, Wikidata Q467205, thousand_plus Q467205, Wikipedia Fundamental theorems of welfare economics
fundamental unit3Y8PCA0MBAconceptopenWikidata Q5508977, MathWorld FundamentalUnit
fundamental vector field7QSYE7A7SSunknownopenWikidata Q5508976, nLab fundamental vector field
fundamental, $\infty$-groupoid1NEYXEX5DCconceptopenhott_book index/1/fundamental-infty-groupoid
fundamental, group92H0M762SRconceptopenhott_book index/7.7.2/fundamental-group
fundamental, groupNKQKKZYRF7conceptopenhott_book index/1/fundamental-group
fundamental, groupQ48DP8EFJBconceptopenhott_book index/7/fundamental-group
fundamental, groupSMM6YHWR6Zconceptopenhott_book index/7.7/fundamental-group
fundamental, groupYVRPNG1HR2conceptopenhott_book index/7.7.1/fundamental-group
fundamental, group, of circleVYPRCXRVQPconceptopenhott_book index/7/fundamental-group-of-circle
fundamental, groupoidYKZCA800XEconceptopenhott_book index/2.9/fundamental-groupoid
fundamental, pregroupoidN3ZC59GGCBconceptopenhott_book index/7.7/fundamental-pregroupoid
fundamental, pregroupoidRJS5KRAJ3Tconceptopenhott_book index/2.9/fundamental-pregroupoid
fundamental, theorem of Galois theoryTT84QEMK4Wconceptopenhott_book index/2.6/fundamental-theorem-of-galois-theory
Fundamental-cycle bags1TK58C9N1Kstatementrecord (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.04660#D8EH
Funk horocone construction and continuityJTVTWH1EWXstatementrecord (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.27752#XAZ9
Funk--Hecke formula for cubicsMVP1M0MH6Zstatementrecord (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.13532#5CEI
furlong9NHA10DH4QdefinitionopenWikidata Q494083, ProofWiki Definition:Imperial/Length/Furlong