Perspective: Equality need not be painful
نویسندگان
چکیده
منابع مشابه
Monads Need Not Be Endofunctors
We introduce a generalisation of monads, called relative monads, allowing for underlying functors between different categories. Examples include finite-dimensional vector spaces, untyped and typed λ-calculus syntax and indexed containers. We show that the Kleisli and Eilenberg-Moore constructions carry over to relative monads and are related to relative adjunctions. Under reasonable assumptions...
متن کاملSelfishness need not be bad
Authors are encouraged to submit new papers to INFORMS journals by means of a style file template, which includes the journal title. However, use of a template does not certify that the paper has been accepted for publication in the named journal. INFORMS journal templates are for the exclusive purpose of submitting to an INFORMS journal and should not be used to distribute the papers in print ...
متن کاملQuasitraces Need Not Be Traces
We prove the title, establishing the existence of a quasitrace on a (unital, simple) C-algebra (of real rank zero and stable rank one), which is not a tracial state.
متن کاملCoordination need not be a problem
In a game of common interest there is one action vector that all players prefer to every other. Yet there may be multiple Pareto-ranked Nash equilibria in the game and the ”coordination problem” refers to the fact that rational equilibrium play canot rule out Pareto-dominated equilibria. In this paper, I prove that two elements asynchronicity and a finite horizon are sufficient to uniquely sele...
متن کاملSTAMP Need Not Be Considered Harmful
The STAMP benchmark suite has not seen any updates in 5 years. During that time, language-level support for Transactional Memory (TM) has arrived, in the form of a draft specification for C++ and compiler support. In addition, there is now commodity hardware support for TM. The properties of STAMP, however, do not always match with the emerging consensus on how hardware and software transaction...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 2016
ISSN: 0028-0836,1476-4687
DOI: 10.1038/535s7a