Matches in SemOpenAlex for { <https://semopenalex.org/work/W3097700522> ?p ?o ?g. }
- W3097700522 endingPage "2415" @default.
- W3097700522 startingPage "2326" @default.
- W3097700522 abstract "Structures where we have both a contravariant (pullback) and a covariant (pushforward) functoriality that satisfy base change can be encoded by functors out of ( $infty$ -)categories of spans (or correspondences). In this paper, we study the more complicated setup where we have two pushforwards (an ‘additive’ and a ‘multiplicative’ one), satisfying a distributivity relation. Such structures can be described in terms of bispans (or polynomial diagrams). We show that there exist $(infty,2)$ -categories of bispans, characterized by a universal property: they corepresent functors out of $infty$ -categories of spans where the pullbacks have left adjoints and certain canonical 2-morphisms (encoding base change and distributivity) are invertible. This gives a universal way to obtain functors from bispans, which amounts to upgrading ‘monoid-like’ structures to ‘ring-like’ ones. For example, symmetric monoidal $infty$ -categories can be described as product-preserving functors from spans of finite sets, and if the tensor product is compatible with finite coproducts our universal property gives the canonical semiring structure using the coproduct and tensor product. More interestingly, we encode the additive and multiplicative transfers on equivariant spectra as a functor from bispans in finite $G$ -sets, extend the norms for finite étale maps in motivic spectra to a functor from certain bispans in schemes, and make $mathrm {Perf}(X)$ for $X$ a spectral Deligne–Mumford stack a functor of bispans using a multiplicative pushforward for finite étale maps in addition to the usual pullback and pushforward maps. Combining this with the polynomial functoriality of $K$ -theory constructed by Barwick, Glasman, Mathew, and Nikolaus, we obtain norms on algebraic $K$ -theory spectra." @default.
- W3097700522 created "2020-11-09" @default.
- W3097700522 creator A5014902242 @default.
- W3097700522 creator A5034435942 @default.
- W3097700522 date "2023-09-18" @default.
- W3097700522 modified "2023-10-10" @default.
- W3097700522 title "On distributivity in higher algebra I: the universal property of bispans" @default.
- W3097700522 cites W1521903749 @default.
- W3097700522 cites W1577303823 @default.
- W3097700522 cites W1584027141 @default.
- W3097700522 cites W1636088426 @default.
- W3097700522 cites W1774969906 @default.
- W3097700522 cites W1781196722 @default.
- W3097700522 cites W1846653373 @default.
- W3097700522 cites W1951461733 @default.
- W3097700522 cites W1966360965 @default.
- W3097700522 cites W1982146667 @default.
- W3097700522 cites W2009989341 @default.
- W3097700522 cites W2022649188 @default.
- W3097700522 cites W2073909098 @default.
- W3097700522 cites W2075546891 @default.
- W3097700522 cites W2085102004 @default.
- W3097700522 cites W2088242148 @default.
- W3097700522 cites W2129064963 @default.
- W3097700522 cites W2148871441 @default.
- W3097700522 cites W2218391331 @default.
- W3097700522 cites W2317753836 @default.
- W3097700522 cites W2327652045 @default.
- W3097700522 cites W2400901852 @default.
- W3097700522 cites W2494316805 @default.
- W3097700522 cites W2518041862 @default.
- W3097700522 cites W2594837467 @default.
- W3097700522 cites W2782983287 @default.
- W3097700522 cites W2811126634 @default.
- W3097700522 cites W2904379720 @default.
- W3097700522 cites W2949742600 @default.
- W3097700522 cites W2963300453 @default.
- W3097700522 cites W2963503445 @default.
- W3097700522 cites W2964159632 @default.
- W3097700522 cites W2979732333 @default.
- W3097700522 cites W2985795175 @default.
- W3097700522 cites W2997619658 @default.
- W3097700522 cites W3014919336 @default.
- W3097700522 cites W3047827425 @default.
- W3097700522 cites W3090776047 @default.
- W3097700522 cites W3098270653 @default.
- W3097700522 cites W3100478146 @default.
- W3097700522 cites W3105512184 @default.
- W3097700522 cites W3105781727 @default.
- W3097700522 cites W3105909605 @default.
- W3097700522 cites W3112881263 @default.
- W3097700522 cites W3121955877 @default.
- W3097700522 cites W3129659086 @default.
- W3097700522 cites W3133376473 @default.
- W3097700522 cites W3135326418 @default.
- W3097700522 cites W3178701861 @default.
- W3097700522 cites W3199790072 @default.
- W3097700522 cites W3204438238 @default.
- W3097700522 cites W3213077492 @default.
- W3097700522 cites W4212902885 @default.
- W3097700522 cites W4232603093 @default.
- W3097700522 cites W4311349864 @default.
- W3097700522 cites W4312783323 @default.
- W3097700522 cites W4322726812 @default.
- W3097700522 doi "https://doi.org/10.1112/s0010437x23007388" @default.
- W3097700522 hasPublicationYear "2023" @default.
- W3097700522 type Work @default.
- W3097700522 sameAs 3097700522 @default.
- W3097700522 citedByCount "2" @default.
- W3097700522 countsByYear W30977005222021 @default.
- W3097700522 crossrefType "journal-article" @default.
- W3097700522 hasAuthorship W3097700522A5014902242 @default.
- W3097700522 hasAuthorship W3097700522A5034435942 @default.
- W3097700522 hasBestOaLocation W30977005221 @default.
- W3097700522 hasConcept C101908085 @default.
- W3097700522 hasConcept C115624301 @default.
- W3097700522 hasConcept C134306372 @default.
- W3097700522 hasConcept C136119220 @default.
- W3097700522 hasConcept C137212723 @default.
- W3097700522 hasConcept C153778094 @default.
- W3097700522 hasConcept C156772000 @default.
- W3097700522 hasConcept C156923205 @default.
- W3097700522 hasConcept C161491579 @default.
- W3097700522 hasConcept C183778304 @default.
- W3097700522 hasConcept C185592680 @default.
- W3097700522 hasConcept C202444582 @default.
- W3097700522 hasConcept C203436722 @default.
- W3097700522 hasConcept C206236147 @default.
- W3097700522 hasConcept C21696900 @default.
- W3097700522 hasConcept C2777680557 @default.
- W3097700522 hasConcept C33923547 @default.
- W3097700522 hasConcept C36259021 @default.
- W3097700522 hasConcept C42747912 @default.
- W3097700522 hasConcept C51255310 @default.
- W3097700522 hasConcept C8010536 @default.
- W3097700522 hasConcept C99633028 @default.
- W3097700522 hasConceptScore W3097700522C101908085 @default.
- W3097700522 hasConceptScore W3097700522C115624301 @default.