Math 2.0

Inventory: T

The rows of the inventory whose names start with T. 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 5601–5700 of 5819.

NameIdKindOutcomeSources
type, coproduct7JWNYXNFNKconceptopenhott_book index/A.7/type-coproduct
type, coproductBCR1DNDAFVconceptopenhott_book index/A.12.3/type-coproduct
type, coproductMM0T2BJP3Sconceptopenhott_book index/A.8/type-coproduct
type, coproductRF7F320E45conceptopenhott_book index/4.2.6/type-coproduct
type, dependent functionAZ6F4MXT2Xconceptopenhott_book index/1.9/type-dependent-function
type, dependent functionKR68KR60RHconceptopenhott_book index/4.2.4/type-dependent-function
type, dependent functionVH9SWG1QDHconceptopenhott_book index/A.4/type-dependent-function
type, dependent pair1EKRNH6GJMconceptopenhott_book index/1.7/type-dependent-pair
type, dependent pair5AN75J5XFSconceptopenhott_book index/A.6/type-dependent-pair
type, dependent pairSHAB4WPWXNconceptopenhott_book index/1.15/type-dependent-pair
type, dependent pairYZNNTVTW5Sconceptopenhott_book index/4.2.5/type-dependent-pair
type, empty4REC882PPSconceptopenhott_book index/4.2.7/type-empty
type, empty5XKRK57G56conceptopenhott_book index/A.7/type-empty
type, emptyFVN67F74MYconceptopenhott_book index/1.15/type-empty
type, emptyKPYCX9HSJNconceptopenhott_book index/8.3/type-empty
type, family of86HE9PD7M7conceptopenhott_book index/1.3/type-family-of
type, family ofAEX01JPC0Pconceptopenhott_book index/A.8/type-family-of
type, family of, inductiveCPX8Y3GNMGconceptopenhott_book index/8.7/type-family-of-inductive
type, function5AGF5TNGT8conceptopenhott_book index/4.2.4/type-function
type, functionK0YMZEZRE8conceptopenhott_book index/A.2/type-function
type, functionWYW21VB75Aconceptopenhott_book index/1.9/type-function
type, higher inductive4RDZP9CETPconceptopenhott_book index/u1.u4/type-higher-inductive
type, higher inductiveMGF7DYVR6Fconceptopenhott_book index/5/type-higher-inductive
type, homotopy-inductiveN846BJR1H2conceptopenhott_book index/8.5/type-homotopy-inductive
type, identityACHXGM0530conceptopenhott_book index/1.1/type-identity
type, identityG3C5CF8C9Aconceptopenhott_book index/1.11/type-identity
type, identityGNFFJZZB1Dconceptopenhott_book index/1.15/type-identity
type, identityK8HB9RJ90Bconceptopenhott_book index/A.12/type-identity
type, identityN466077SWRconceptopenhott_book index/4.2.10/type-identity
type, identity, as inductive6NZR87HVXRconceptopenhott_book index/8.8/type-identity-as-inductive
type, inductive685X2TKTBGconceptopenhott_book index/8.6/type-inductive
type, inductiveW7JXNXABS4conceptopenhott_book index/8.1/type-inductive
type, inductive, generalizationsP8M6M7E69Rconceptopenhott_book index/8.7/type-inductive-generalizations
type, inductive-inductiveGBV6YJ69AZconceptopenhott_book index/8.7/type-inductive-inductive
type, inductive-recursiveC1ADXNC5NEconceptopenhott_book index/8.7/type-inductive-recursive
type, interval3Y7GDX8YR8conceptopenhott_book index/5.3/type-interval
type, limitQGKGWNCZ9Kconceptopenhott_book index/5.8/type-limit
type, limitXQNDWKYS5Aconceptopenhott_book index/1.15/type-limit
type, mutual inductiveAGCNQBCWRGconceptopenhott_book index/8.7/type-mutual-inductive
type, negativeMSTKH36Q0Dconceptopenhott_book index/1.12/type-negative
type, of booleansW4QGBCZWVGconceptopenhott_book index/A.8/type-of-booleans
type, of lists3N2A5E1EK8conceptopenhott_book index/8.3/type-of-lists
type, of lists82XTX09RA0conceptopenhott_book index/8.2/type-of-lists
type, of lists8BHMTPS9F9conceptopenhott_book index/8.8/type-of-lists
type, of listsBVXQ0875KVconceptopenhott_book index/8.7/type-of-lists
type, of listsFB8BH6757Jconceptopenhott_book index/8.1/type-of-lists
type, of listsSP08P6WYMWconceptopenhott_book index/B.5/type-of-lists
type, of vectorsYN8P07ZZ3Xconceptopenhott_book index/8.7/type-of-vectors
type, pointedSC121M8F16conceptopenhott_book index/5.4/type-pointed
type, positiveE5T04CSS50conceptopenhott_book index/1.12/type-positive
type, product83A5S8DXTDconceptopenhott_book index/1.15/type-product
type, productESZNZP5RY3conceptopenhott_book index/4.2.5/type-product
type, productF27E5A7K9Xconceptopenhott_book index/A.5/type-product
type, productP3P0AXQ7B6conceptopenhott_book index/1.6/type-product
type, productVK6VR4NMS8conceptopenhott_book index/A.12.3/type-product
type, singletonD38GXNFTT6conceptopenhott_book index/A.12.1/type-singleton
type, smallPF6AFGP1Q3conceptopenhott_book index/u1.u3/type-small
type, unit8V5WQVDWWPconceptopenhott_book index/1.15/type-unit
type, unit9Z43ZKW5CWconceptopenhott_book index/8.2/type-unit
type, unitA5M1GPBVNAconceptopenhott_book index/1.8/type-unit
type, unitD5XM3J6ZFHconceptopenhott_book index/9.11/type-unit
type, unitG55WSX4WSDconceptopenhott_book index/4.2.8/type-unit
type, unitJZZED87QDEconceptopenhott_book index/A.5/type-unit
type, unitKM8VMY1VWXconceptopenhott_book index/8.3/type-unit
type, unitM0GMNBC0VXconceptopenhott_book index/A.8/type-unit
type, universeA8PJKQ9HRKconceptopenhott_book index/4.2.3/type-universe
type, universeBFP8AEFB3Nconceptopenhott_book index/9.1/type-universe
type, universeC8H6JEZC3Kconceptopenhott_book index/A.3/type-universe
type, universeEEBXCDCNBVconceptopenhott_book index/4.1.1/type-universe
type, universeZVK6QPW4EVconceptopenhott_book index/1.10/type-universe
type, universe, Russell-styleCJ2C3WYD3Mconceptopenhott_book index/A.12.3/type-universe-russell-style
type, universe, Tarski-styleKX9QK7095Jconceptopenhott_book index/A.12.3/type-universe-tarski-style
Type-$A$ rank spectrumQ98X9WB8K8statementrecord (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.24541#TZ1J
Type-$AA$ identity bimoduleHDMT28VW54definitionrecord (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.09201#P27A
Type-$C$ companion cell modelFD1QMD13BBstatementrecord (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.24541#237J
Type-$C$ companion formulaVE5PKV597Rstatementrecord (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.24541#F4VF
Type-\(A\) companion formulaJK6FG5WRNBstatementrecord (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.24541#E27Z
Type-\(D\) coloured-ballot formulaS6E8P1EVJSstatementrecord (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.24541#IETZ
Type-based controllability9XY8SCZD8Hdefinitionrecord (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.21653#0QW5
Type-based controllability is permutation invarianceXGNA4HRME6statementrecord (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.21653#N4Z3
Type-Class Cardinality6D1EFZR6X8statementrecord (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.09998#Z1Y1
Type-Dependent ComplianceZM76T3G4S9statementrecord (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.09998#4DUR
Type-flow identitySQHZQEQDW2statementrecord (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.04027#M808
Type-I guaranteeVQMWA1ETBCstatementrecord (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.27765#CZM8
Type-I periodic blow-upTZX9VY7RQYstatementrecord (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.05354#N5ME
Type-II error4SAQATFCZXdefinitionrecord (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.27765#3I9A
Type-mass concentrationEC62ZTVJ8Rstatementrecord (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.02669#MWU9
Type-predicate syntactic escapeMTZRSB1QBSstatementrecord (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#2MLY
Type-two computable numberKKYR0362KSdefinitionrecord (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 2506.08233#AE31
Types of Cost FunctionARJRZ4HKJSdefinitionrecord (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.20126#0Z5F
Typical $z$-rotations need $3L$DQ20SW7QS4statementrecord (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.37368#LIB4
typical ambiguityFKRZZNFMC1conceptopenhott_book index/4.2.11/typical-ambiguity
typical ambiguityH92YD68MCPconceptopenhott_book index/4.1.1/typical-ambiguity
typical ambiguityR48SK7RXJ1conceptopenhott_book index/C.3/typical-ambiguity
typical ambiguityV4GN97X05Hconceptopenhott_book index/B.2/typical-ambiguity
Typical choices for $m$, $F$, $A$ and $\tau$HTNC5ZZR8Wexamplerecord (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.11034#H2B3
Typical example of liftingM8Y8FQCMRRexampleopennapkin tex/topology/cover-project.tex#example-5
Typical exponential rateDHGTT7Z39Astatementrecord (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.28198#5QWK
Typical prediction error and tail reliability with many training examples97AJA4HY7Tstatementrecord (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.07637#6QZ8
Typical profileK5GANPB67Yexamplerecord (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.05767#WM34