Six functor formalisms via internal higher algebra BDN507RN7J
| URI | m2://res/BDN507RN7J |
|---|---|
| Kind | preprint |
| Creators | Shachar Carmeli, Guy Kapon, Noam Nissan |
| Date | 2026-09-29 |
| MSC | 18-XX, 14-XX, 55-XX |
| Subjects | arxiv math.CT, arxiv math.AG, arxiv math.AT |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-09-29 |
| Ids | arXiv 2609.37520, zbl_id 903189703 |
Items in this resource
The mentions of the inventory that name this resource. Each name links to the card of its inventory row.
| Item | Kind | Where | Source |
|---|---|---|---|
| 11S8R18T30 | statement | proposition 4.3.2 | arxiv |
| 15GFW0K18R | statement | proposition 4.7.9 | arxiv |
| 1EYZ5G8WXK | statement | proposition 4.1.8 | arxiv |
| 1G6W7M4Z5K | statement | proposition 5.2.6 | arxiv |
| $m$-cartesian structures | definition | definition 3.5.3 | arxiv |
| 1K5TPP2B77 | statement | corollary 2.2.8 | arxiv |
| 1MFCN8T4VX | statement | proposition 3.2.18 | arxiv |
| 1MHVZMYNSM | statement | proposition 3.5.13 | arxiv |
| 1MVTKGNR1X | statement | proposition 4.7.6 | arxiv |
| 1NYBMN8PZY | definition | definition 3.6.2 | arxiv |
| 1QJ33DW51C | definition | definition 3.1.14 | arxiv |
| 1WM6JTX4VY | statement | corollary 3.8.10 | arxiv |
| 1ZBBFJNRTP | statement | proposition 4.2.2 | arxiv |
| 1ZMG4R11QM | statement | proposition 3.2.26 | arxiv |
| 21F9PGQ63W | definition | definition 3.6.4 | arxiv |
| 244WA6MZXQ | statement | theorem 2.3.3 | arxiv |
| 26P7NKAEX7 | statement | theorem 6.2.6 | arxiv |
| 277ZEBWX19 | statement | proposition 4.4.6 | arxiv |
| 28ECDK6629 | statement | theorem 4.1.21 | arxiv |
| 2RCGQA3NEC | statement | corollary 2.2.4 | arxiv |
| 2RT6GCJ566 | statement | proposition 4.4.1 | arxiv |
| 2ZY8T8YVVC | statement | corollary 3.8.4 | arxiv |
| 332WGF8M2Z | definition | definition 4.7.4 | arxiv |
| 33JMSARPD0 | statement | theorem 4.1.22 | arxiv |
| 341VDY4KVF | definition | definition 3.6.21 | arxiv |
| 399SC268KH | statement | proposition 3.5.17 | arxiv |
| 3AEYN4M8JH | statement | proposition 3.6.6 | arxiv |
| 3F1FYMKD0N | statement | proposition 3.5.6 | arxiv |
| 3FJ6WN44DC | definition | definition 3.1.4 | arxiv |
| 3V7F5402EP | example | example 4.2.12 | arxiv |
| 3ZJ0BCSXNS | statement | proposition 5.1.1 | arxiv |
| 40NNTQKZRN | statement | proposition 2.4.3 | arxiv |
| 4F3EKYR92J | definition | definition 4.1.23 | arxiv |
| 4HZ3S7KY7R | definition | definition 3.7.4 | arxiv |
| 4KDQN5ZDR7 | example | example 3.6.19 | arxiv |
| Mann | conjecture | conjecture 1.1.1 | arxiv |
| 4Z6M1CB374 | definition | definition 2.4.1 | arxiv |
| 5BDTF55MR5 | statement | proposition 5.2.8 | arxiv |
| 5TTMNYR42H | statement | corollary 6.2.7 | arxiv |
| 5XC1W69Z1E | statement | proposition 2.2.6 | arxiv |
| 5YNQM09XD4 | statement | proposition 5.2.7 | arxiv |
| 601BGWWWVY | statement | proposition 4.1.16 | arxiv |
| 61DR7HQ4Q0 | statement | proposition 3.6.17 | arxiv |
| 6280MSZYG2 | statement | theorem 3.8.13 | arxiv |
| categories of spans | definition | definition 3.1.5 | arxiv |
| 66DK0062P6 | statement | theorem 4.1.19 | arxiv |
| 66ETS1JT13 | example | example 4.1.13 | arxiv |
| 677ZWG9EB1 | statement | proposition 3.7.3 | arxiv |
| 67SNS6FXZJ | statement | theorem 4.1.12 | arxiv |
| 68YM18AZKQ | statement | proposition 3.2.25 | arxiv |
| 6FJ5KTF884 | definition | definition 3.7.2 | arxiv |
| 6S27E4WW4K | statement | proposition 4.2.11 | arxiv |
| 6YECGS82PN | example | example 4.2.3 | arxiv |
| 6YZSCH6T47 | statement | corollary 4.4.10 | arxiv |
| 71B7DCC2TZ | statement | proposition 3.6.25 | arxiv |
| 73AJWXA43N | definition | definition 3.2.19 | arxiv |
| 746QMTCMZX | definition | definition 4.1.10 | arxiv |
| 749CPH0XS2 | statement | proposition 4.4.2 | arxiv |
| 75P4D776AK | statement | proposition 3.6.11 | arxiv |
| 75S7BDWS4P | statement | proposition 3.2.11 | arxiv |
| 7H0GS8GABN | definition | definition 4.4.3 | arxiv |
| 7H5FDVM4PS | statement | corollary 3.2.10 | arxiv |
| 7SDZP8AY89 | statement | theorem 3.3.10 | arxiv |
| 7STEXEFNW1 | statement | proposition 4.7.10 | arxiv |
| 7TJP17WZC4 | definition | definition 3.2.1 | arxiv |
| 7TY235PFTX | statement | proposition 3.5.4 | arxiv |
| 7W5P55ZDYY | definition | definition 6.2.1 | arxiv |
| 7WG142DE4T | statement | proposition 4.4.12 | arxiv |
| 810C5XN0EN | statement | corollary 2.1.9 | arxiv |
| 83GD3WNQS8 | example | example 4.5.10 | arxiv |
| 83NYP1YXNH | example | example 3.2.5 | arxiv |
| 85J4KC0YN6 | statement | proposition 4.5.4 | arxiv |
| 8BP5C6A4QE | statement | proposition 3.1.15 | arxiv |
| 8D6DNAQGXV | statement | corollary 4.5.6 | arxiv |
| 8DMZRWNT6X | unknown | unknown 2.1.1 | arxiv |
| 8JQG6M5X6C | definition | definition 3.1.2 | arxiv |
| 8JYMKSPJ38 | example | example 4.1.3 | arxiv |
| 8KE5DPYQDY | definition | definition 4.6.6 | arxiv |
| 8KHJRR0GTT | example | example 3.2.16 | arxiv |
| 8KQ88DHPSX | statement | lemma 3.6.16 | arxiv |
| 8P1N0XN8GJ | statement | proposition 4.7.2 | arxiv |
| 909XYYZVM1 | statement | theorem A | arxiv |
| 94DVM43TZ9 | statement | theorem 6.1.3 | arxiv |
| 9F8KERQXNH | statement | proposition 3.8.8 | arxiv |
| 9MPQR2T7H4 | definition | definition 3.2.15 | arxiv |
| 9NNJ3HGBEX | statement | proposition 4.2.5 | arxiv |
| 9NREPWB2KJ | statement | proposition 3.7.1 | arxiv |
| 9PZSTZAAJ9 | statement | lemma 4.1.17 | arxiv |
| 9TRG49G40X | definition | definition 4.1.1 | arxiv |
| 9XK2S66RRT | statement | proposition 5.2.5 | arxiv |
| A3CXV3V1TD | statement | proposition 4.4.11 | arxiv |
| A79422YRJF | example | example 4.2.7 | arxiv |
| A7BA7NYMAX | definition | definition 2.3.2 | arxiv |
| AW4155M0P2 | statement | proposition 5.2.9 | arxiv |
| B6SQ7E6M2T | example | example 3.7.6 | arxiv |
| BEN5VN732B | statement | proposition 3.5.20 | arxiv |
| BJ4DMDNZE7 | definition | definition 3.6.1 | arxiv |
| BMQRV0XEBS | statement | proposition 4.2.10 | arxiv |
| BQ9E609ST7 | statement | lemma 2.2.5 | arxiv |
| BWDR8JTJVW | statement | proposition 4.5.9 | arxiv |
| BYYJS2RAFF | definition | definition 3.1.8 | arxiv |
| C221RCY4F5 | definition | definition 4.2.4 | arxiv |
| C6A74PEWTW | definition | definition 3.1.16 | arxiv |
| C80ZC8B07X | statement | theorem 1.3.1 | arxiv |
| C8TAK7Z02G | example | example 4.6.2 | arxiv |
| C9CQ7QSZA5 | statement | theorem 3.5.7 | arxiv |
| CAEEQF94C8 | statement | proposition 6.2.3 | arxiv |
| CB9WV6VGK4 | example | example 3.3.1 | arxiv |
| CC1Q8102RZ | statement | theorem B | arxiv |
| CC2EWPGF35 | statement | proposition 5.2.4 | arxiv |
| CK8CKCM5FT | definition | definition 4.2.8 | arxiv |
| CNFBHT9J09 | statement | corollary 3.3.6 | arxiv |
| CZ61G2TXMY | statement | lemma 3.2.20 | arxiv |
| CZMPMSFMKF | statement | proposition 3.1.19 | arxiv |
| D050D8G8FK | statement | proposition 4.1.7 | arxiv |
| D0JENNK29R | statement | corollary 3.5.31 | arxiv |
| D1J60P063R | statement | theorem 3.5.29 | arxiv |
| D3NGYY32WC | statement | proposition 3.5.23 | arxiv |
| D3X45ZTD6D | statement | corollary 3.8.11 | arxiv |
| D68JPGETPY | definition | definition 3.2.22 | arxiv |
| D795QD33PP | statement | corollary 3.6.8 | arxiv |
| D9AV67HZMG | definition | definition 2.1.5 | arxiv |
| DARKJARPHZ | statement | corollary 4.4.7 | arxiv |
| DC610XWMH0 | definition | definition 3.6.5 | arxiv |
| DP98HRBDHN | statement | proposition 4.3.1 | arxiv |
| DSJ9HC04YF | statement | proposition 6.1.2 | arxiv |
| DTDK1WD90Y | example | example 4.2.6 | arxiv |
| DTZR9HPKVV | statement | proposition 3.8.1 | arxiv |
| DX637S2BQN | statement | proposition 6.2.8 | arxiv |
| E5F2PKSEX3 | definition | definition 3.5.14 | arxiv |
| $m$-cocartesian structures | unknown | unknown 3.5.5 | arxiv |
| EMNSH2EK6C | definition | definition 3.1.7 | arxiv |
| EZRQW4AV0H | statement | proposition 3.2.21 | arxiv |
| F14N45SFXT | statement | proposition 3.7.5 | arxiv |
| FBJJ8EGRDF | statement | theorem 1.5.1 | arxiv |
| FDA5VNCEWH | statement | proposition 4.1.6 | arxiv |
| FERR0DMM8H | statement | proposition 4.2.15 | arxiv |
| FGXM7F98QX | statement | theorem C | arxiv |
| FRNJHC9R1J | statement | proposition 4.7.11 | arxiv |
| FV725GTJB0 | statement | proposition 5.1.4 | arxiv |
| FZNQAN76CC | example | example 3.2.6 | arxiv |
| G027BH9F9T | statement | proposition 3.5.24 | arxiv |
| G79TZC5QW7 | statement | proposition 5.2.3 | arxiv |
| GB3850FY1Y | definition | definition 2.1.4 | arxiv |
| GC7BGJKGJB | example | example 3.5.16 | arxiv |
| GCKSW2RQ3A | statement | corollary 5.3.1 | arxiv |
| GJV3QF965K | statement | proposition 4.6.4 | arxiv |
| GN8NJAVZQH | statement | lemma 2.2.3 | arxiv |
| GRWS9WHVG8 | statement | proposition 4.7.3 | arxiv |
| GSE2F52ZY5 | statement | proposition 6.2.9 | arxiv |
| GVDDECGQY0 | statement | lemma 6.2.2 | arxiv |
| H3JW2B44D4 | statement | lemma 4.5.3 | arxiv |
| HB71EVNR7V | statement | proposition 2.2.7 | arxiv |
| HE1BZ8TSHA | statement | corollary 3.7.10 | arxiv |
| the doubling functor | statement | corollary 3.5.8 | arxiv |
| HJFP5GMNTA | definition | definition 3.1.1 | arxiv |
| HKKEMB1WH0 | statement | proposition 2.2.1 | arxiv |
| J3Z3FDCHPN | definition | definition 4.7.1 | arxiv |
| J4TMGGG0GV | statement | proposition 3.5.26 | arxiv |
| J5Y7KNX9SZ | definition | definition 2.3.1 | arxiv |
| J99ZN37NWQ | statement | corollary 4.4.13 | arxiv |
| JAT4SQNE77 | statement | corollary 3.8.12 | arxiv |
| JQHVVPPJHQ | statement | proposition 3.8.7 | arxiv |
| JTZ907Y093 | statement | proposition 3.3.5 | arxiv |
| JWK1VW4ZSA | statement | proposition 3.7.9 | arxiv |
| JWT755K722 | statement | proposition 6.1.6 | arxiv |
| JZPZQGVSTC | statement | theorem 2.4.4 | arxiv |
| K0K0YAT094 | definition | definition 4.1.11 | arxiv |
| K3K9CGZA0N | statement | proposition 3.1.11 | arxiv |
| K56JF97BHK | definition | definition 3.1.13 | arxiv |
| KK1W3PDZWT | statement | lemma 2.1.8 | arxiv |
| KZPDP3A991 | statement | proposition 3.3.3 | arxiv |
| M07SSZPT5D | example | example 4.1.15 | arxiv |
| M58AMZ6B89 | statement | lemma 3.5.1 | arxiv |
| M64TMZNZ4N | statement | lemma 6.1.1 | arxiv |
| M6HGRF7G8G | statement | corollary 3.5.11 | arxiv |
| M93HVY9A22 | statement | proposition 2.4.5 | arxiv |
| MK2BQM7EJH | statement | corollary 3.8.3 | arxiv |
| MQNBKKJK5E | statement | proposition 3.2.9 | arxiv |
| N0SC38VABH | problem | problem 3.5.12 | arxiv |
| N4SY0KXZR2 | statement | theorem 4.2.13 | arxiv |
| NEN63PQJR8 | statement | proposition 5.1.2 | arxiv |
| NZ0JKM532R | statement | proposition 4.6.5 | arxiv |
| unfurling | definition | definition 3.1.6 | arxiv |
| P4QDSNNAKF | statement | lemma 3.6.23 | arxiv |
| P7M2DFY92E | example | example 4.1.2 | arxiv |
| PC06YZDNNB | statement | proposition 4.6.3 | arxiv |
| PCVNNC40FY | definition | definition 3.3.2 | arxiv |
| PM1EMZGSAS | definition | definition 4.1.14 | arxiv |
| PMZVCS7HCX | definition | definition 4.1.20 | arxiv |
| PPGJD1CSW5 | definition | definition 3.3.4 | arxiv |
| PYG3Q0T1K5 | statement | corollary 3.5.15 | arxiv |
| Q3NAB2AY9X | definition | definition 3.8.5 | arxiv |
| Q81RT08A4R | statement | proposition 4.5.5 | arxiv |
| Q9KMAKJ4W4 | statement | theorem 6.1.5 | arxiv |
| QCYC9P5T3A | definition | definition 3.3.8 | arxiv |
| QESNYZHZ7F | statement | proposition 3.2.12 | arxiv |
| internal unfurling | definition | definition 3.1.10 | arxiv |
| QR19BV46DN | definition | definition 4.4.8 | arxiv |
| QRG2KWY9EH | definition | definition 3.6.18 | arxiv |
| R079QGMM0W | statement | lemma 2.3.5 | arxiv |
| R3RYSEKEYA | statement | proposition 3.6.9 | arxiv |
| R6MYWPSNPY | statement | proposition 3.6.13 | arxiv |
| RE2RSFYJ68 | statement | proposition 3.5.19 | arxiv |
| RPKA18HXF0 | definition | definition 2.1.2 | arxiv |
| RSQ0PYTDA6 | statement | theorem 4.2.14 | arxiv |
| RWMSK77EYA | statement | theorem 3.1.18 | arxiv |
| RYV75YPGSV | statement | proposition 4.3.3 | arxiv |
| S0G5WJ5ZYP | definition | definition 2.1.6 | arxiv |
| S2QGAZ4YS0 | statement | proposition 4.2.9 | arxiv |
| SSYY9FKA8Q | statement | proposition 3.2.24 | arxiv |
| SW745DY9KV | definition | definition 4.1.4 | arxiv |
| SYZDV564V0 | definition | definition 3.6.10 | arxiv |
| T0ECJE0S3H | statement | proposition 3.5.21 | arxiv |
| T2XT8JMJV0 | statement | theorem 5.3.4 | arxiv |
| T3AJNTJ0JK | statement | proposition 4.4.4 | arxiv |
| T4KPJ7MWW0 | statement | lemma 4.1.18 | arxiv |
| TE64G9WJ5E | statement | lemma 6.2.4 | arxiv |
| TJKNXXK0AA | statement | proposition 4.4.5 | arxiv |
| TWEHDH54DF | statement | theorem 3.1.12 | arxiv |
| V8QWKEY47J | statement | proposition 3.1.9 | arxiv |
| VAGRTGCSDP | statement | corollary 3.8.2 | arxiv |
| VDQ4QYBMEP | statement | corollary 4.1.25 | arxiv |
| VQTMMXSC12 | definition | definition 3.6.24 | arxiv |
| VT9QG127ZT | statement | lemma 3.1.17 | arxiv |
| VW815NJ0C0 | definition | definition 3.6.28 | arxiv |
| VZPASF10N4 | definition | definition 3.7.8 | arxiv |
| W4CFZRWC1Y | statement | proposition 5.2.1 | arxiv |
| W89YHT1Y4A | statement | lemma 2.3.4 | arxiv |
| WAG4E4KPC3 | statement | proposition 3.2.14 | arxiv |
| WFATCY7REJ | statement | proposition 3.4.3 | arxiv |
| WN0W3YEXS6 | statement | theorem 3.5.30 | arxiv |
| WPFD7C4TM1 | statement | corollary 4.5.2 | arxiv |
| WX4QHYZ35Y | statement | proposition 4.5.7 | arxiv |
| X9BK7THR2C | statement | proposition 3.4.1 | arxiv |
| XAREFQDY39 | statement | proposition 4.6.9 | arxiv |
| XB3G2PH1SK | statement | proposition 3.3.9 | arxiv |
| XC2VJZP8E5 | example | example 4.1.5 | arxiv |
| XMC2TR3XPT | definition | definition 3.6.12 | arxiv |
| XNPB71Z5SJ | statement | proposition 4.7.5 | arxiv |
| XPM0MAZ0VX | definition | definition 4.2.1 | arxiv |
| XTMRT3B1NG | statement | corollary 4.5.1 | arxiv |
| XV6T2SEWN4 | statement | theorem 4.5.8 | arxiv |
| XZXEXW7QX6 | definition | definition 4.6.8 | arxiv |
| Y0BSE8KDQD | definition | definition 3.1.3 | arxiv |
| Y31H60BZBP | statement | proposition 3.5.25 | arxiv |
| Y95FF1B1XG | statement | proposition 3.6.26 | arxiv |
| Y9ACDHBX7E | definition | definition 3.5.18 | arxiv |
| YEQDN8A0KB | statement | proposition 6.1.4 | arxiv |
| YJG6RJM9XT | definition | definition 4.6.1 | arxiv |
| YK4FEKEAVD | statement | theorem 3.5.2 | arxiv |
| YKZVZNN590 | statement | proposition 4.1.24 | arxiv |
| YM3KEBSK7V | statement | proposition 4.7.8 | arxiv |
| YN89EECD7R | statement | theorem 3.6.27 | arxiv |
| YP5N4T0YXK | definition | definition 4.7.7 | arxiv |
| YWB3CB7JPY | statement | proposition 3.2.3 | arxiv |
| YY8Q2QH5GT | statement | proposition 3.6.15 | arxiv |
| YYF2HSTSW2 | statement | proposition 3.2.17 | arxiv |
| Z18N877GVF | statement | corollary 3.8.14 | arxiv |
| Z34KP8VRNM | statement | proposition 4.6.7 | arxiv |
| Z3KA7Y8B06 | statement | lemma 3.6.7 | arxiv |
| Z8N2GMNNYT | statement | proposition 2.2.9 | arxiv |
| ZAB3PWBJP0 | statement | corollary 5.2.2 | arxiv |
| ZF5KRQ7PBK | statement | proposition 3.3.7 | arxiv |
| ZJ0M4D3RAM | statement | lemma 5.1.3 | arxiv |
| ZK0M3XHX3H | definition | definition 3.5.9 | arxiv |
| ZW3MPD8NAR | statement | theorem 3.5.27 | arxiv |
| ZYF3SF1GQZ | statement | proposition 3.8.9 | arxiv |
Catalogue records
- arxiv: 2609.37520 (work)
- arxiv_text: 2609.37520 (work)
- zbmath_search: 903189703 (work)