Top network posts

• 8 Is every context free language equivalent to one whose grammar has only one non-terminal symbol?
• 7 What's the difference between a logic, an internal logic (language) of a category, an internal logic of a topos and a type theory?
• 6 What are the algebras of the double powerset monad?
• 6 How do I get the existence of a set in ZFC following Jech?
• 6 Degree choice -- Math or physics
• 5 Scalaz: what role does filter play in |@|?
• View more network posts →