Matches in SemOpenAlex for { <https://semopenalex.org/work/W1967526238> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1967526238 abstract "Polynomial functors are useful in the theory of data types, where they are often called containers. They are also useful in algebra, combinatorics, topology, and higher category theory, and in this broader perspective the polynomial aspect is often prominent and justifies the terminology. For example, Tambara's theorem states that the category of finite polynomial functors is the Lawvere theory for commutative semirings. In this talk I will explain how an upgrade of the theory from sets to groupoids is useful to deal with data types with symmetries, and provides a common generalisation of and a clean unifying framework for quotient containers (cf. Abbott et al.), species and analytic functors (Joyal 1985), as well as the stuff types of Baez-Dolan. The multi-variate setting also includes relations and spans, multispans, and stuff operators. An attractive feature of this theory is that with the correct homotopical approach - homotopy slices, homotopy pullbacks, homotopy colimits, etc. - the groupoid case looks exactly like the set case. After some standard examples, I will illustrate the notion of data-types-with-symmetries with examples from quantum field theory, where the symmetries of complicated tree structures of graphs play a crucial role, and can be handled elegantly using polynomial functors over groupoids. (These examples, although beyond species, are purely combinatorial and can be appreciated without background in quantum field theory.) Locally cartesian closed 2-categories provide semantics for 2-truncated intensional type theory. For a fullfledged type theory, locally cartesian closed infty-categories seem to be needed. The theory of these is being developed by D.Gepner and the author as a setting for homotopical species, and several of the results exposed in this talk are just truncations of infty-results obtained in joint work with Gepner. Details will appear elsewhere." @default.
- W1967526238 created "2016-06-24" @default.
- W1967526238 creator A5046836605 @default.
- W1967526238 date "2012-10-02" @default.
- W1967526238 modified "2023-09-27" @default.
- W1967526238 title "Data types with symmetries and polynomial functors over groupoids" @default.
- W1967526238 cites W1523655063 @default.
- W1967526238 cites W1528326162 @default.
- W1967526238 cites W1680171265 @default.
- W1967526238 cites W1683762557 @default.
- W1967526238 cites W1983905931 @default.
- W1967526238 cites W2000806582 @default.
- W1967526238 cites W2006905582 @default.
- W1967526238 cites W2014877361 @default.
- W1967526238 cites W2022608773 @default.
- W1967526238 cites W2022837260 @default.
- W1967526238 cites W2034621723 @default.
- W1967526238 cites W2078334802 @default.
- W1967526238 cites W2079640625 @default.
- W1967526238 cites W2084051193 @default.
- W1967526238 cites W2088189323 @default.
- W1967526238 cites W2145296306 @default.
- W1967526238 cites W2148871441 @default.
- W1967526238 cites W2164493000 @default.
- W1967526238 cites W2170599098 @default.
- W1967526238 cites W2949422942 @default.
- W1967526238 cites W2949767897 @default.
- W1967526238 cites W2951644659 @default.
- W1967526238 cites W2953233260 @default.
- W1967526238 cites W2481387687 @default.
- W1967526238 hasPublicationYear "2012" @default.
- W1967526238 type Work @default.
- W1967526238 sameAs 1967526238 @default.
- W1967526238 citedByCount "8" @default.
- W1967526238 countsByYear W19675262382014 @default.
- W1967526238 countsByYear W19675262382015 @default.
- W1967526238 countsByYear W19675262382016 @default.
- W1967526238 countsByYear W19675262382017 @default.
- W1967526238 countsByYear W19675262382018 @default.
- W1967526238 crossrefType "posted-content" @default.
- W1967526238 hasAuthorship W1967526238A5046836605 @default.
- W1967526238 hasConcept C134306372 @default.
- W1967526238 hasConcept C136119220 @default.
- W1967526238 hasConcept C137212723 @default.
- W1967526238 hasConcept C153778094 @default.
- W1967526238 hasConcept C156772000 @default.
- W1967526238 hasConcept C171032842 @default.
- W1967526238 hasConcept C202444582 @default.
- W1967526238 hasConcept C2524010 @default.
- W1967526238 hasConcept C33923547 @default.
- W1967526238 hasConcept C54884031 @default.
- W1967526238 hasConcept C5961521 @default.
- W1967526238 hasConcept C90119067 @default.
- W1967526238 hasConcept C96469262 @default.
- W1967526238 hasConcept C99633028 @default.
- W1967526238 hasConceptScore W1967526238C134306372 @default.
- W1967526238 hasConceptScore W1967526238C136119220 @default.
- W1967526238 hasConceptScore W1967526238C137212723 @default.
- W1967526238 hasConceptScore W1967526238C153778094 @default.
- W1967526238 hasConceptScore W1967526238C156772000 @default.
- W1967526238 hasConceptScore W1967526238C171032842 @default.
- W1967526238 hasConceptScore W1967526238C202444582 @default.
- W1967526238 hasConceptScore W1967526238C2524010 @default.
- W1967526238 hasConceptScore W1967526238C33923547 @default.
- W1967526238 hasConceptScore W1967526238C54884031 @default.
- W1967526238 hasConceptScore W1967526238C5961521 @default.
- W1967526238 hasConceptScore W1967526238C90119067 @default.
- W1967526238 hasConceptScore W1967526238C96469262 @default.
- W1967526238 hasConceptScore W1967526238C99633028 @default.
- W1967526238 hasLocation W19675262381 @default.
- W1967526238 hasOpenAccess W1967526238 @default.
- W1967526238 hasPrimaryLocation W19675262381 @default.
- W1967526238 hasRelatedWork W109519284 @default.
- W1967526238 hasRelatedWork W1792540887 @default.
- W1967526238 hasRelatedWork W1947384707 @default.
- W1967526238 hasRelatedWork W1978490496 @default.
- W1967526238 hasRelatedWork W1992749094 @default.
- W1967526238 hasRelatedWork W2006905582 @default.
- W1967526238 hasRelatedWork W2014877361 @default.
- W1967526238 hasRelatedWork W2022608773 @default.
- W1967526238 hasRelatedWork W2127497119 @default.
- W1967526238 hasRelatedWork W2129064963 @default.
- W1967526238 hasRelatedWork W2181328760 @default.
- W1967526238 hasRelatedWork W2485037488 @default.
- W1967526238 hasRelatedWork W2613844544 @default.
- W1967526238 hasRelatedWork W2790359619 @default.
- W1967526238 hasRelatedWork W2962920088 @default.
- W1967526238 hasRelatedWork W2963645021 @default.
- W1967526238 hasRelatedWork W3085623558 @default.
- W1967526238 hasRelatedWork W3101976357 @default.
- W1967526238 hasRelatedWork W50684307 @default.
- W1967526238 hasRelatedWork W3094616528 @default.
- W1967526238 isParatext "false" @default.
- W1967526238 isRetracted "false" @default.
- W1967526238 magId "1967526238" @default.
- W1967526238 workType "article" @default.