François G. Dorais
Reputation
3,510
Top tag
Next privilege 5,000 Rep.
Approve tag wiki edits
 Nov 22 awarded Nice Answer Aug 26 comment Special subgroup of a group of order $n$ @RobertM: When in doubt, flag for moderator attention and explain what you want to do. There are mechanisms set up to transfer questions from one site to another. Aug 24 awarded Good Answer Aug 17 comment Category of profinite groups If you want this question to be on MathOverflow, ask for it to be migrated. Please don't crosspost! Jul 28 comment clearing doubt over a definition The description on Wikipedia seems pretty understandable to me. The original paper could also be helpful - dx.doi.org/10.1109%2FSFCS.2000.892006 The bracket notation is a quirk of computer science and should ideally be described in any textbook that uses it. Jul 20 awarded Yearling Jul 3 answered Definable sets à la Jech May 14 awarded Enlightened May 14 awarded Nice Answer May 12 accepted A natural example in category theory May 8 comment A natural example in category theory Oh! This is excellent! I think this has finite products but not all finite limits. Right? May 7 comment A natural example in category theory This is not an explicit requirement but it is implied: if $X$ is itself inhabited then it is clearly isomorphic to a subobject of an inhabited object. May 7 asked A natural example in category theory May 7 awarded Caucus Apr 26 comment What is Baire's zero-dimensional metric space? Additional context would help, but it's usually this one - en.wikipedia.org/wiki/Baire_space_(set_theory) Apr 26 awarded Informed Apr 5 comment Uniform distribution with probability density function. Find the value of $k$. How many types of mathematicians are there? Mar 27 awarded Good Answer Jan 7 comment What are the differences between rings, groups, and fields? That used to be the case but most authors today define a ring to have $1$. The unusual looking term rng is sometimes used for the concept without $1$. Dec 27 comment Is empty set a proper subset of itself? $B \setminus A \neq \varnothing$ does not imply that $A$ is a subset of $B$. (But, if it is, then it is indeed a proper subset.)