Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories

  title={Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories},
  author={Robin Kaarsgaard},
3 Citations

Figures from this paper

Categorical Semantics of Reversible Pattern-Matching

A typed, functional reversible language based on Theseus is focused on, and it is shown how a categorical structure to add to join inverse rig categories makes an adequate model for reversible pattern-matching.

Effectuses in Categorical Quantum Foundations

This thesis develops the theory of effectuses as a categorical axiomatic approach to quantum theory. It provides a comprehensive introduction to effectus theory and reveals its connections with



A Categorical Foundation for Structured Reversible Flowchart Languages

Adjointness in Foundations

This article sums up a stage of the development of the relationship between category theory and proof theory and shows how already in 1967 category theory had made explicit a number of conceptual advances that were entering into the everyday practice of mathematics.

Algebraic Approaches to Program Semantics

This book is an introduction to denotational semantics, introducing the reader to the order semantics of Scott and Strachey and the authors' own partially additive semantics.

A categorical foundation for structured reversible flowchart languages: Soundness and adequacy

A categorical foundation for this class of languages based on inverse categories with joins is developed, which leads to a categorical semantics for structured reversible flowcharts, which is shown to be computationally sound and adequate, as well as equationally fully abstract with respect to the operational semantics under certain conditions.

Restriction categories III: colimits, partial limits and extensivity

An Introduction to Effectus Theory

This text is an account of the basics of effectus theory, which includes the fundamental duality between states and effects, with the associated Born rule for validity of an effect (predicate) in a particular state.

Flow diagrams, turing machines and languages with only two formation rules

In the first part of the paper, flow diagrams are introduced to represent inter ah mappings of a set into itself due to a suitable extension of the given set and of the basic mappings defined in it.

A Survey of Graphical Languages for Monoidal Categories

This article is intended as a reference guide to various notions of monoidal categories and their associated string diagrams. It is hoped that this will be useful not just to mathematicians, but also

Structured Programming With and Without go to Statements

  • C. C. Elgot
  • Computer Science
    IEEE Transactions on Software Engineering
  • 1976
The analogous multiexit composition binary alternation-conditional iteration (CACI) schemes introduced below, which are virtually as simple and perspicuous as Dijkstra schemes, describe exactly the same computational processes as flow-chart schemes (without the aid of additional variables).

Introduction to Metamathematics