Towards a Unified Treatment of Induction, I: The General Recursion Theorem Paul Taylor 1995–6 Abstract The recursive construction of a function f : A → Θ consists, paradigmatically, of finding

First Page		Document Content
Date: 2009-02-12 12:52:32 Category theory Functional programming Algebras Boolean algebra F-algebra Functor Algebraic structure Ordinal number F-coalgebra Adjoint functors Constructible universe Free algebra		Towards a Unified Treatment of Induction, I: The General Recursion Theorem Paul Taylor 1995–6 Abstract The recursive construction of a function f : A → Θ consists, paradigmatically, of finding Add to Reading List Source URL: www.paultaylor.eu Download Document from Source Website File Size: 348,88 KB Share Document on Facebook

	LEIBNIZ HOMOLOGY OF LIE ALGEBRAS AS FUNCTOR HOMOLOGY ERIC HOFFBECK AND CHRISTINE VESPA Abstract. We prove that Leibniz homology of Lie algebras can be described as functor homology in the category of linear functors from DocID: 1xVSt - View Document
	Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–2602) CONFORMAL FIELD THEORY, VERTEX OPERATOR ALGEBRAS AND OPERATOR ALGEBRAS Yasuyuki Kawahigashi (河東泰之) DocID: 1xVLK - View Document
	Process algebra and Markov processes The nature of synchronisation Equivalence relations Case study: active badges Summary From Markov to Milner and back: Stochastic process algebras Jane Hillston School of Informatics DocID: 1xVg5 - View Document
	Curved Koszul Duality for Algebras over Unital Operads Najib Idrissi∗ April 30, 2018 We develop a curved Koszul duality theory for algebras presented by DocID: 1xVbQ - View Document
	Curved Koszul Duality for Algebras over Unital Operads Najib Idrissi June 2018 @ Séminaire de mathématiques supérieures – Fields Institute DocID: 1xUYm - View Document