Nuprl Definition : small_ps_context
small_ps_context{i:l}(C) == Functor(op-cat(C);TypeCat)
Definitions occuring in Statement :
type-cat: TypeCat,
op-cat: op-cat(C),
cat-functor: Functor(C1;C2)
Definitions occuring in definition :
cat-functor: Functor(C1;C2),
op-cat: op-cat(C),
type-cat: TypeCat
FDL editor aliases :
small_ps_context
Latex:
small\_ps\_context\{i:l\}(C) == Functor(op-cat(C);TypeCat)
Date html generated:
2018_05_22-PM-09_58_16
Last ObjectModification:
2018_02_19-PM-05_34_52
Theory : presheaf!models!of!type!theory
Home
Index