Complements in Distributive Allegories

@inproceedings{Winter2009ComplementsID,
  title={Complements in Distributive Allegories},
  author={Michael Winter},
  booktitle={RelMiCS},
  year={2009}
}
  • M. Winter
  • Published in RelMiCS 4 November 2009
  • Mathematics, Philosophy
It is known in topos theory that the axiom of choice implies that the topos is Boolean. In this paper we want to prove and generalize this result in the context of allegories. In particular, we will show that partial identities do have complements in distributive allegories with relational sums and total splittings assuming the axiom of choice. Furthermore, we will discuss possible modifications of the assumptions used in that theorem. 

Cardinal Addition in Distributive Allegories

This paper is going to define addition on cardinalities and investigate its basic properties, and extend the abstract approach to the size of a relation based on a cardinality function.

Point Axioms in Dedekind Categories

This paper summarises interrelations of axioms of Dedekind categories to connect functional ideas to set-theoretical intuition.

Point axioms and related conditions in Dedekind categories

Investigating and Computing Bipartitions with Algebraic Means

Using Dedekind categories as an algebraic structure for (binary) set-theoretic relations without complements, we present purely algebraic definitions of “to be bipartite” and “to possess no odd

Using relation-algebraic means and tool support for investigating and computing bipartitions

References

SHOWING 1-10 OF 17 REFERENCES

Cardinal Addition in Distributive Allegories

This paper is going to define addition on cardinalities and investigate its basic properties, and extend the abstract approach to the size of a relation based on a cardinality function.

Axiom of choice and complementation

It is shown that an intuitionistic model of set theory with the axiom of choice has to be a classical oneO A topos 6 is a category which has finite limits (i.e. finite products, intersections and a

Topoi, the Categorial Analysis of Logic

Goguen Categories

This paper is a survey of the theory of Goguen categories which establishes a suitable categorical description of L-fuzzy relations, i.e., of relations taking values from an arbitrary complete

REVIEWS-Sketches of an elephant: A topos theory compendium

A1 Regular and Cartesian Closed Categories A2 Toposes - Basic Theory A3 Allegories A4 Geometric Morphisms - Basic Theory B1 Fibrations and Indexed Categories B2 Internal and Locally Internal

The derivation of identities involving projection functions

The \unsharpness problem" is solved by the construction of a nite Although this equation fails in general, it does hold under slightly stronger hypotheses. x1 In recent years various

Goguen Categories: A Categorical Approach to L-fuzzy Relations

This book introduces Goguen categories and provides a comprehensive study of these structures including their representation theory, and the definability of norm-based operations.

A Formalization Of Set Theory Without Variables

The formalism $\mathcal L$of predicate logic The formalism $\mathcal L^+$, a definitional extension of $\mathcal L$ The formalism $\mathcal L^+$ without variables and the problem of its equipollence

Relations and Graphs: Discrete Mathematics for Computer Scientists

This book is the first to explain how to use relational and graph-theoretic methods systematically in computer science, and develops a formal framework of relational algebra with respect to applications to a diverse range of problem areas.

Relational Methods in Computer Science

This book discusses Relational Formalisation of Nonclassical Logics, Logic, Language, and Information, and its applications in Programs and Datatypes, and other Application Areas.