Measuring data types 9ZSNSJRJ5N
| URI | m2://res/9ZSNSJRJ5N |
|---|---|
| Kind | preprint |
| Creators | Lukas Mulder, Paige Randall North, Maximilien Péroux |
| Date | 2024-05-23 |
| MSC | 18-XX, 55-XX |
| Subjects | arxiv math.CT, arxiv cs.LO, arxiv math.AT |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2024-05-23 |
| Ids | arXiv 2405.14678 |
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 |
|---|---|---|---|
| 109HKHNX6F | definition | definition 23 | arxiv |
| 19TWJRG4KV | example | example 12 | arxiv |
| 1S05MP6VR9 | statement | corollary 2 | arxiv |
| 1Y2FWZRQK6 | example | example 29 | arxiv |
| 2FQWKQKPAK | example | example 44 | arxiv |
| 2JDHH57ZPX | statement | corollary 5 | arxiv |
| 2TFV2AD1D6 | example | example 55 | arxiv |
| 2VGAXYQW2E | example | example 15 | arxiv |
| 2VNS4RP7XE | example | example 51 | arxiv |
| 3A0X9YM5HJ | example | example 16 | arxiv |
| 3CG6CMJZ95 | example | example 26 | arxiv |
| $C$-initial algebra | definition | definition 22 | arxiv |
| 3E6BV8BK61 | example | example 45 | arxiv |
| 40A6JERNJ0 | example | example 21 | arxiv |
| polynomial endofunctor, W-type | definition | definition 10 | arxiv |
| 5347QD2QCN | example | example 24 | arxiv |
| well-equipped | definition | definition 21 | arxiv |
| 57HXPXPS8F | statement | proposition 7 | arxiv |
| partial homomorphism | definition | definition 15 | arxiv |
| 5BQCEBPA1G | example | example 33 | arxiv |
| 5JBP3AMZHX | example | example 7 | arxiv |
| 660GE9W4X1 | example | example 43 | arxiv |
| 71T6MKHMAF | example | example 6 | arxiv |
| 768TMP6SRD | example | example 36 | arxiv |
| 7W3XK09TMQ | statement | proposition 5 | arxiv |
| 7XYDJWVHX7 | example | example 37 | arxiv |
| 8AGE4X4AC8 | example | example 10 | arxiv |
| 9C809ED179 | example | example 47 | arxiv |
| 9FTFDJX571 | example | example 56 | arxiv |
| 9SA8KZHMW3 | example | example 13 | arxiv |
| A0AR1SDZAR | statement | lemma 5 | arxiv |
| A84869D39G | statement | lemma 6 | arxiv |
| A8QCS91TQ2 | example | example 39 | arxiv |
| lax symmetric monoidal endofunctor | definition | definition 13 | arxiv |
| functoriality of measurings | definition | definition 4 | arxiv |
| B40E2T87SG | example | example 4 | arxiv |
| BHW9RAQV82 | example | example 49 | arxiv |
| BMXQKHSTB9 | example | example 52 | arxiv |
| DGWWHSFZMZ | example | example 2 | arxiv |
| DH4CVJZKWD | example | example 9 | arxiv |
| DWSRV01AC4 | example | example 20 | arxiv |
| EJDSPH7C5X | statement | lemma 1 | arxiv |
| F78TQV904D | example | example 40 | arxiv |
| G1E436832V | example | example 17 | arxiv |
| G39DD0MQG2 | example | example 23 | arxiv |
| GDBVP1FP7H | statement | theorem 5.1 | arxiv |
| GJ3HDRSR97 | statement | lemma 4 | arxiv |
| GNBAAZPJHN | example | example 3 | arxiv |
| index | definition | definition 20 | arxiv |
| GS1HJQHEKZ | statement | proposition 2 | arxiv |
| GXQDBHWA5J | example | example 25 | arxiv |
| measuring tensor | definition | definition 18 | arxiv |
| H78V57SM91 | statement | theorem 4.2 | arxiv |
| HG8ZTP51VH | statement | theorem 1.1 | arxiv |
| HGN7DJVH9N | example | example 34 | arxiv |
| HNBW8N3W71 | statement | proposition 3 | arxiv |
| J61X2XAXG3 | statement | theorem 2.1 | arxiv |
| KG1BEPSGZ8 | statement | corollary 3 | arxiv |
| preinitial algebra, subterminal coalgebra | definition | definition 19 | arxiv |
| M5P2789990 | example | example 41 | arxiv |
| MGDZR9BEYK | example | example 46 | arxiv |
| MHRMN3Q3MR | statement | corollary 1 | arxiv |
| MMP7MWY9X9 | statement | theorem 4.1 | arxiv |
| MMWCBVM2F4 | example | example 1 | arxiv |
| universal measuring coalgebra | definition | definition 16 | arxiv |
| N37XCDEWYD | example | example 38 | arxiv |
| NG5SM8QAB2 | example | example 54 | arxiv |
| M-type | definition | definition 12 | arxiv |
| P20W4E4RQG | statement | lemma 3 | arxiv |
| algebra | definition | definition 9 | arxiv |
| PED0VB2EPA | example | example 50 | arxiv |
| coalgebra | definition | definition 11 | arxiv |
| PNX664WPSB | example | example 11 | arxiv |
| PWQMC948RJ | example | example 53 | arxiv |
| Q0TECPYQSS | example | example 30 | arxiv |
| QHC74FGFKK | example | example 19 | arxiv |
| QJ0JWXRNAX | statement | proposition 4 | arxiv |
| enriched category | definition | definition 8 | arxiv |
| convolution algebra | definition | definition 1 | arxiv |
| R20HPW08YE | example | example 32 | arxiv |
| R7J6ZWTBG1 | statement | corollary 4 | arxiv |
| RCG585XX9Y | example | example 42 | arxiv |
| REHSYK0HH1 | statement | theorem 3.1 | arxiv |
| RN3THKKWMR | statement | proposition 1 | arxiv |
| RW515BYBSR | statement | theorem 2.3 | arxiv |
| RYGR0XDGCS | example | example 27 | arxiv |
| measuring | definition | definition 14 | arxiv |
| Adámek's fixed point theorem | statement | theorem 3.2 | arxiv |
| S61K7PTDN1 | statement | proposition 6 | arxiv |
| SCTPVEV1R8 | definition | definition 6 | arxiv |
| dual (co)algebra | definition | definition 17 | arxiv |
| partial homomorphism | definition | definition 2 | arxiv |
| measuring | definition | definition 3 | arxiv |
| SY7ZA3P8YS | example | example 31 | arxiv |
| T8D8MEECQK | example | example 14 | arxiv |
| TBNN171JNR | example | example 35 | arxiv |
| V2WAAEG1AC | statement | theorem 4.3 | arxiv |
| V346KHFB4F | example | example 48 | arxiv |
| VH3V0R7FHZ | statement | proposition 8 | arxiv |
| VYRQZ422PD | statement | theorem 5.2 | arxiv |
| Adámek's fixed point theorem | statement | theorem 3.3 | arxiv |
| WCJH0ZSXS3 | statement | lemma 2 | arxiv |
| WJY5H4SATT | example | example 18 | arxiv |
| X66VAQXK1X | example | example 22 | arxiv |
| X78P5DF0NR | statement | theorem 2.2 | arxiv |
| XCVMCMZ9QB | example | example 8 | arxiv |
| universal measuring | definition | definition 5 | arxiv |
| XSAJQVEJ46 | example | example 28 | arxiv |
| Y6D2WWT5GH | statement | theorem 4.4 | arxiv |
| measuring tensor | definition | definition 7 | arxiv |
| YV40REER37 | example | example 5 | arxiv |
Catalogue records
- arxiv: 2405.14678 (work)
- arxiv_text: 2405.14678 (work)