Initial algebra - PDFSEARCH.IO - Document Search Engine

Initial algebra
Results: 96

#	Item
1	Hardy-Ramanujan Journal – (yyyy), — submitted dd/mm/yyyy, accepted dd/mm/yyyy, revised dd/mm/yyyy Towards a proof of the Hodge conjecture, and cycle spaces in positive characteristic Add to Reading List Source URL: hrj.episciences.org Language: English - Date: 2015-04-14 09:38:10 Algebra Abstract algebra Mathematics Hodge theory Fold Draft:Example Draft:Exampledraft Typography Initial Lorem ipsum Hodge structure Hodge conjecture
2	THE GEOMETRY OF FROBENIOIDS II: POLY-FROBENIOIDS Shinichi Mochizuki June 2008 Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2011-11-07 07:20:32 Algebra Abstract algebra Mathematics Algebraic structures Semigroup theory Category theory Algebraic number theory Category Monoid Initial and terminal objects Frobenioid Functor
3	Categories and their Algebra James A. Overton September 13, 2005 Abstract The goal if this paper is to introduce the notion of a category, along with some basic results, and then to explore work done by Bret Tilson in hi Add to Reading List Source URL: james.overton.ca Language: English - Date: 2016-01-12 09:05:05 Semigroup theory Monoidal categories Algebraic structures Category theory Formal languages Monoid Free monoid Category Functor Homomorphism Initial and terminal objects PRO
4	859 Documenta Math. Multiplicative Structures on Algebraic K -Theory Clark Barwick Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2015-09-18 06:25:54 Category theory Functors Monoidal categories Homological algebra Adjoint functors Waldhausen category Universal property Algebraic K-theory Natural transformation Limit Equivalence of categories Initial and terminal objects
5	Generator Induction in Order Sorted Algebras Olaf Owe and Ole-Johan Dahl Institute of Informatics University of Oslo Norway February 1989 Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Type theory Mathematical logic Category theory Functional programming Abstract algebra Term algebra Initial algebra Algebraic structure Mathematical induction Term Sigma-algebra Unification
6	Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Category theory Functional programming F-algebra F-coalgebra Functor Initial algebra Monad Equivalence of categories Coalgebra Stoneech compactification
7	RESET: Reset REDUCE to its initial state J. P. Fitch School of Mathematical Sciences, University of Bath BATH BA2 7AY, England e–mail: March 20, 2004 Add to Reading List Source URL: reduce-algebra.com - Date: 2008-12-30 11:47:35
8	RESET: Reset REDUCE to its initial state J. P. Fitch School of Mathematical Sciences, University of Bath BATH BA2 7AY, England e–mail: March 20, 2004 Add to Reading List Source URL: www.reduce-algebra.com - Date: 2008-12-30 11:47:35
9	Chapter 1 Generalizing the AUGMENT Combinator Neil Ghani1 , Tarmo Uustalu2 , and Varmo Vene3 Abstract: The usual initial algebra semantics of inductive types provides a clear Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2005-06-02 17:46:01
10	The Church-Scott representation of inductive and coinductive data in (typed) λ calculus Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2014-05-15 11:45:56 Computability theory Lambda calculus Recursion Theoretical computer science Type theory Combinatory logic Church encoding Initial algebra Primitive recursive function