nLab
coherent functor

Contents

Definition

A functor F:CDF : C \to D between coherent categories is called coherent if it is a regular functor and in addition preserves finite unions.

Properties

References

Page 34 of

Created on April 26, 2011 12:08:47 by Urs Schreiber (131.211.232.154)