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 at 12:08:47. See the history of this page for a list of all contributions to it.