1019 search results - page 6 / 204 » Uniform Functors on Sets |
FOSSACS
2010
Springer
14 years 2 months ago
2010
Springer
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...
ACS
2004
13 years 7 months ago
2004
In this paper we introduce and study a cohomology theory {Hn(-, A)} for simplicial sets with coefficients in symmetric categorical groups A. We associate to a symmetric categorical...
JMLR
2012
11 years 10 months ago
2012
We present SpeedBoost, a natural extension of functional gradient descent, for learning anytime predictors, which automatically trade computation time for predictive accuracy by s...
ACS
2010
13 years 7 months ago
2010
There are infinitely many variants of the notion of Kan fibration that, together with suitable choices of cofibrations and the usual notion of weak equivalence of simplicial sets, ...
ACS
2006
13 years 7 months ago
2006
Abstract. Categories of lax (T, V )-algebras are shown to have pullbackstable coproducts if T preserves inverse images. The general result not only gives a common proof of this pro...