Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
401	Compositional Application Architecture With Reasonably Priced Monads Rúnar Bjarnason @runarorama Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Monad User Dependency injection Software design patterns Software engineering Computing
402	Theory and Applications of Categories, Vol. 27, No. 18, 2013, pp. 464–492. AN EQUATIONAL METALOGIC FOR MONADIC EQUATIONAL SYSTEMS MARCELO FIORE Abstract. The paper presents algebraic and logical developments. From the Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-09-22 12:28:00 Adjoint functors Monoidal categories Algebraic structures Sheaf theory Monad Universal property Variety Strong monad Functor Abstract algebra Category theory Algebra
403	Theory and Applications of Categories, Vol. 28, No. 5, 2013, pp. 150–165. ON THE MONAD OF INTERNAL GROUPOIDS DOMINIQUE BOURN Abstract. We deeply analyse the structural organisation of the fibration of points and of th Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-03-11 14:58:00 Adjoint functors Functors Homological algebra Monad Universal property Epimorphism Sheaf Exact functor Morphism Category theory Abstract algebra Mathematics
404	Ivor, a Proof Engine Edwin Brady School of Computer Science, University of St Andrews, St Andrews, Scotland. Email: [removed]. Tel: +[removed], Fax: +[removed] Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2007-02-05 08:12:08 Functional languages Type theory Lambda calculus Logic in computer science Functional programming Combinatory logic Fixed-point combinator Dependent type Monad Software engineering Declarative programming Theoretical computer science
405	Theory and Applications of Categories, Vol. 28, No. 25, 2013, pp. 804–856. MULTITENSOR LIFTING AND STRICTLY UNITAL HIGHER CATEGORY THEORY MICHAEL BATANIN, DENIS-CHARLES CISINSKI AND MARK WEBER Abstract. In this articl Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-09-25 12:24:00 Adjoint functors Higher category theory Monad Operad theory N-category Functor Equivalence of categories Universal property Monoidal category Category theory Algebra Abstract algebra
406	Theory and Applications of Categories, Vol. 28, No. 4, 2013, pp. 123–149. SEMIUNITAL SEMIMONOIDAL CATEGORIES (APPLICATIONS TO SEMIRINGS AND SEMICORINGS) JAWAD ABUHLAIL Abstract. The category A SA of bisemimodules over Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-02-26 14:44:00 Functors Adjoint functors Monoidal categories Monad Sheaf Coproduct Natural transformation Product Monoidal functor Category theory Abstract algebra Algebra
407	Theory and Applications of Categories, Vol. 26, No. 7, 2012, pp. 194–203. NOTE ON STAR-AUTONOMOUS COMONADS CRAIG PASTRO Abstract. We develop an alternative approach to star-autonomous comonads via linearly distributiv Add to Reading List Source URL: www.emis.de Language: English - Date: 2012-04-02 13:38:00 Adjoint functors Monad *-autonomous category Hopf algebra Coalgebra Product Monoid Autonomous category Equivalence of categories Category theory Monoidal categories Algebra
408	Theory and Applications of Categories, Vol. 27, No. 13, 2013, pp. 263–326. GENERALIZED HOPF MODULES FOR BIMONADS MARCELO AGUIAR AND STEPHEN U. CHASE Abstract. Brugui`eres, Lack and Virelizier have recently obtained a Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-01-28 13:40:00 Adjoint functors Functors Monoidal categories Coalgebra Monad Hopf algebra Limit Sheaf Universal property Abstract algebra Category theory Algebra
409	Sequential decision problems, dependently typed solutions Nicola Botta1 , Cezar Ionescu1 , and Edwin Brady2 1 Potsdam Institute for Climate Impact Research, Telegrafenberg A31, 14473 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-06 08:56:05 Systems theory Software engineering Dynamic programming Control theory Procedural programming languages Bellman equation Function ALGOL 68 Monad Mathematical optimization Mathematics Equations
410	Theory and Applications of Categories, Vol. 26, No. 14, 2012, pp. 349–384. BIEQUIVALENCES IN TRICATEGORIES NICK GURSKI Abstract. We show that every internal biequivalence in a tricategory T is part of a biadjoint bieq Add to Reading List Source URL: www.emis.de Language: English - Date: 2012-08-07 10:33:00 Functors Higher category theory Equivalence of categories Bicategory Natural transformation Functor category Monoidal functor Monad Monoidal category Category theory Abstract algebra Adjoint functors

UPDATE