Results 231 to 240 of about 29,436 (282)

Enriched structure–semantics adjunctions and monad–theory equivalences for subcategories of arities

Theory and Applications of Categories, 2023
Lawvere's algebraic theories, or Lawvere theories, underpin a categorical approach to general algebra, and Lawvere's adjunction between semantics and algebraic structure leads to an equivalence between Lawvere theories and finitary monads on the category
R. B. Lucyshyn-Wright, Jason Parker
semanticscholar   +1 more source

The ⊤-filter monad and its applications

Fuzzy Sets and Systems, 2020
Y. Yue, Jinming Fang
exaly   +2 more sources

Iterated Covariant Powerset is not a Monad

open access: yesElectronic Notes in Theoretical Computer Science, 2018
Bartek Klin
exaly   +2 more sources

The Coinductive Resumption Monad

open access: yesElectronic Notes in Theoretical Computer Science, 2014
Maciej Piróg, Jeremy Gibbons
exaly   +2 more sources

A probability monad as the colimit of spaces of finite samples

Theory and Applications of Categories, 2017
We define and study a probability monad on the category of complete metric spaces and short maps. It assigns to each space the space of Radon probability measures on it with finite first moment, equipped with the Kantorovich-Wasserstein distance.
T. Fritz, Paolo Perrone
semanticscholar   +1 more source

Monads at the bottom, monads at the top, monads all over

British Journal for the History of Philosophy, 2017
Abstract This chapter contests a widely accepted reading of the role monads play as the most fundamental elements of reality. Garber (2009) argues that simple monads—seen as mindlike atoms without parts and extension—replace the corporeal substance of Leibniz’s middle period.
openaire   +1 more source

Synthesizing Monadic Predicates

Journal of Logic and Computation, 2008
We study the problem of determining a concise, quantifier-free monadic predicate for a given set of objects in a given interpretation. We ad- dress both DNF and CNF predicates, as well as important sub-languages thereof. The problem is formalized as the search of a minimal element in a set of predicates equipped with a binary relation. We show that the
Meghini C, Spyratos N
openaire   +2 more sources

Home - About - Disclaimer - Privacy