Results 91 to 100 of about 86,229 (173)
A parametric segmentation functor for fully automatic and scalable array content analysis
ACM-SIGACT Symposium on Principles of Programming Languages, 2011 We introduce FunArray, a parametric segmentation abstract domain functor for the fully automatic and scalable analysis of array content properties. The functor enables a natural, painless and efficient lifting of existing abstract domains for scalar ...
P. Cousot, R. Cousot, F. Logozzo
semanticscholar +1 more source
Schur Functors and Motives [PDF]
K-Theory, 2004 In this article we study the class of Schur-finite motives, that is, motives which are annihilated by a Schur functor. We compare this notion to a similar one due to Kimura. In particular, we show that the motive of any curve is Kimura-finite. This last result has also been obtained by V. Guletskii.
openaire +4 more sources
Intrinsic Characterizations of Some Additive Functors [PDF]
, 1960 Charles E. Watts
openalex +2 more sources
Polynomial functors and opetopes
Advances in Mathematics, 2010 LaTeX, 54 pages, 75 texdraw figures. Accompanying opetope scripts in Tcl hidden in tex source after \end{document} for the sake of archival -- also available from http://mat.uab.cat/~kock/cat/zoom.html . v2: substantial expository improvements, following the advice from the referees.
Kock, Joachim +3 more
openaire +4 more sources
On the Singer functor R_1 and the functor Fix
, 2009 Lannes' T-functor is used to give a construction of the Singer functor R_1 on the category U of unstable modules over the Steenrod algebra A. This leads to a direct proof that the composite functor Fix R_1 is naturally equivalent to the identity. Further properties of the functors R_1 are deduced, especially when applied to reduced and nilclosed ...
openaire +2 more sources
Equivariant extensions of *-algebras
, 2010 A bivariant functor is defined on a category of *-algebras and a category of operator ideals, both with actions of a second countable group $G$, into the category of abelian monoids. The element of the bivariant functor will be $G$-equivariant extensions
Goffeng, Magnus
core
Locally constant functors [PDF]
Mathematical Proceedings of the Cambridge Philosophical Society, 2009 AbstractWe study locally constant coefficients. We first study the theory of homotopy Kan extensions with locally constant coefficients in model categories, and explain how it characterizes the homotopy theory of small categories. We explain how to interpret this in terms of left Bousfield localization of categories of diagrams with values in a ...
openaire +5 more sources
On representability of contravariant functors over non-connected CW complexes [PDF]
, 1967 Robert W. West
openalex +1 more source