Reputation
6,866
Top tag
Next privilege 10,000 Rep.
Access moderator tools
Badges
1 7 31
Newest
 Cleanup
Impact
~73k people reached

May
20
accepted How to introduce type theory to newcomer
May
19
awarded  Cleanup
May
19
revised Homology of wedge sum is the direct sum of homologies
Made minor corrections
May
19
revised Homology of wedge sum is the direct sum of homologies
rolled back to a previous revision
May
3
awarded  Nice Question
Apr
24
comment Zorn's Lemma Application for Finding Maximal Submodule?
Since $\bar L$ is a maximal element in $\mathscr{F}$ you have that for every other element $L \in \mathscr{F}$, that is every other submodule of $M$ such that $x \not \in L$ and $N \subseteq L$ you have that if $L \supseteq \bar L$ then $L = \bar L$. This is the definition of maximal element of a poset.
Apr
24
comment Zorn's Lemma Application for Finding Maximal Submodule?
Because you're element belong to $\mathscr{F}$ and every element of this poset has the desidered property.
Apr
24
revised How to introduce type theory to newcomer
deleted 170 characters in body
Apr
24
revised How to introduce type theory to newcomer
Make narrower and precise the question
Apr
21
awarded  Nice Question
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?