Results 21 to 30 of about 317,331 (198)
Duality for powerset coalgebras [PDF]
Logical Methods in Computer Science, 2022 Let CABA be the category of complete and atomic boolean algebras and complete boolean homomorphisms, and let CSL be the category of complete meet-semilattices and complete meet-homomorphisms. We show that the forgetful functor from CABA to CSL has a left
Guram Bezhanishvili +2 more
doaj +1 more source
Prospective 3D Fat Navigator (FatNav) motion correction for 7T Terra MRI. [PDF]
NMR BiomedWe implemented prospective 3D FatNav motion correction for Siemens 7T Terra MRI scanners. We compared registration algorithms in synthetic data. We tested in healthy volunteers: corrected images were visually crisper, and had improved sharpness measured by increased variance of the image Laplacian and by sharper profiles across the cerebral falx ...
Klodowski K +3 more
europepmc +2 more sources
Homological Bondal-Orlov localization conjecture for rational singularities
Forum of Mathematics, Sigma, 2023 Given a resolution of rational singularities $\pi \colon {\tilde {X}} \to X$ over a field of characteristic zero, we use a Hodge-theoretic argument to prove that the image of the functor ${\mathbf {R}}\pi _*\colon {\mathbf {D}}^{\mathrm {b}}({\
Mirko Mauri, Evgeny Shinder
doaj +1 more source
Persian Deadjectival Nominals: An Exoskeletal Approach [PDF]
زبان پژوهی, 2020 Nominalized words are complex nominals, which have their own particular derivational structure. These nominals can be derived from different parts of speech. Correspondingly, a deadjectival nominal is a nominal that is derived from an adjective; Although
Hoda ُSiavashi +2 more
doaj +1 more source
Derived functors of the divided power functors [PDF]
Geometry & Topology, 2016 Some minor changes to the exposition.
Breen, Lawrence +2 more
openaire +7 more sources
Universal Properties in Quantum Theory [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We argue that notions in quantum theory should have universal properties in the sense of category theory. We consider the completely positive trace preserving (CPTP) maps, the basic notion of quantum channel.
Mathieu Huot, Sam Staton
doaj +1 more source
Comparison theorems for Kan, faintly universal and strongly universal derived functors [PDF]
Surveys in Mathematics and its Applications, 2022 We distinguish between faint, weak, strong and strict localizations of categories at morphism families and show that this framework captures the different types of derived functors that are considered in the literature.
Alisa Govzmann +2 more
doaj
Innocent Strategies as Presheaves and Interactive Equivalences for CCS [PDF]
Scientific Annals of Computer Science, 2012 Seeking a general framework for reasoning about and comparing programming languages, we derive a new view of Milner's CCS. We construct a category E of plays, and a subcategory V of views.
T. Hirschowitz, D. Pous
doaj +1 more source
Singular homology as a derived functor [PDF]
Transactions of the American Mathematical Society, 1972 George S. Rinehart
openalex +3 more sources
Generalizing determinization from automata to coalgebras [PDF]
Logical Methods in Computer Science, 2013 The powerset construction is a standard method for converting a nondeterministic automaton into a deterministic one recognizing the same language. In this paper, we lift the powerset construction from automata to the more general framework of coalgebras ...
Alexandra Silva +3 more
doaj +1 more source