Open AccessTARSKI’S FIXED POINT THEOREM IN DEDEKIND CATEGORIES
Author(s) -
Yasuo Kawahara,
Kazumasa Honda
Publication year - 2006
Publication title -
bulletin of informatics and cybernetics
Language(s) - English
Resource type - Journals
eISSN - 2435-743X
pISSN - 0286-522X
DOI - 10.5109/12599
Subject(s) - dedekind cut , mathematics , fixed point theorem , discrete mathematics , pure mathematics , mathematical economics , combinatorics
Tarski’s fixed point theorem for complete lattices is a fundamental theorem in lattice theory and is very useful for computer science applications. This paper will show a general result in Dedekind categories, which extends the Tarski’s theorem.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom