Coalgebra - PDFSEARCH.IO - Document Search Engine

Coalgebra
Results: 69

#	Item
41	Resource bisimilarity and graded bisimilarity coincideI Luca Aceto∗, Anna Ingolfsdottir, Joshua Sack ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland Abstract Resource Add to Reading List Source URL: www.ru.is Language: English - Date: 2010-10-27 04:45:47 Philosophical logic Category theory Theoretical computer science Modal logic Bisimulation Logic in computer science Kripke semantics F-coalgebra Monoid Mathematics Abstract algebra Logic
42	Sage Reference Manual: Category Theory Release 6.3 The Sage Development Team Add to Reading List Source URL: www.sagemath.org Language: English - Date: 2014-11-16 14:58:22 Algebraic structures Ring theory Algebras Mathematical structures Monoid Hopf algebra Semigroup Associative algebra Coalgebra Abstract algebra Algebra Mathematics
43	Ambidexterity in K(n)-Local Stable Homotopy Theory Michael Hopkins and Jacob Lurie December 19, 2013 Contents 1 Multiplicative Aspects of Dieudonne Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2013-12-19 12:27:06 Algebras Hopf algebras Representation theory Algebraic groups Monoidal categories Associative algebra Coalgebra Formal group Group scheme Abstract algebra Algebra Mathematics
44	On the Origins of Bisimulation and Coinduction DAVIDE SANGIORGI University of Bologna, Italy The origins of bisimulation and bisimilarity are examined, in the three fields where they have been independently discovered: C Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2009-04-06 03:37:20 Mathematical logic Category theory Logic in computer science Order theory Functional programming Bisimulation Coinduction Knaster–Tarski theorem F-coalgebra Mathematics Theoretical computer science Applied mathematics
45	A Study of Categories of Algebras and Coalgebras Jesse Hughes May, 2001 Department of Philosophy Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Mathematics Functional programming F-coalgebra Coalgebra Algebraic structures Initial algebra F-algebra Monad Variety Category theory Abstract algebra Algebra
46	The fake monster formal group. 27 May, 31 Dec 1998 Duke Math J. Vol 100 No[removed]), [removed]Richard E. Borcherds, ∗ Add to Reading List Source URL: math.berkeley.edu Language: English - Date: 1999-12-09 18:06:33 Representation theory Ring theory Lie algebras Hopf algebras Universal enveloping algebra Coalgebra Formal group Associative algebra Algebra over a field Abstract algebra Algebra Algebras
47	Vertex algebras. 10 June 1997, corrected 19 June, 26 June, 26 September. Topological field theory, primitive forms and related topics (Kyoto, 1996), 35–77, Progr. Math., 160, Birkh¨ Add to Reading List Source URL: math.berkeley.edu Language: English - Date: 1999-12-09 18:10:46 Monoidal categories Lie algebras Ring theory Hopf algebra Associative algebra Formal group Universal enveloping algebra Coalgebra Vertex operator algebra Abstract algebra Algebras Representation theory
48	Abstract. The lecture notes contains an introduction to quantum groups, q-special functions and their interplay. After generalities on Hopf algebras, orthogonal polynomials and basic hypergeometric series we work out the Add to Reading List Source URL: www.numerical-yoga-guru-rupnathji.net46.net Language: English - Date: 2013-02-20 07:27:06 Representation theory Algebras Monoidal categories Quantum groups Lie algebra Associative algebra Tensor algebra Universal enveloping algebra Coalgebra Abstract algebra Mathematics Hopf algebras
49	Computing Science Group Coalgebras, Chu Spaces, and Representations of Physical Systems Samson Abramsky Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:36:15 Mathematics Coalgebra F-coalgebra Functor Chu space Natural transformation Fibred category Concrete category Sheaf Category theory Abstract algebra Algebra
50	Final Coalgebras as Greatest Fixed Points in ZF Set Theory∗ Lawrence C. Paulson [removed] Computer Laboratory, University of Cambridge, England Received 1 March 1999 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:48 Category theory Binary operations Functional programming F-coalgebra Initial algebra Coalgebra Function Cartesian product Exponentiation Mathematics Abstract algebra Type theory

UPDATE