Lawvere completion and separation via closure

Dirk Hofmann; Walter Tholen

Lawvere completion and separation via closure

Category Theory 2008-01-03 v1 General Topology

Authors: Dirk Hofmann , Walter Tholen

Abstract

For a quantale $\V$ , first a closure-theoretic approach to completeness and separation in $\V$ -categories is presented. This approach is then generalized to $\Tth$ -categories, where $\Tth$ is a topological theory that entails a set monad $\mT$ and a compatible $\mT$ -algebra structure on $\V$ .

Keywords

set theory category theory

Cite

@article{arxiv.0801.0199,
  title  = {Lawvere completion and separation via closure},
  author = {Dirk Hofmann and Walter Tholen},
  journal= {arXiv preprint arXiv:0801.0199},
  year   = {2008}
}

Related papers

View all related →