Locally cartesian closed exact completions (

By A. Carboni, Giuseppe Rosolini. 2000

61 citations recorded by the source corpus.

Subfields: Algebra and Number Theory, Artificial Intelligence, Mathematical Physics

View Paper: https://www.semanticscholar.org/paper/4c6b71f05d75d70c09fc6e73271b90f1b2fca9e1

Citations in the corpus

• Elementary quotient completion (2012, unknown): “Similar examples can be produced using topological categories such as those in the papers (Birkedal, Carboni, Rosolini, and Scott 1998; Carboni and Rosolini 2000).”