Category theory MOC
Pseudoautistic category
A category 𝖢 is pseudoautistic iff there exists a category of categories 𝖢1 and a category 𝖢2 ∈𝖢1 such that 𝖢1 ≅𝖢 ≅𝖢2 are isomorphic,1 #m/def/cat
and thus 𝖢1 is an autistic category.
Properties
#state/tidy | #lang/en | #SemBr