منابع مشابه
Supernatural Analogues of Beilinson Monads
We use supernatural bundles to build GL-equivariant resolutions supported on the diagonal of Pn × Pn, in a way that extends Beilinson’s resolution of the diagonal. We thus obtain results about supernatural bundles that largely parallel known results about exceptional collections. We apply this construction to Boij–Söderberg decompositions of cohomology tables of vector bundles, yielding a proof...
متن کاملCorecursive Algebras, Corecursive Monads and Bloom Monads
An algebra is called corecursive if from every coalgebra a unique coalgebra-toalgebra homomorphism exists into it. We prove that free corecursive algebras are obtained as coproducts of the terminal coalgebra (considered as an algebra) and free algebras. The monad of free corecursive algebras is proved to be the free corecursive monad, where the concept of corecursive monad is a generalization o...
متن کاملCertification Monads
This entry provides several monads intended for the development of stand-alone certifiers via code generation from Isabelle/HOL. More specifically, there are three flavors of error monads (the sum type, for the case where all monadic functions are total; an instance of the former, the so called check monad, yielding either success without any further information or an error message; as well as ...
متن کاملThe Supernatural and the Miraculous
Both intention-based and causation-based definitions of the miraculous make reference to the term ‘supernatural’. Philosophers who define the miraculous appear to use this term in a loose way, perhaps meaning the nonnatural, perhaps meaning a subcategory of the nonnatural. Here I examine the aetiology of the term ‘supernatural’. I consider three outstanding issues regarding the meaning of the t...
متن کاملSupernatural Miracles and Religious Inclusiveness
In this paper I shall assess Clarke’s assertion that all definitions of miracles that purport to satisfy the criterion of religious inclusiveness should substitute the term ‘supernatural’ for ‘non-natural’. In addition, I shall attempt to strengthen Clarke’s conception of the supernatural by offering an analysis of what it means for something to be ‘above’ nature. Lastly, I shall offer a new ar...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Compositio Mathematica
سال: 2016
ISSN: 0010-437X,1570-5846
DOI: 10.1112/s0010437x16007703