Skip to main content
Mathematics
Seeker's user avatar
Seeker's user avatar
Seeker's user avatar
Seeker
  • Member for 5 years, 1 month
  • Last seen more than a month ago
Profile Activity
Stats
347
reputation
2k
reached
1
answer
18
questions
Communities
About

I'm a Ph.D. student in Computer Science/Software Engineering

Badges
View all badges
This user doesn’t have any gold badges yet.
1
silver badge
10
bronze badges
Top tags
View all tags
0
Score
5
Posts
26
Posts %
0
Score
4
Posts
21
Posts %
0
Score
4
Posts
21
Posts %
0
Score
3
Posts
16
Posts %
0
Score
3
Posts
16
Posts %
0
Score
2
Posts
11
Posts %
Top posts
View all questions and answers
question
4
Why does the cartesian product of two two-dimensional figures lie in the three-dimensional space?
Nov 20, 2023
question
3
Coequalizer in the category of monoids
Aug 8, 2019
question
3
Groups in a category
Aug 10, 2019
question
3
Multi-sorted model theory
Nov 6, 2023
question
2
I don't understand this definition of a derivation
Oct 27, 2023
question
2
Prove the formula $(\forall x Px \wedge \forall x Qx) \leftrightarrow \forall x [Px \wedge Qx]$
Nov 19, 2023
question
2
Can we substitute an equal variable for a variable in a derivation in propositional/predicate logic? [duplicate]
Jul 22
question
1
Universal Mapping Property of finitely presented category
Aug 16, 2019
question
1
A property of adjoint functors via universal morphisms
Nov 20, 2020
question
1
Alpern, B., Schneider, F.B. Recognizing safety and liveness. Distrib Comput 2, 117–126 (1987). Is there is a mistake in the proof?
Nov 17, 2023