𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Topological Constructions in the o–Graph Calculus

✍ Scribed by Fabian J. Theis

Publisher
John Wiley and Sons
Year
2002
Tongue
English
Weight
303 KB
Volume
241
Category
Article
ISSN
0025-584X

No coin nor oath required. For personal study only.

✦ Synopsis

Benedetti and Petronio developed in [1] a so called o-Graph Calculus, where a compact oriented 3-manifold with nonempty boundary could be described by a quadrivalent graph together with some extra structure. In this paper, we will show how topological constructions such as puncturing, connected sums, attaching handles, closing boundary components and product and mapping tori constructions can be translated into the o-graph calculus.

📜 SIMILAR VOLUMES

Interpreting HOL in the calculus of cons
Interpreting HOL in the calculus of constructions
✍ Jonathan P. Seldin 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 232 KB

The purpose of this paper is to consider a representation of the HOL theorem-prover in the calculus of constructions with the property that consistency results from the calculus of constructions imply such results in HOL. This kind of representation is impossible using the propositions-as-types repr