On finiteness spaces and extensional presheaves over the Lawvere theory of polynomials

Thomas Ehrhard

Type: Preprint

Publication Date: 2007-07-25

Citations: 2

Similar Works

Action	Title	Year	Authors
+	On stably polynomial algebras	1982	Teruo Asanuma
+	On equational theories of classes of finite rings	1999	Vladimir Popov
+	On quasi-polynomial algebras	1982	Teruo Asanuma
+ PDF Chat	On strict polynomial functors with bounded domain	2024	Marcin Chałupnik Patryk Jaśniewski
+ PDF Chat	On families of σ-complete ideals	1980	Adam Krawczyk Andrzej Pelc
+	ON POLYNOMIAL ALGEBRAS	1977	Günther Eigenthaler
+ PDF Chat	On the Finiteness of Free (Universal) Algebras	1956	Alfred L. Foster
+ PDF Chat	On Sets of Irreducible Polynomials Closed by Composition	2016	Andrea Ferraguti Giacomo Micheli Reto Schnyder
+	On the sheaf theory	2006	R. Choukri A. El Kinani Ali Oukhouya
+	Hilbert polynomials for the extension functor	2008	Daniel J. Katz Emanoil Theodorescu
+	On the univalence of polynomials	1970	Türkân Başgöze
+ PDF Chat	Sheaf constructions in universal algebra and model theory	1982	Heinz Werner
+ PDF Chat	On Krull Overrings of a Noetherian Domain	1969	William Heinzer
+	On Gruenberg resolutions for augmented algebras	1972	F. Bachmann
+	On Kleene algebras	1980	Hon-Fei Lai
+	On Finite Rings	1967	Rolando E. Peinado
+	On Finite Rings	1967	Rolando E. Peinado
+	On reflexible polynomials	2018	Primož Potočnik Boštjan Kuzman Aleksander Malnič
+	On universal Horn classes categorical in some infinite power	1973	John T. Baldwin A. H. Lachlan
+	On the Extension of Polynomials of Weak Type	1997	Tatsuhiro Honda Mitsuhiro Miyagi Masaru Nishihara

Action	Title	Year	Authors
+ PDF Chat	Typed Lambda Calculi and Applications	2009	Christine Tasson
+ PDF Chat	A convenient category for higher-order probability theory	2017	Chris Heunen Ohad Kammar Sam Staton Hongseok Yang

Action	Title	Year	Authors