nLab
coherent functor

Context

Category theory

Concepts

Universal constructions

    • /

    • /

Theorems

Extensions

Applications

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