17 Answers votes newest views recent 3Does this kind of endofunctor ever have an initial algebra? 1Was the early calculus inconsistent? 3Adjoint of Pushout as Modal Operators in Internal Logic 1Nelson natural number objects in a topos (say) 1Monoidal structure on a category with products and with terminal object 8A continuous notion of realizability 7Small categories and completeness 4What categories correspond to the typed lambda calculus with parametric types? 6On internal functions and arrows in a Topos 2products in a category without reference to objects or sources and targets 0Bijection of proper classes 1What abstract nonsense is necessary to say the word “submersion”? 0Independence and Category Theory 1Name for a functor with this property? 1Au revoir, law of excluded middle? 0What is the difference between the biconditional iff. and equality = ? 8Why do so many textbooks have so much technical detail and so little enlightenment?