Mathematics
Meta user
Network profile
655
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, 4 months
  • 84 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 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
4 Pullbacks - question 5.7.2 from Awodey's *Category Theory* Nov 27 '15
View all questions and answers →

Badges (18)

Gold

—

Silver

4

Rarest

Bronze

14

Rarest

View all badges →