Top results
fibrations and polynomial functors tamara von glehn university of cambridge bmc - 27 march 2013 plan 1 polynomials 2 spans and fibrations 3 sums and products 4 polynomials…
joachim kock notes on polynomial functors very preliminary version: 2009-10-15 20:38 but with some mistakes fixed on 2016-08-16 15:09 please check if a newer version is available!…
j. eur. math. soc. 11, 597–625 c© european mathematical society 2009 daniel hernández ruipérez · ana cristina lópez martı́n · fernando sancho de salas relative…
qimh richey xantcha * 13th december 2012 dedalus genom sin konst och sitt snille vida beryktad bygde det opp; han förvirrar de ledande märken och ögat i villfarelse
polynomials.dvipolynomial functors and polynomial monads nicola gambino and joachim kock abstract. we study polynomial functors over locally cartesian closed cat- egories.
. 0000 “polynomial functors from algebras over a set-operad and non-linear mackey functors,” international mathematics research notices, vol. 0000, article id rnn000,…
polynomial functors and categorifications of fock space jiuzu hong, antoine touzé, and oded yacobi dedicated, with gratitude and admiration, to nolan wallach on the occasion…
dissertation the monoidal structure on strict polynomial functors vorgelegt von rebecca mareen reischuk fakultät für mathematik universität bielefeld 11. april 2016…
the combinatorics of polynomial functors qimh richey xantcha* 13th december 2012 dedalus genom sin konst och sitt snille vida beryktad bygde det opp han förvirrar de ledande…
poly-trees.tex 2009-12-03 08:38 152 polynomial functors and trees to my father for his 70th birthday joachim kock abstract we explore the relationship between polynomial…
fibrations and yoneda's lemma in an ∞-cosmosjournal of pure and applied algebra 221 (2017) 499–564 contents lists available at sciencedirect journal of pure
ar x iv :1 10 9 57 85 v2 m at h c t 2 8 a pr 2 01 2 bialgtex 2012-04-28 14:57 129 categorification of hopf algebras of rooted trees joachim kock1 abstract we exhibit a monoidal…
data types as quotients of polynomial functors jeremy avigad department of philosophy, carnegie mellon university, pittsburgh, pa, usa http:www.andrew.cmu.eduuseravigad [email protected]…
towards a coalgebraic chomsky hierarchy sergey goncharov stefan milius alexandra silva cmcs 2014 grenoble 6042014 short histrory of coalgebraic invasion to automata theory…
fibrations ii - the fundamental lifting property tyrone cutler july 13, 2020 contents 1 the fundamental lifting property 1 2 spaces over b 3 2.1 homotopy in topb . . . .…
1.generalized functorsЛозинський Ігор, Фін-3В рамках курсу “Актуальні проблеми програмної інженерії”,…
1. generalized functors В рамках курсу “Актуальні проблеми програмної інженерії”, 2009 р. Лозинський Ігор,…
transactions of the american mathematical society volume 361, number 3, march 2009, pages 1129–1172 s 0002-99470804539-x article electronically published on october 8,…
categories of functors http://cis.k.hosei.ac.jp/~yukita/ functors ex. 1. group homomorphisms ex. 2. category cat ex. 3. functors are constructions basis vector space…
* functors in haskell adapted from material by miran lipovaca * functors functors are a typeclass, just like ord, eq, show, and all the others. this one is designed to hold…