Top network posts

• 26 What is the endgoal of formalising mathematics?
• 11 Could we ever hope to integrate all functions?
• 10 When does a topos satisfy the axiom of regularity?
• 7 Non-set-theoretic consequences of forcing axioms
• 7 What is the endgoal of formalising mathematics?
• 5 Does the forgetful functor $U: \mathbf{Gph} \to \mathbf{Set}$ have a left adjoint?
• 5 Identity for categorical product is terminal?
• View more network posts →