Results 91 to 100 of about 29,436 (282)
, 2013 Over the past two decades the notion of a strong monad has found wide applicability in computing. Arising out of a need to interpret products in computational and semantic settings, different approaches to this concept have arisen.
Mulry, Philip
core +2 more sources
PLANTS, PEOPLE, PLANET, EarlyView.Societal Impact Statement As herbaria digitize millions of plant specimens, ethnobotanical information associated with them is becoming increasingly accessible. These biocultural data include plant uses, names, and/or management practices of Indigenous Peoples and Local Communities (IPLCs).
Robbie Hart +23 more
wiley +1 more source
Sustainability Across the Curriculum: Sharing Ideas From a Cross‐Canada Community of Practice
New Directions for Teaching and Learning, EarlyView.ABSTRACT This chapter offers a “look‐back” one year after the formation of a Canadian sustainability education community of practice, and provides highlights of “sustainability across the curriculum” work that is taking place at Canadian Post‐Secondary Institutions, modeling benefits and challenges of cross‐campus organizing around sustainability ...
Janet Pivnick, Maria Spiliotopoulou
wiley +1 more source
A cottage industry of lax extensions [PDF]
Categories and General Algebraic Structures with Applications, 2015 In this work, we describe an adjunction between the comma category of Set-based monads under the V -powerset monad and the category of associative lax extensions of Set-based monads to the category of V -relations.
Dirk Hofmann, Gavin J. Seal
doaj
Monad constructions of omalous bundles
, 2011 We consider a particular class of holomorphic vector bundles relevant for supersymmetric string theory, called \emph{omalous}, over nonsingular projective varieties.
Abdelmoubine Amar Henni +21 more
core +1 more source
Electronic Notes in Theoretical Computer Science, 2015 19 ...
Heunen, Chris, Karvonen, Martti
openaire +5 more sources
Monadic Datalog Containment [PDF]
, 2012 We reconsider the problem of containment of monadic datalog (MDL) queries in unions of conjunctive queries (UCQs). Prior work has dealt with special cases, but has left the precise complexity characterization open. We begin by establishing a 2EXPTIME lower bound on the MDL/UCQ containment problem, resolving an open problem from the early 90's.
Benedikt, Michael +2 more
openaire +3 more sources
Journal of the Royal Anthropological Institute, EarlyView.This article – part of a six‐year ethnographic research project – aims to deconstruct and ‘decolonize’ essentialized notions of adolescence and youth, primarily through the application of the category of intersectionality. The research focuses on a series of educational initiatives implemented in San Siro, one of Milan's largest public housing ...
Paolo Grassi
wiley +1 more source
Companions, Causality and Codensity [PDF]
Logical Methods in Computer Science, 2019 In the context of abstract coinduction in complete lattices, the notion of compatible function makes it possible to introduce enhancements of the coinduction proof principle.
Damien Pous, Jurriaan Rot
doaj +1 more source
Theory and Applications of Categories, 2006 \textit{G. Janelidze} and \textit{G. M. Kelly} [``A note on actions of a monoidal category'', Theory Appl. Categ. 9, 61--91 (2001; Zbl 1009.18005)] showed that \({\mathcal C}\mapsto \text{End}({\mathcal C}) \) defines a pseudofunctor from the 2-category \({\mathcal L}adj\) of categories and left-adjoint functors to the 2-category \({\mathcal M}on ...
Hofstra, P.J.W., de Marchi, F.
openaire +3 more sources