18.8.16

Propositions as Types generalised: The Rosetta Stone

From Physics,Topology, Logic and Computation: A Rosetta Stone by John C. Baez and Mike Stay, courtesy of @CompSciFact, @sigfpe, and @notjfmc.

2 comments:

Anonymous said...

In which way is a cobordism a function between manifolds? As far as I know a cobordism is itself a manifold.

Anonymous said...

A cobordism is a continuous transformation of one border into another (hence a function). Because it is continuous, it may also be considered as a manifold.