18.8.16
Propositions as Types generalised: The Rosetta Stone
Labels: Programming Languages, Theory, Types
Comments:
<< Home
In which way is a cobordism a function between manifolds? As far as I know a cobordism is itself a manifold.
# posted by 
: 19/8/16 4:44 PM
: 19/8/16 4:44 PM
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.
Post a Comment
# posted by : 29/9/16 10:51 AM
: 29/9/16 10:51 AM << Home
