683 reputation
516
bio website
location
age 23
visits member for 3 years
seen Oct 17 at 18:48

Oct
23
awarded  Yearling
Sep
19
comment What are the epis in Met?
Just noticed... my morphisms were contractions. How do you know that your $g_2$ is a contraction?
Sep
19
accepted What are the epis in Met?
Sep
19
asked What are the epis in Met?
Sep
19
accepted Topology making a family of functions optimal
Sep
17
answered Prove that for all integers a and b, a + b and a − b are either both odd or both even.
Sep
17
asked Topology making a family of functions optimal
Sep
13
awarded  Popular Question
Jul
2
awarded  Curious
Jul
2
awarded  Inquisitive
Mar
24
awarded  Notable Question
Jan
25
awarded  Tumbleweed
Jan
19
comment Construct an algebra from its finitely generated algebras
@JimBelk I thought that would come up, which is why I added the last7 words. I meant take "smartly chosen" direct products and get something isomorphic. This comes from a question, in which I need to prove whether a given algebra is in a variety (of its same type) iff all of its finitely generated subalgebras are in the variety to begin with. I am exploring the idea of accomplishing this only with direct producs, I feel it'll be enough.
Jan
19
asked Construct an algebra from its finitely generated algebras
Jan
18
asked What is the $K$-free algebra for the class of implication algebras, over a finite set
Nov
22
awarded  Nice Question
Nov
13
accepted Question on Galois Connections
Nov
12
comment Question on Galois Connections
@rschwied Great, thanks. Last question, then. Is Cl$(P)$ (the closed sets in $P$), closed under meets and joins? You used that fact in a few steps.
Nov
12
comment Question on Galois Connections
And feel free to use $F$ and $G$, if you want.
Nov
12
comment Question on Galois Connections
Oh, and another question... the problem has 4 sentences that have to be proved, for each combination of the set and the operation ($\{P,Q\}\times\{\vee,\wedge\}$). Do the other 3 statements follow directly from symmetry/duality from the one I have started working on (see previous comment)?