Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
391	Theory and Applications of Categories, Vol. 28, No. 13, 2013, pp. 332–370. CODENSITY AND THE ULTRAFILTER MONAD TOM LEINSTER Abstract. Even a functor without an adjoint induces a monad, namely, its codensity monad; thi Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-07-01 12:49:00 Order theory Non-standard analysis Adjoint functors Boolean algebra Ultrafilter Stone–Čech compactification Filter Monad Ultraproduct Topology Mathematics General topology
392	Theory and Applications of Categories, Vol. 28, No. 26, 2013, pp. 857–932. MULTITENSORS AS MONADS ON CATEGORIES OF ENRICHED GRAPHS MARK WEBER Abstract. In this paper we unify the developments of [Batanin, 1998], [Bata Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-09-25 12:23:00 Functors Initial and terminal objects Limit Universal property Coproduct Monad Equivalence of categories Natural transformation Topos Category theory Abstract algebra Adjoint functors
393	Theory and Applications of Categories, Vol. 28, No. 6, 2013, pp. 166–205. TANNAKA DUALITY AND CONVOLUTION FOR DUOIDAL CATEGORIES THOMAS BOOKER AND ROSS STREET Abstract. Given a horizontal monoid M in a duoidal categor Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-04-01 12:23:00 Abstract algebra Monoidal functor Enriched category Monoidal monad Closed monoidal category Monoid Braided monoidal category Closed category Adjoint functors Category theory Algebra Monoidal categories
394	Theory and Applications of Categories, Vol. 27, No. 14, 2013, pp. 327–346. PROPER MAPS FOR LAX ALGEBRAS AND THE ´ KURATOWSKI-MROWKA THEOREM Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-02-07 14:21:00 Group theory Algebraic topology Sheaf theory Adjoint functors Group action Functor Continuous function Grothendieck topology Monad Abstract algebra Mathematics Algebra
395	Beauty in the Beast A Functional Semantics for the Awkward Squad Wouter Swierstra Thorsten Altenkirch Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2007-10-21 13:11:35 Abstract data types Functional programming Procedural programming languages Concurrent Haskell Data types Monad C file input/output Denotational semantics Scheduling Software engineering Computing Computer programming
396	CATS 2004 Preliminary Version Typed Transformations of Typed Grammars: The Left Corner Transform Arthur Baars 1 Instituto Tecnol´ Add to Reading List Source URL: foswiki.cs.uu.nl Language: English - Date: 2010-11-06 19:03:36 Computing Generalized algebraic data type Left recursion Production Formal grammar Type system Monad Top-down parsing Combinatory logic Formal languages Software engineering Declarative programming
397	A Shortcut Fusion Rule for Circular Program Calculation Jo˜ao Paulo Fernandes ∗ Alberto Pardo Jo˜ao Saraiva Add to Reading List Source URL: www.fing.edu.uy Language: English - Date: 2007-07-31 11:45:54 Higher-order functions Map Tree traversal Continuous function Fold Anamorphism Monad Software engineering Declarative programming Computing
398	Theory and Applications of Categories, Vol. 29, No. 5, 2014, pp. 100187. MAPPING SPACES OF Add to Reading List Source URL: www.emis.de Language: English - Date: 2014-04-17 13:32:00 Functors Algebra Natural transformation Monad Universal property Group action Limit Hom functor Grothendieck topology Abstract algebra Category theory Adjoint functors
399	MINOR □ Female □ Male □ Resident Add to Reading List Source URL: www.stpeteparksrec.org Language: English - Date: 2013-07-24 12:40:22 Inor language Monad Computing
400	Theory and Applications of Categories, Vol. 28, No. 20, 2013, pp. 577–615. CATEGORIES ENRICHED OVER A QUANTALOID: ISBELL ADJUNCTIONS AND KAN ADJUNCTIONS LILI SHEN AND DEXUE ZHANG Abstract. Each distributor between cat Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-07-21 12:20:00 Functors Adjoint functors Limit Symbol Monad Natural transformation Yoneda lemma Function Spectral theory of ordinary differential equations Mathematics Category theory Mathematical analysis

UPDATE