Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Mathematics
Meta user
Network profile
645
reputation
4
14

StudentType

Apparently, this user prefers to keep an air of mystery about them.

0
answers
38
questions
~10k
people reached
  • Member for 4 years
  • 82 profile views
  • Last seen Jan 5 at 22:01

Communities (8)

Top network posts

Top tags (37)

Score 0
Posts 22
Posts % 58
Score 0
Posts 16
Score 0
Posts 5
Score 0
Posts 5
Score 0
Posts 2
Score 0
Posts 2
View all tags →

Top posts (38) All Questions Answers | Votes Newest

17 Why do we show that structures aren't isomorphic by exhibiting a property not shared by one of them? Jul 22 '15
8 Categorical semantics explained – what is an interpretation? Jun 19 '16
7 What is the role of the proof system in a Henkin-proof of Completeness? Oct 4 '15
6 Does a retraction really “retracts” something? Nov 2 '15
6 Why are maximal consistent sets essential to Henkin-proofs of Completeness? Sep 24 '15
6 Natural transformations in Awodey's Category Theory Exercise 7.11.8 Dec 30 '15
5 What is wrong with this proof that the identity map of $S^1$ is nullhomotopic? May 25 '16
4 Pullbacks - question 5.7.2 from Awodey's *Category Theory* Nov 27 '15
4 What is the pushout of $\mathbf{1} \longleftarrow \mathbf{2} \longrightarrow \mathbf{1}$? Jul 1 '16
4 Why the fact that $\mathbb{N}$ has decidable equality does not imply $\mathsf{HA} = \mathsf{PA}$? Aug 8 '16
View all questions and answers →

Badges (18)

Gold

—

Silver

4

Rarest

Bronze

14

Rarest

View all badges →