scholarly journals Free resolutions for polynomial functors

2004 ◽  
Vol 271 (1) ◽  
pp. 22-64 ◽  
Author(s):  
Alexandre Tchernev ◽  
Jerzy Weyman
2015 ◽  
Vol 279 (1-2) ◽  
pp. 329-355
Author(s):  
Venkatramani Lakshmibai ◽  
Reuven Hodges

2017 ◽  
Vol 485 ◽  
pp. 213-229 ◽  
Author(s):  
Cosima Aquilino ◽  
Rebecca Reischuk

2000 ◽  
Vol 28 (11) ◽  
pp. 5329-5352 ◽  
Author(s):  
Liam O'Carroll ◽  
Dorin Popescu
Keyword(s):  

Author(s):  
David Cox ◽  
John Little ◽  
Donal O’Shea
Keyword(s):  

2002 ◽  
Vol 12 (6) ◽  
pp. 875-903 ◽  
Author(s):  
BART JACOBS

This paper introduces a temporal logic for coalgebras. Nexttime and lasttime operators are defined for a coalgebra, acting on predicates on the state space. They give rise to what is called a Galois algebra. Galois algebras form models of temporal logics like Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). The mapping from coalgebras to Galois algebras turns out to be functorial, yielding indexed categorical structures. This construction gives many examples, for coalgebras of polynomial functors on sets. More generally, it will be shown how ‘fuzzy’ predicates on metric spaces, and predicates on presheaves, yield indexed Galois algebras, in basically the same coalgebraic manner.


Author(s):  
Soda Diop ◽  
Guy Mobouale Wamba ◽  
Andre Saint Eudes Mialebama Bouesso ◽  
Djiby Sow

2020 ◽  
pp. 1-20
Author(s):  
Mengyuan Zhang

Abstract We study bundles on projective spaces that have vanishing lower cohomologies using their short minimal free resolutions. We partition the moduli $\mathcal{M}$ according to the Hilbert function H and classify all possible Hilbert functions H of such bundles. For each H, we describe a stratification of $\mathcal{M}_H$ by quotients of rational varieties. We show that the closed strata form a graded lattice given by the Betti numbers.


Sign in / Sign up

Export Citation Format

Share Document