Results 51 to 60 of about 29,436 (282)
Lax monads. Indexed monoidal monads
Journal of Pure and Applied Algebra, 1991 As part of their goal of internalizing enriched category theory in a topos, the authors consider the notion of a lax monad \(T\) on a bicategory \({\mathcal B}\) and construct a bicategory \({\mathcal B}^ T\) of algebras which appears as part of a factorization \({\mathcal B}\to{\mathcal B}^ T\to{\mathcal B}\), with the two morphisms to be thought of ...
Carboni, A., Rosebrugh, Robert
openaire +2 more sources
One Monad to Prove Them All (Functional Pearl) [PDF]
The Art, Science, and Engineering of Programming, 2018 One Monad to Prove Them All is a modern fairy tale about curiosity and perseverance, two important properties of a successful PhD student. We follow the PhD student Mona on her adventurous journey of proving properties about Haskell programs in the proof
Jan Christiansen +2 more
semanticscholar +1 more source
A Nonstandard Generalization of Envelopes [PDF]
Al-Rafidain Journal of Computer Sciences and Mathematics, 2008 The generalized envelopes are studied by a given nonstandard definition of envelope of a family of lines defined in a projective homogenous coordinates PHC by: u(t)x + v(t)y + w(t)z = 0.
Tahir Ismail, Ibrahim Hamad
doaj +1 more source
Self-Unfolding of the Phenomenon of Hryhorii Skovoroda
Antropologìčnì Vimìri Fìlosofsʹkih Doslìdžen', 2022 Purpose. This article provides a morphological study of the life of Hryhorii Skovoroda as a philosopher’s self-construction – compared to the lives of such philosophers as Immanuel Kant, Friedrich Nietzsche, Martin Heidegger and Henry Thoreau ...
M. I. Boichenko
doaj +1 more source
Towards Trace Metrics via Functor Lifting [PDF]
, 2015 We investigate the possibility of deriving metric trace semantics in a coalgebraic framework. First, we generalize a technique for systematically lifting functors from the category Set of sets to the category PMet of pseudometric spaces, showing under ...
Baldan, Paolo +3 more
core +5 more sources
The Sound Monad: A Philosophical Perspective on Sound Design
Open Philosophy, 2021 This article aims at sketching a philosophical theory of sound based on the perspective of sound designers: unique agents blurring the boundaries between engineering, music, acoustics and sound-based art.
Zingaro Vincenzo
doaj +1 more source
An enriched view on the extended finitary monad-Lawvere theory correspondence [PDF]
Log. Methods Comput. Sci., 2017 We give a new account of the correspondence, first established by Nishizawa--Power, between finitary monads and Lawvere theories over an arbitrary locally finitely presentable base.
Richard Garner, J. Power
semanticscholar +1 more source
A functional representation of superextension monad and linked system monad [PDF]
Математичні Студії, 2012 A functional representation of inclusion hyperspace monad was constructed in [1]. The inclu- sion hyperspace monad contains as submonads such important monads as the superextension monad and linked system monad.
I. Peregniak, T. Radul
doaj
Investigation of a Vibratory Stress Relief System for Hard-Turned EN 31 Components
Engineering TransactionsThis study examines the use of artificial neural networks (ANNs) to forecast and optimize residual stress and Brinell hardness in EN 31 components subjected to vibratory stress relief (VSR).
Pankaj BHOKARE, Vishal VASISTHA
doaj +1 more source
Dijkstra Monads in Monadic Computation [PDF]
, 2014 The Dijkstra monad has been introduced recently for capturing weakest precondition computations within the context of program verification, supported by a theorem prover. Here we give a more general description of such Dijkstra monads in a categorical setting. We first elaborate the recently developed view on program semantics in terms of a triangle of
openaire +3 more sources