. (0000) “Polynomial functors from algebras over a set-operad and non-linear Mackey functors,” International Mathematics Research Notices, Vol. 0000, Article ID rnn000, 54 pages. doi:imrn rnn000 Polynomial fu - Sipser–Lautemann theorem - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2013-09-19 05:26:17 Algebra Mathematics Category theory Functors Adjoint functors Equivalence Homological algebra Sheaf Operad theory Natural transformation Isomorphism of categories Additive category		. (0000) “Polynomial functors from algebras over a set-operad and non-linear Mackey functors,” International Mathematics Research Notices, Vol. 0000, Article ID rnn000, 54 pages. doi:imrn/rnn000 Polynomial fu Add to Reading List Source URL: irma.math.unistra.fr Download Document from Source Website File Size: 672,02 KB Share Document on Facebook

	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
	FEVS: A Functional Equivalence Verification Suite Stephen F. Siegel, Timothy K. Zirkel, Yi Wei Supported by the National Science Foundation under Grant No. CCF DocID: 1xUHu - View Document
	Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code — 1st International Workshop on Software Correctness for HPC Applications, Nov 12, 2017, CO, USA DocID: 1xUlS - View Document
	Language Equivalence of Probabilistic Pushdown Automata Vojtˇech Forejta , Petr Janˇcarb , Stefan Kiefera , James Worrella a Department b Dept DocID: 1xUlb - View Document
	Semantic Security Invariance under Variant Computational Assumptions Eftychios Theodorakis? and John C. Mitchell?? Abstract. A game-based cryptographic proof is a relation that establishes equivalence between probabilist DocID: 1xTmW - View Document