Results 61 to 70 of about 29,436 (282)
Partial actions of groups on hyperspaces
Applied General Topology, 2022 Let X be a compact Hausdorff space. In this work we translate partial actions of X to partial actions on some hyperspaces determined by X, this gives an endofunctor 2- in the category of partial actions on compact Hausdorff spaces which generates a monad
Luis Martínez +2 more
doaj +1 more source
An involution map for the functional monad [PDF]
Математичні Студії, 2012 We introduce an involution map for the functional monad which generalizes the transversality map for the inclusion hyperspace monad and the conjugation map for the capacity monad.
T. Radul, V. Shomodi
doaj
International Journal of Mathematics and Mathematical Sciences, 2002 We discuss the monad associated with the topology of pointwise convergence. We also study examples of the Eilenberg-Moore algebras for this monad.
Koena R. Nailana
doaj +1 more source
Semiotika (Vilniaus universitetas), 2022 The title of this article refers to Gilles Deleuze’s work titled The Fold: Leibnitz and the Baroque and supposes a link, which could be established between the Baroque as a type of art, imagery, and a philosophical concept, as it was described by ...
Inga Vidugirytė
doaj +1 more source
On the Complexity of Nonrecursive XQuery and Functional Query Languages on Complex Values
, 2005 This paper studies the complexity of evaluating functional query languages for complex values such as monad algebra and the recursion-free fragment of XQuery.
Koch, Christoph
core +5 more sources
Advanced Science, EarlyView.This study demonstrates a strain‐tunable anomalous Hall response in the (110)‐oriented FeRh thin film. First‐principles calculations reveal that strain‐induced symmetry lowering redistributes Berry curvature near the Fermi level via band shifts and avoided crossings.
Yun‐Ho Kim +11 more
wiley +1 more source
The enriched Vietoris monad on representable spaces [PDF]
, 2013 Employing a formal analogy between ordered sets and topological spaces, over the past years we have investigated a notion of cocompleteness for topological, approach and other kind of spaces.
Hofmann, Dirk
core
Unlocking fruit dimensions: Quantification of functional traits driving plant–frugivore interactions
Applications in Plant Sciences, EarlyView.Abstract Fleshy fruits attract animals to ingest fruit, swallow the seeds, and release them in the landscape, thus facilitating seed dispersal and plant regeneration. Attraction of animal dispersers is achieved via attractants such as color or scent, and rewards like sugars, lipids, and micronutrients.
Linh M. N. Nguyen +4 more
wiley +1 more source
Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types [PDF]
MSFP, 2014 In this paper, we present an Agda formalization of a normalizer for simply-typed lambda terms. The normalizer consists of two coinductively defined functions in the delay monad: One is a standard evaluator of lambda terms to closures, the other a type ...
Andreas Abel, James Chapman
semanticscholar +1 more source
Lax orthogonal factorisation systems
, 2016 This paper introduces lax orthogonal algebraic weak factorisation systems on 2-categories and describes a method of constructing them. This method rests in the notion of simple 2-monad, that is a generalisation of the simple reflections studied by ...
Clementino, Maria Manuel +1 more
core +1 more source