Catégories modelables et catégories esquissables
暂无分享,去创建一个
[1] Friedrich Ulmer. Locally α-presentable and locally α-generated categories , 1971 .
[2] R. Guitart,et al. Calcul syntaxique des modèles et calcul des formules internes , 1980 .
暂无分享,去创建一个
[1] Friedrich Ulmer. Locally α-presentable and locally α-generated categories , 1971 .
[2] R. Guitart,et al. Calcul syntaxique des modèles et calcul des formules internes , 1980 .