1. Bisimulation everywhere 2. The power of coinduction 3. More bisimulations, still

First Page		Document Content
Date: 2012-10-10 03:52:07 Category theory Theoretical computer science Mathematics Bisimulation F-coalgebra Coinduction Functor Coalgebra Universal property		1. Bisimulation everywhere 2. The power of coinduction 3. More bisimulations, still Add to Reading List Source URL: events.inf.ed.ac.uk Download Document from Source Website File Size: 1,12 MB Share Document on Facebook

	SKELETONS AND MODULI OF STOKES TORSORS by Jean-Baptiste Teyssier Abstract. — We prove an analogue for Stokes torsors of Deligne’s skeleton conjecture and deduce from it the representability of the functor of relative DocID: 1xW1q - View Document
	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
	FUNCTOR CATEGORIES AND STABLE HOMOLOGY VIA FUNCTOR HOMOLOGY CHRISTINE VESPA Abstract. This text is a preliminary version of material used for a course at the University of Tokyo, January 18-22, 2016. These lectures conce DocID: 1xUmg - View Document
	GENERIC REPRESENTATIONS OF ORTHOGONAL GROUPS: THE FUNCTOR CATEGORY Fquad CHRISTINE VESPA Abstract. In this paper, we define the functor category Fquad associated to F2 -vector spaces equipped with a quadratic form. We sh DocID: 1xTZ1 - View Document
	STABLE HOMOLOGY VIA FUNCTOR HOMOLOGY CHRISTINE VESPA Abstract. This text is a preliminary version of material used for a course at the University of Copenhagen, part of ”Workshop and Masterclass on Homological stabilit DocID: 1xTxU - View Document