infinity presheaf category as presentable category
Proposition
Let
Proof
corollary of:
infinity functor category into an accessible category as accessible category
category of Anima as accessible category
Date: nil
Author: Anton Zakrewski
Created: 2024-12-09 Mo 07:53