Lawvere Completion and Separation Via Closure

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

• Type: Journal
• Year: 2010
• Where: ACS
• Authors: Dirk Hofmann, Walter Tholen
• Keywords: ACS 2010, Closure-theoretic Approach, Compatible T-algebra Structure, Distributed And Parallel Computing, Set Monad