Monoidal monad - PDFSEARCH.IO - Document Search Engine

Monoidal monad
Results: 33

#	Item
1	How to Twist Pointers without Breaking Them Satvik Chauhan ∗ Piyush P. Kurur Brent A. Yorgey Add to Reading List Source URL: www.cse.iitk.ac.in Language: English - Date: 2016-07-30 09:35:21 Algebra Mathematics Abstract algebra Semigroup theory Monoidal categories Functional programming Programming idioms Algebraic structures Monoid Monad Functor Semigroup action
2	ALGEBRAS AND MODULES IN MONOIDAL MODEL CATEGORIES STEFAN SCHWEDE and BROOKE E. SHIPLEY [Received 4 September 1998; revised 1 DecemberIntroduction Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2003-11-07 09:15:30 Category theory Monoidal categories Homotopy theory Algebraic topology Adjoint functors Monoid PRO Model category Highly structured ring spectrum Monad Symmetric monoidal category Functor
3	PDF Document Add to Reading List Source URL: fritzo.org Language: English - Date: 2014-06-13 18:57:34 Computer programming Adjoint functors Software engineering Mathematical analysis Markov processes Probability theory Monad Probability distribution Kleisli category Markov chain Probability Monoidal monad
4	Coproducts of Monads on Set Jiˇr´ı Ad´amek, Stefan Milius Nathan Bowler Paul B. Levy Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-06-05 09:36:57 Algebra Abstract algebra Monad Coproduct Universal property Limit Monoidal categories Adjoint functors Category theory Functional programming
5	97th Peripatetic Seminar on Sheaves and Logic at the Université catholique de Louvain, on the occasion of Rudger Kieboom’s 65th birthday Saturday 31st January:00 Registration Chair: Borceux 9:30 Janelidze: “H Add to Reading List Source URL: sites.uclouvain.be Language: English - Date: 2015-01-27 10:24:47 Monoidal categories Homotopy theory Algebraic structures Adjoint functors Monad Hopf algebra Algebraic topology Monoid Crossed module Abstract algebra Algebra Category theory
6	BRICS Basic Research in Computer Science BRICS RSPower et al.: A Representation Result for Free Cocompletions A Representation Result for Add to Reading List Source URL: www.brics.dk Language: English - Date: 1998-10-06 07:03:41 Functors Monad Kleisli category Limit Universal property Natural transformation Equivalence of categories Enriched category Cartesian closed category Category theory Adjoint functors Monoidal categories
7	Combining Continuations with Other Effects ∗ M. Hyland P. B. Levy G. Plotkin & J. Power Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2004-01-11 10:44:45 Adjoint functors Functional programming Monoidal categories Monad Continuation Strong monad Monoid Tensor Denotational semantics Algebra Abstract algebra Category theory
8	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
9	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
10	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