Lawvere - Tierney sheaves in Algebraic Set Theory.

Steven Awodey Nicola Gambino Peter LeFanu Lumsdaine Michael A. Warren

Published in: J. Symb. Log. (2009)

Keyphrases

set theory
algebraic geometry
partial order
fuzzy set theory
rough sets
rough set theory
mathematical morphology
first order logic
fuzzy sets
probability theory
decision trees
description logics
real time
higher order
efficient implementation
morphological operations