Skip to main content
Mathematics
gksato's user avatar
gksato's user avatar
gksato's user avatar
gksato
  • Member for 8 years, 10 months
  • Last seen more than a week ago
Profile Activity
Stats
152
reputation
171
reached
1
answer
2
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
5
bronze badges
Top tags
0
Score
2
Posts
67
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
-2
Score
1
Posts
33
Posts %
-2
Score
1
Posts
33
Posts %
Top posts
3
The correct name for "height" of "direct" categories
Aug 1, 2016
2
What morphism is sent to a monomorphism by the left Kan extension ${\rm Lan}_{\Delta}\colon{\bf Set^\Delta\to\bf Set^{\hat\Delta}}$ along Yoneda?
May 22
-2
How can we prove $(P \to \neg P) \to \neg P$ in this system?
Sep 19, 2015
Top network posts
View all network posts
11
Haskell: Flaw in the description of applicative functor laws in the hackage Control.Applicative article?: it says Applicative determines Functor
10
Haskell: How to make foldr/build fusion happen in (zip [0..])?
7
How to prove a 1-localization of a 1-category is already an $(\infty,1)$-localization?
6
In the constructive theory of direct categories, is it decidable whether an arbitrary morphism is an identity or not?
5
What is the name for the construction of this poset related to coherence of degeneracies of the simplex category?