Searching protocol for "catlab"
Algebraic databases: category-theoretic data stores.
Generate topos and logic with forcing.
Directed topology with open cone condition.