<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	>
<channel>
	<title>Comments on: New uses for Grothendieck topologies</title>
	<atom:link href="http://www.arsmathematica.net/archives/2005/12/12/new-uses-for-grothendieck-topologies/feed/" rel="self" type="application/rss+xml" />
	<link>http://www.arsmathematica.net/archives/2005/12/12/new-uses-for-grothendieck-topologies/</link>
	<description>Dedicated to the mathematical arts.</description>
	<pubDate>Sat, 06 Sep 2008 20:45:38 +0000</pubDate>
	<generator>http://wordpress.org/?v=2.5.1</generator>
		<item>
		<title>By: Ars Mathematica &#187; Blog Archive &#187;</title>
		<link>http://www.arsmathematica.net/archives/2005/12/12/new-uses-for-grothendieck-topologies/#comment-200</link>
		<dc:creator>Ars Mathematica &#187; Blog Archive &#187;</dc:creator>
		<pubDate>Thu, 15 Dec 2005 14:04:04 +0000</pubDate>
		<guid isPermaLink="false">http://www.arsmathematica.net/archives/2005/12/12/new-uses-for-grothendieck-topologies/#comment-200</guid>
		<description>[...] In a post below, I mentioned algebraic topology in computer science. A nice application of alg-top is for study of concurrency in distributed systems. For instance, one approach is to consider execution traces of a computational system being represented by time-directed paths through a space, and then to use alg-top methods to ask and answer questions about the structure of this space. [...]</description>
		<content:encoded><![CDATA[<p>[...] In a post below, I mentioned algebraic topology in computer science. A nice application of alg-top is for study of concurrency in distributed systems. For instance, one approach is to consider execution traces of a computational system being represented by time-directed paths through a space, and then to use alg-top methods to ask and answer questions about the structure of this space. [...]</p>
]]></content:encoded>
	</item>
</channel>
</rss>
