Reputation
6,806
Top tag
Next privilege 10,000 Rep.
Access moderator tools
Badges
1 7 28
Newest
 Nice Answer
Impact
~70k people reached

Apr
3
answered How can metalanguage be a formal language?
Apr
2
awarded  Nice Answer
Mar
26
comment Limit as universal arrow
@LuigiM forgive me, in the first part of the answer I've got confused... I've edited to correct the mistake. :)
Mar
26
revised Limit as universal arrow
Made a correction
Mar
26
answered Limit as universal arrow
Mar
11
reviewed Approve The number of elements of order $p$ in a $p$-group is -1 mod $p$?
Feb
24
answered Proof of the Completeness Theorem in Predicate Calculus
Feb
15
comment The functor $\mathbf{D} \rightarrow \mathbf{Prof}$ obtained by “splitting” $F : \mathbf{C} \rightarrow \mathbf{D}$ at each object of $\mathbf{D}.$
@goblin it is indeed, the part I'm referring to is the last section Distributors and generalized fibrations.
Feb
15
answered The functor $\mathbf{D} \rightarrow \mathbf{Prof}$ obtained by “splitting” $F : \mathbf{C} \rightarrow \mathbf{D}$ at each object of $\mathbf{D}.$
Feb
15
answered What is the categorical diagram for the tensor product?
Feb
7
reviewed Approve Let $R$ be a commutative ring and let $I$ and $J$ be ideals of $R$. Show $IJ$ is an ideal of $R$.
Jan
19
revised How to introduce type theory to newcomer
added details in order to address more specific issues.
Jan
19
revised How to introduce type theory to newcomer
deleted 238 characters in body
Jan
17
awarded  Announcer
Jan
8
comment Degree of the extension $\mathbb{Q}(\zeta_3,\zeta_7)$ over $\mathbb{Q}$
@JackD'Aurizio for start since $[\mathbb Q(\zeta_7):\mathbb Q]=6$ it's not so clear why $\sqrt{-3}=Q_1+Q_2\zeta_7$ and not $Q_0+Q_1\zeta_7+\dots+Q_6 \zeta_7^6$, second it's not so clear (at least not to me) why the relation $-3=(Q_1+Q_2\zeta_7)^2$, which holds in $\mathbf Q(\zeta_7)$ should also hold in the finite field $\mathbb F$.... guess I'm a little rusty on arithmetics...
Jan
8
comment Degree of the extension $\mathbb{Q}(\zeta_3,\zeta_7)$ over $\mathbb{Q}$
@JackD'Aurizio I guess the not so easy part is why from the fact that $\sqrt{-3} \in \mathbb Q(\eta_7)$ should follow that in the finite field there is a square root of $-3$.
Jan
7
revised How to introduce type theory to newcomer
added specifications
Jan
7
comment How to introduce type theory to newcomer
@MikeStay I've read the paper but it seems to deal with the relation between typed and untyped theories, so how does it relate to my issue here? Am I missing something?
Jan
7
revised No group of order $400$ is simple - clarification
Fixed a little typo in the title.
Jan
7
comment How to introduce type theory to newcomer
@NikolajK I'm afraid they very limited knowledge: mostly simple basic programming in C.