Giorgio Mossa
Reputation
8,981
Top tag
Next privilege 10,000 Rep.
Access moderator tools
 Jun 3 awarded Notable Question 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}.$