New posts in categorical-logic

The legitimacy of topos theory and intuitionism.

foundations philosophy topos-theory intuitionistic-logic categorical-logic

What's the difference between a logic, an internal logic (language) of a category, an internal logic of a topos and a type theory?

logic category-theory formal-languages topos-theory categorical-logic