Results 31 to 40 of about 29,436 (282)
Monadic Monadic Second Order Logic
, 2023 One of the main reasons for the correspondence of regular languages and monadic second-order logic is that the class of regular languages is closed under images of surjective letter-to-letter homomorphisms. This closure property holds for structures such as finite words, finite trees, infinite words, infinite trees, elements of the free group, etc ...
Bojańczyk, Mikołaj +2 more
openaire +2 more sources
The Vietoris Monad and Weak Distributive Laws [PDF]
Applied Categorical Structures, 2018 The Vietoris monad on the category of compact Hausdorff spaces is a topological analogue of the power-set monad on the category of sets. Exploiting Manes’ characterisation of the compact Hausdorff spaces as algebras for the ultrafilter monad on sets, we ...
Richard Garner
semanticscholar +1 more source
On $\ast$-measure monads on the category of ultrametric spaces
Karpatsʹkì Matematičnì Publìkacìï, 2022 The functor of $\ast$-measures of compact support on the category of ultrametric spaces and non-expanding maps is introduced in the previous publication of the authors.
Kh.O. Sukhorukova, M.M. Zarichnyi
doaj +1 more source
Pesticides use and their impact on environment and health in Uttar Pradesh: A review
Environment Conservation Journal, 2015 Pesticide use rate increases tremendously in crop production all over the world. In the recent years, pesticide related issues have been extensively highlighted in the media including public, research journals, and attracted wider debate and sharp focus ...
Manish Mohan Gore +1 more
doaj +1 more source
Quantifiers on languages and codensity monads [PDF]
, 2017 This paper contributes to the techniques of topo-algebraic recognition for languages beyond the regular setting as they relate to logic on words. In particular, we provide a general construction on recognisers corresponding to adding one layer of various
Gehrke, Mai +2 more
core +2 more sources
On monadic NP vs. monadic co-NP
[1993] Proceedings of the Eigth Annual Structure in Complexity Theory Conference, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Fagin, R., Stockmeyer, L.J., Vardi, M.Y.
openaire +2 more sources
Probability monads as codensity monads
Theory and Applications of Categories, 2022 We show from a categorical point of view that probability measures on certain measurable or topological spaces arise canonically as the extension of probability distributions on countable sets. We do this by constructing probability monads as the codensity monads of functors that send a countable set to the space of probability distributions on that ...
openaire +3 more sources
Heterotic instantons for monad and extension bundles [PDF]
Journal of High Energy Physics, 2019 We consider non-perturbative superpotentials from world-sheet instantons wrapped on holomorphic genus zero curves in heterotic string theory. These superpotential contributions feature prominently in moduli stabilization and large field axion inflation ...
E. Buchbinder +3 more
semanticscholar +1 more source
Weak Completeness of Coalgebraic Dynamic Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 We present a coalgebraic generalisation of Fischer and Ladner's Propositional Dynamic Logic (PDL) and Parikh's Game Logic (GL). In earlier work, we proved a generic strong completeness result for coalgebraic dynamic logics without iteration.
Helle Hvid Hansen, Clemens Kupke
doaj +1 more source
Combinatorial structure of type dependency [PDF]
, 2014 We give an account of the basic combinatorial structure underlying the notion of type dependency. We do so by considering the category of all dependent sequent calculi, and exhibiting it as the category of algebras for a monad on a presheaf category. The
Garner, Richard
core +1 more source