Inventory: C
The rows of the inventory whose names start with C. 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 6701–6800 of 7242.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| CV89R8Q7AH | CV89R8Q7AH | 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.20909#N7YB |
| CV8NEA5HDD | CV8NEA5HDD | exercise | open | austin_ula src/section3-3.xml#ula-preview-3-3 |
| CV93G94GZQ | CV93G94GZQ | 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.15593#UED3 |
| CV9TDBXFR1 | CV9TDBXFR1 | 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.04608#A54C |
| CV9WJNH4B8 | CV9WJNH4B8 | 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 math/0406514#BDPL |
| CV9XZTJJRX | CV9XZTJJRX | 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.12014#JNBY |
| CVA6J30WWP | CVA6J30WWP | 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 2406.19866#W8PC |
| CVAHHQFZ65 | CVAHHQFZ65 | proof | open | napkin tex/set-theory/ordinal.tex#proof-2 |
| CVBF78W7ZK | CVBF78W7ZK | 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.01915#0G62 |
| CVBFX5CTB0 | CVBFX5CTB0 | 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.14012#F6QK |
| CVBPEFMCF3 | CVBPEFMCF3 | 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.34283#ELNZ |
| CVBQZ4MH8K | CVBQZ4MH8K | exercise | open | lebl_scv scv.tex#exercise-240 |
| CVCMPEMRBF | CVCMPEMRBF | 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.05320#ZO52 |
| CVCR2YAV0C | CVCR2YAV0C | 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.02791#KCOK |
| CVCRC7K0EV | CVCRC7K0EV | 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.29501#22DY |
| CVD76G733S | CVD76G733S | 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 2001.10234#OXS0 |
| CVD8RFANF4 | CVD8RFANF4 | 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.31907#IP6A |
| CVDNVCCZ6R | CVDNVCCZ6R | 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.26948#DJ21 |
| CVDZN0AVT5 | CVDZN0AVT5 | 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.09494#YTVR |
| CVE4G2QJTM | CVE4G2QJTM | example | open | open_logic content/lambda-calculus/syntax/free-variables.tex#ex-1 |
| CVEA7CMZZ6 | CVEA7CMZZ6 | 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#FIHC |
| CVEHFWSZ68 | CVEHFWSZ68 | 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.02495#F7SH |
| CVFYVZ82NY | CVFYVZ82NY | 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.30086#NT0O |
| CVGXFFMV6J | CVGXFFMV6J | 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.15169#FGA1 |
| CVHBQFA20B | CVHBQFA20B | 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 2506.16491#5PZX |
| CVHYS8X59Z | CVHYS8X59Z | 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.36717#J2MU |
| CVJB5H1XF5 | CVJB5H1XF5 | conjecture | 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.05722#8PB3 |
| CVJD1V7VS2 | CVJD1V7VS2 | 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.18061#YSDQ |
| CVKETF90D8 | CVKETF90D8 | statement | open | hott_book basics.tex#thm:ap-transport |
| CVKKWQB227 | CVKKWQB227 | statement | open | hott_book hits.tex#cor-1 |
| CVMSKFGQGW | CVMSKFGQGW | 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.06764#DZOQ |
| CVMSN1W2KX | CVMSN1W2KX | exercise | open | austin_ula src/exercises/exercises1-3.xml#exercise-5 |
| CVNDNJMBZ5 | CVNDNJMBZ5 | 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.13214#AD44 |
| CVNEZDQEJ6 | CVNEZDQEJ6 | 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 2504.00267#PFMW |
| CVNFW34VDT | CVNFW34VDT | 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.04772#634N |
| CVNJDHY7F3 | CVNJDHY7F3 | 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.24789#UNPJ |
| CVNRK8J458 | CVNRK8J458 | 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.27628#6JIG |
| CVNRQH2ZZ8 | CVNRQH2ZZ8 | statement | open | hott_book hits.tex#lem:quotient-when-canonical-representatives |
| CVPTDAFA3M | CVPTDAFA3M | conjecture | 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.03612#ZHML |
| CVPTMSCSKC | CVPTMSCSKC | 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.14616#GXHV |
| CVRGE3YH6K | CVRGE3YH6K | 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.38838#7VXO |
| CVRTGDM6CD | CVRTGDM6CD | 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.37439#2IPU |
| CVRV296GYV | CVRV296GYV | exercise | open | active_calculus source/activities/act-1-3-2.xml#act-1-3-2 |
| CVS7ZG2N27 | CVS7ZG2N27 | 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 1310.6698#WD9Q |
| CVSDSYMD06 | CVSDSYMD06 | 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 1701.00517#S4K4 |
| CVSFMR627E | CVSFMR627E | 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 2603.07541#IHAT |
| CVSFP6FVF1 | CVSFP6FVF1 | 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.21358#YY9X |
| CVT1P6Y15W | CVT1P6Y15W | 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 2504.19468#3OHN |
| CVT6K51GWV | CVT6K51GWV | 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.22074#LPXC |
| CVT7YMAQZP | CVT7YMAQZP | 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.30664#EYY8 |
| CVTGYFKQPH | CVTGYFKQPH | statement | open | lebl_scv scv.tex#thm-18 |
| CVTQJ7MSR2 | CVTQJ7MSR2 | 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 1704.04089#XU79 |
| CVTSCK0638 | CVTSCK0638 | 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#DBLU |
| CVTVWBPQCX | CVTVWBPQCX | 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.06461#6TP5 |
| CVTXS0JDKF | CVTXS0JDKF | 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 2511.07697#JBGX |
| CVVSJ1ZGNX | CVVSJ1ZGNX | 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 2304.02722#2GS4 |
| CVW6MWDBKX | CVW6MWDBKX | 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.26058#9JL1 |
| CVWP3EB9TP | CVWP3EB9TP | exercise | open | lebl_ra ch-seq-funcs.tex#exercise-12 |
| CVWS05JRFV | CVWS05JRFV | 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.32829#U0VZ |
| CVWW6R20WQ | CVWW6R20WQ | statement | open | open_logic content/set-theory/cardinals/classing.tex#omegaisacardinal |
| CVWX0H9EH3 | CVWX0H9EH3 | 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.35691#TRJK |
| CVXFCZ41Y6 | CVXFCZ41Y6 | 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.05621#7XD5 |
| CVY7SKFRCN | CVY7SKFRCN | 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.10077#AGL2 |
| CVY88K5QWB | CVY88K5QWB | 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.37706#BCTD |
| CVYV2XV6YT | CVYV2XV6YT | 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.18620#WY8P |
| CVZ2PZG6GR | CVZ2PZG6GR | 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 2202.10212#DHAZ |
| CVZ48X17XS | CVZ48X17XS | 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.36613#M8A3 |
| CVZ65BQX15 | CVZ65BQX15 | statement | open | napkin tex/H113/structure.tex#theorem-4 |
| CVZAFQ0TVY | CVZAFQ0TVY | proof | open | open_logic content/incompleteness/theories-computability/inseparability.tex#proof-1 |
| CVZNSMFGPQ | CVZNSMFGPQ | 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.11946#VL3S |
| CW complex | G9TFBH5Q8T | concept | open | hott_book index/u1.u4/cw-complex |
| CW complex | J1S7WDAX7V | unknown | open | Wikidata Q189061, EoM CW-complex, MathWorld CW-Complex, nLab CW complex |
| CW complex | T45DXSQWVT | concept | open | hott_book index/7.7.2/cw-complex |
| CW complex | WGJPZ16MT7 | concept | open | hott_book index/5.6/cw-complex |
| CW realization of coherent permuted gluings | 3P2E5X4CT2 | 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.32733#KQC6 |
| CW-complex | 8Q9SX5TJF9 | 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.15099#ILHC |
| CW-pair | 3CZADJ2F9M | unknown | open | Wikidata Q91748015, nLab CW-pair |
| CW1880Y2VW | CW1880Y2VW | 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.31523#V061 |
| CW1CD5B5TF | CW1CD5B5TF | 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.17516#5RV0 |
| CW1MBMH2J2 | CW1MBMH2J2 | 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 1912.13357#XWM9 |
| CW1XD0994G | CW1XD0994G | exercise | open | lebl_ra ch-riemann.tex#exercise:smoothingout |
| CW2B17BQEB | CW2B17BQEB | 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 2608.17785#A504 |
| CW2VX57F72 | CW2VX57F72 | 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.10745#OD8W |
| CW362E3RSX | CW362E3RSX | 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.21960#7ZOH |
| CW3GS7C26P | CW3GS7C26P | 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.15535#Q3IE |
| CW3QTEPVVD | CW3QTEPVVD | 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.09390#5BL3 |
| CW3S7JHEZX | CW3S7JHEZX | 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.16779#7NMQ |
| CW42SYRKDK | CW42SYRKDK | 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.12017#8I1U |
| CW4BKRNYBV | CW4BKRNYBV | 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.12810#6R8V |
| CW4HAS40RD | CW4HAS40RD | exercise | open | lebl_scv scv.tex#exercise-54 |
| CW5HPA36N3 | CW5HPA36N3 | 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.07259#3QIU |
| CW66NNX53M | CW66NNX53M | 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.30579#NGW7 |
| CW6DTPHEHM | CW6DTPHEHM | 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.00344#NIZT |
| CW6MY3GSHF | CW6MY3GSHF | 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.04124#28BV |
| CW6QVF0X8P | CW6QVF0X8P | 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.39700#OBGH |
| CW6RREVWGN | CW6RREVWGN | 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.40200#GIXT |
| CW7A8F3ZQ1 | CW7A8F3ZQ1 | 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.37634#T6SG |
| CW7QCB40E0 | CW7QCB40E0 | 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 2212.00617#XWES |
| CW7W81JE4P | CW7W81JE4P | 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.05204#P8EB |
| CW87RCAGQ5 | CW87RCAGQ5 | 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.35323#I8CR |