Inventory: K
The rows of the inventory whose names start with K. 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.
- Other 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 401–500 of 3381.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| K4CA5TY87W | K4CA5TY87W | 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.01433#J14E |
| K4CKTMM971 | K4CKTMM971 | exercise | open | napkin tex/riemann-surface/morphism.tex#ques-1 |
| K4CNMGB1JK | K4CNMGB1JK | exercise | open | active_calculus source/activities/act-5-1-3.xml#act-5-1-3 |
| K4CXJYQ442 | K4CXJYQ442 | statement | open | hott_book equivalences.tex#thm:mono-surj-equiv |
| K4DPQZB4ZY | K4DPQZB4ZY | 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 1009.2043#ORH2 |
| K4DRBD3QF5 | K4DRBD3QF5 | 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.35030#1DHX |
| K4E1CZ056G | K4E1CZ056G | 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.25129#8C7A |
| K4ERPWAEET | K4ERPWAEET | exercise | open | lebl_diffyqs ch-laplace.tex#exercise-35 |
| K4EWD2ZA3J | K4EWD2ZA3J | statement | open | hott_book hlevels.tex#thm:h-set-refrel-in-paths-sets |
| K4FXBSE5J5 | K4FXBSE5J5 | 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.19260#462A |
| K4G19NE1N4 | K4G19NE1N4 | example | 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.18242#YO0M |
| K4H9WP1YT5 | K4H9WP1YT5 | 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.05820#3DXP |
| K4JGGFB31N | K4JGGFB31N | 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.03449#7A64 |
| K4JMRR7GXT | K4JMRR7GXT | 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.27965#2MQU |
| K4JTP82W8H | K4JTP82W8H | 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.17736#6CA4 |
| K4JX115WSQ | K4JX115WSQ | 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.20932#F2I1 |
| K4K7HK417T | K4K7HK417T | 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 2206.12966#1YB7 |
| K4KBQEF0QS | K4KBQEF0QS | 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.13556#CYCV |
| K4KWXMVPGN | K4KWXMVPGN | exercise | open | austin_ula src/exercises/exercises3-1.xml#ex-right-inverse |
| K4M03ST7TW | K4M03ST7TW | 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.24307#2E8L |
| K4M0G44YF3 | K4M0G44YF3 | 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 2211.16099#S3NE |
| K4M5TKT59K | K4M5TKT59K | 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.08091#NFQW |
| K4MAKCZWP7 | K4MAKCZWP7 | statement | open | open_logic content/normal-modal-logic/axioms-systems/proofs-modal-systems.tex#prop:S5facts |
| K4MFVMF8CM | K4MFVMF8CM | 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 2409.20170#285O |
| K4P03DDEZE | K4P03DDEZE | 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 2207.11097#3Z85 |
| K4PG3S38FD | K4PG3S38FD | 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 2410.16036#51NA |
| K4PQKP7MN7 | K4PQKP7MN7 | 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.21092#LMHY |
| K4PR7370SY | K4PR7370SY | 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.26496#QGXD |
| K4QBYWNX6E | K4QBYWNX6E | 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.07741#IPDM |
| K4QJMQ2E10 | K4QJMQ2E10 | 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.28211#WNNM |
| K4R76K50GK | K4R76K50GK | 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.07190#YKCR |
| K4RK0K7PS7 | K4RK0K7PS7 | 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 2410.10337#QGYH |
| K4S1AGVGA2 | K4S1AGVGA2 | 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.21781#QVUT |
| K4SFMDJ2KF | K4SFMDJ2KF | 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.03341#JJQQ |
| K4SRCPG5FR | K4SRCPG5FR | 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.14838#YJPL |
| K4SRGT742S | K4SRGT742S | 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.05776#ESN0 |
| K4T40AYV2P | K4T40AYV2P | unknown | open | arXiv 2610.09206#E5S8 |
| K4T75VVJ19 | K4T75VVJ19 | 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 2111.08123#1R3I |
| K4TKCE21QK | K4TKCE21QK | statement | open | open_logic content/normal-modal-logic/axioms-systems/derived-rules.tex#prop-1 |
| K4TMF0FPHQ | K4TMF0FPHQ | 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 2211.10178#DICP |
| K4TWMHCPW3 | K4TWMHCPW3 | 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.13260#GSIW |
| K4V379GHTX | K4V379GHTX | 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.35421#NOOF |
| K4V6JEBJ0X | K4V6JEBJ0X | unknown | open | arXiv 2410.01436#32RN |
| K4VSMBRZTC | K4VSMBRZTC | example | 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.40029#0F6E |
| K4VW2RSMTA | K4VW2RSMTA | 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 2503.22636#XADD |
| K4WPG1F5W8 | K4WPG1F5W8 | statement | open | hott_book hits.tex#thm:set-pushout |
| K4X9GPPAMT | K4X9GPPAMT | 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 1002.0879#7GX5 |
| K4XCNH9J46 | K4XCNH9J46 | 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.05506#S5X0 |
| K4XKYV8GAV | K4XKYV8GAV | 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.07530#XUO5 |
| K4XQQK1E9Z | K4XQQK1E9Z | definition | open | hott_book logic.tex#defn:decidable-equality |
| K4XRPQCP0G | K4XRPQCP0G | 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.01928#5HIC |
| K4XVWBN1XM | K4XVWBN1XM | example | 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.36181#TD0J |
| K4XXZ5JJHZ | K4XXZ5JJHZ | example | 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 2111.07409#TVZD |
| K4Z30MT49M | K4Z30MT49M | 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 0902.2829#VL84 |
| K4ZHEGYATX | K4ZHEGYATX | 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.33590#Q6PJ |
| K4ZPCR62W9 | K4ZPCR62W9 | 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 2502.08738#68S6 |
| K50BVZGP7E | K50BVZGP7E | 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.10338#W63I |
| K50YHP9KZS | K50YHP9KZS | 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.07530#4OWT |
| K51EDWBW2R | K51EDWBW2R | 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.38556#D5WM |
| K5245X7JTG | K5245X7JTG | 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.10796#KFDM |
| K52RHTA213 | K52RHTA213 | 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 2509.20257#3PEC |
| K5349780Z2 | K5349780Z2 | 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.06806#60NE |
| K53C4J38EY | K53C4J38EY | 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.03719#CYAK |
| K53N023SND | K53N023SND | 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 1009.2047#HH52 |
| K547JBNH2N | K547JBNH2N | 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.39675#YKDH |
| K5486Z64H6 | K5486Z64H6 | 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.39293#U1CB |
| K54HHR4X6F | K54HHR4X6F | 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.05067#U2BD |
| K54M92Y9NK | K54M92Y9NK | 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.32977#GAKE |
| K54RY5QFZN | K54RY5QFZN | statement | open | lebl_ra ch-riemann.tex#prop:monotoneintegrable |
| K54ZP74W77 | K54ZP74W77 | 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.03628#CMO2 |
| K55127EY6R | K55127EY6R | 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.28350#14KB |
| K55X5XFQP4 | K55X5XFQP4 | 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.31604#M4AM |
| K56CS5MT1Z | K56CS5MT1Z | exercise | open | lebl_scv scv.tex#exercise-266 |
| K56DRC7T2J | K56DRC7T2J | 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.24465#5L8I |
| K56JF97BHK | K56JF97BHK | 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.37520#GC7F |
| K56SB2JS6D | K56SB2JS6D | 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.11478#FH9Y |
| K56TCEDETB | K56TCEDETB | 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.16358#5BCI |
| K57GBZW305 | K57GBZW305 | example | 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 2508.03972#KLW7 |
| K58E81VG3R | K58E81VG3R | 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.09694#42X0 |
| K58S4GEG5X | K58S4GEG5X | example | 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 2404.18704#DKOG |
| K58XV4WBK1 | K58XV4WBK1 | proof | open | levin_dmoi ptx/sec_counting-proofs.ptx#proof-2 |
| K596A1QQD7 | K596A1QQD7 | 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.04645#JJZZ |
| K597EJDZVX | K597EJDZVX | 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.08145#7VAW |
| K59A53EYDQ | K59A53EYDQ | 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.00843#EQAX |
| K59W78NJZM | K59W78NJZM | 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.26896#C0D1 |
| K5AERQ86HH | K5AERQ86HH | 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.01653#HB63 |
| K5B219VWJS | K5B219VWJS | 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.28323#39TL |
| K5BBVX0QG7 | K5BBVX0QG7 | 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.35682#EVR8 |
| K5BF39M9J9 | K5BF39M9J9 | 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.27800#YNTD |
| K5CPKT3C91 | K5CPKT3C91 | definition | open | hott_book setmath.tex#defn-3 |
| K5DA00P2VA | K5DA00P2VA | 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 2601.15010#TSPA |
| K5DAEN534A | K5DAEN534A | 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.25111#9SBG |
| K5DH5WFQK7 | K5DH5WFQK7 | 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.09949#O269 |
| K5E1MM7WDP | K5E1MM7WDP | 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.16768#44I8 |
| K5E2EMX8WA | K5E2EMX8WA | 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 2509.21444#ZYBV |
| K5E64SY03E | K5E64SY03E | example | 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.08837#9EIQ |
| K5EBNJZQGS | K5EBNJZQGS | 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.16081#VBFC |
| K5EJ7MBHA9 | K5EJ7MBHA9 | 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.32906#AO6E |
| K5F1FZPMJJ | K5F1FZPMJJ | 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 2012.05048#HH1G |
| K5F7JSA0MM | K5F7JSA0MM | 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.27360#6A7H |