Functors - PDFSEARCH.IO - Document Search Engine

Functors
Results: 618

#	Item
111	Designware: Software Development by Renement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA Abstract Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 21:01:09 Category theory Functors Morphism Sheaf Category Limit Pushout Cone Diagram
112	A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:36:48 Category theory Models of computation Adjoint functors Functional programming Logic in computer science Denotational semantics Lambda calculus Cartesian closed category Sheaf F-algebra Kleisli category Monad
113	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
114	PDF Document Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:39:14 Category theory Functors Limit Dual Pushout Span Diagram Universal property Morphism Is-a Category Natural transformation
115	1 Functors E. L. Lady Non-definition. A category is made up of objects and morphisms. For the Add to Reading List Source URL: www.math.hawaii.edu Language: English - Date: 2001-04-07 05:35:26
116	HOPF CATEGORIES E. BATISTA, S. CAENEPEEL, AND J. VERCRUYSSE Abstract. We introduce Hopf categories enriched over braided monoidal categories. The notion is linked to several recently developed notions in Hopf algebra the Add to Reading List Source URL: homepages.vub.ac.be Language: English - Date: 2015-03-18 11:01:38 Monoidal categories Functor Natural transformation Hopf algebra Morphism Adjoint functors Coproduct Grothendieck topology Product Category theory Abstract algebra Algebra
117	Relating Computational Eﬀects by >>-Lifting Shin-ya Katsumata Research Institute for Mathematical Sciences Kyoto University, Kyoto, , Japan Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2011-11-07 10:18:24 Category theory Adjoint functors Model theory Semigroup theory Algebraic structures Monoid Monad Symbol Parity of a permutation Mathematics Abstract algebra Algebra
118	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
119	Preorders on Monads and Coalgebraic Simulations Shin-ya Katsumata and Tetsuya Sato Research Institute for Mathematical Sciences, Kyoto University, Kyoto, , Japan {sinya,satoutet}@kurims.kyoto-u.ac.jp Abstract. W Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2013-03-26 18:38:51 Mathematics Topology Functional programming Monad Preorder Grothendieck topology Kleisli category Alexandrov topology Adjoint functors Category theory Order theory
120	arXiv:submitmath.AG] 19 FebAbsolute algebra and Segal’s Gamma sets Alain Connes and Caterina Consani Abstract We show that the basic categorical concept of an s-algebra as derived from the theory Add to Reading List Source URL: www.alainconnes.org Language: English - Date: 2015-02-21 08:57:02 Functor Adjoint functors Sheaf Initial and terminal objects Valuation Category of abelian groups Grothendieck topology Coproduct Tensor product Abstract algebra Algebra Category theory

UPDATE