含预层族的内范畴

摘要：

本文讨论了在一个预层范畴中的一个含族范畴（CwF）的构造.当一个预层范畴的基范畴是一个CwF时，我们将这个CwF结构内在化在该预层范畴的CwF中。本说明假定了范畴论的工作知识。

英文摘要：

In this note, we review a construction of category with families (CwF) in a presheaf category. When the base category of a presheaf category is a CwF, we internalize this CwF structure in the CwF of the presheaf category. This note assumes working knowledge on category theory.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。