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 11501–11600 of 11759.

NameIdKindOutcomeSources
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-1 Gumbel distributionMHGCR4MEM4definitionopenWikipedia List of statistics articles#P60N
Type-1 Gumbel distributionSJ4X4R44NZdefinitionopenWikipedia List of probability distributions#PL4J
Type-2 Gumbel distribution63EQ8PVQVKdefinitionopenWikipedia List of statistics articles#1B36
Type-2 Gumbel distributionK36TX6TMWDdefinitionopenWikipedia Type-2 Gumbel distribution, Wikidata Q1488549
Type-2 Gumbel distributionKE81J0S9B3definitionopenWikipedia List of probability distributions#UEE5
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-class limitsMHEG53NZWAstatementrecord (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.19982#CSDE
Type-consistent OCPN4YHVE64Q3Ndefinitionrecord (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.20478#Q1AJ
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-level programmingHD7X6PM9CSunknownopenWikipedia Dependent type#XQ9G
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
Typed and untyped languages6CWJ05FK5XunknownopenWikipedia Programming language#XBOR
Typed lambda calculus7K63Q9V04SdefinitionopenWikipedia List of mathematical logic topics#5P08
Typed lambda calculusY36786VX03definitionopenWikipedia Typed lambda calculus, Wikidata Q2607208
Typed lexical transformationQ240EDS5H3definitionrecord (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.20207#43GK
Typeface644AQ0ZZ2DunknownopenWikipedia List of steganography techniques#XG77
typesKBNTM0F8MHdefinitionopenWikipedia List of unsolved problems in mathematics#WN48
Types 1, 2, 3, and 4 encryptionVKNCX8V021unknownopenWikipedia List of telecommunications encryption terms#JB9T