Relating first-order set theories, toposes and categories of classes.

Steven Awodey Carsten Butz Alex Simpson Thomas Streicher

Published in: Ann. Pure Appl. Log. (2014)

Keyphrases

small number
probability distribution
data sets
databases
case study
query language
first order logic
hierarchical structure
object instances