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 cat and thus 𝖒1 is an autistic category.

Properties


tidy | en | SemBr

Footnotes

  1. 1999. FOM: Russell paradox for naive category theory ↩