Submissions from topos.site

		Polynomial Functors: A Mathematical Theory of Interaction [pdf] (topos.site)
		49 points by solomonb on July 9, 2023 \| past \| 36 comments
		Polynomial Functors: A General Theory of Interaction (topos.site)
		2 points by adamnemecek on June 1, 2023 \| past
		Dana Scott: Seventy Years Using Fixed Points (topos.site)
		2 points by hackandthink on April 2, 2023 \| past \| 1 comment
		Polynomial Functors: A General Theory of Interaction [pdf] (topos.site)
		2 points by adamnemecek on March 8, 2023 \| past
		Statement on Topos and the FTX Foundation (topos.site)
		1 point by mathgenius on Nov 19, 2022 \| past
		The MathFoldr Project (topos.site)
		1 point by nabla9 on July 13, 2021 \| past
		The MathFoldr Project (topos.site)
		3 points by mathgenius on July 12, 2021 \| past