Synopsis
Abstract families and the adjoint functor theorems.- V-indexed categories.- Algebraic theories in toposes.- Coequalizers in algebras for an internal type.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
