Skip to main content
Mathematics
tses's user avatar
tses's user avatar
tses's user avatar
tses
  • Member for 2 years, 3 months
  • Last seen more than a month ago
Profile Activity
Stats
255
reputation
1k
reached
1
answer
10
questions
Communities
Badges
This user doesn’t have any gold badges yet.
1
silver badge
9
bronze badges
Top tags
View all tags
1
Score
6
Posts
55
Posts %
1
Score
1
Posts
9
Posts %
0
Score
9
Posts
82
Posts %
0
Score
3
Posts
27
Posts %
0
Score
2
Posts
18
Posts %
0
Score
2
Posts
18
Posts %
Top posts
View all questions and answers
4
Literature for modal logic and coalgebras (focused on logic and category theory)
Apr 4, 2022
4
Coalgebraic logic in a general category?
Apr 14, 2022
4
Is it possible to define this object using Kripke-Joyal Semantics
May 26, 2022
4
How to model theories and use internal logic in a topos?
Nov 15, 2023
4
Studying modal logic using category theory
May 21
3
How to generalize "is an element of a subset"?
Apr 9, 2022
3
Covariant power object functor?
Nov 12, 2023
1
Generalization of set theoretic image, viewed as a function?
Oct 24, 2022
1
Proving that powerset is a power object in category of sets and functions
Dec 1, 2022
1
Composition of homomorphisms of association schemes
Mar 8