#to-elaborate How does the characteristic function of a sub-object classifier relate to it's [[type]]? --- - Links: [[Category Theory]] [[Type Theory]] [[Syntactic Category]] [[Categorical Logic]] - Created at: [[2021-09-26]]