1,753 reputation
412
bio website williamdemeo.org
location
age
visits member for 3 years, 2 months
seen May 8 at 21:43

on the job market


May
15
awarded  Yearling
Apr
9
comment H P S class operators and their inequalities
Perhaps people would be more willing to answer if you accepted, or at least commented on, the answers provided to your earlier questions, for example this one or this one or this one or this one. This isn't simply a matter of reputation points. No one wants to spend time posting answers if they have the feeling their answers will be ignored.
Mar
29
comment What do we call functions that are definable by expressions?
Eran is right. See also: page 68 and 69 of Burris and Sankappanavar.
Mar
23
revised Suggestions for a learning roadmap for universal algebra?
deleted 15 characters in body
Mar
23
answered Proving every totally ordered and bounded lattice set is a Heyting Algebra
Mar
23
comment Proving every totally ordered and bounded lattice set is a Heyting Algebra
Okay, I'll change my comment to an answer, so the question can be marked answered. By the way, I recently started learning Coq, so if you implement this proof, could you share it? Thanks!
Mar
7
comment Can the actual scope of “lattice theory” be summarized as “algebraic order theory”?
I see. That makes sense. Thanks for elaborating on the motivation.
Mar
7
comment Can the actual scope of “lattice theory” be summarized as “algebraic order theory”?
What do you mean by "scope", and what is your motivation? Semilattice theory is connected to lattice theory insofar as a semilattice is a reduct of a lattice. One could argue that the "scope" of lattice theory extends beyond "pure" lattice theory, since lattices show up so often when studying other mathematical structures (e.g., lattices of: subalgebras, congruence realtions, ideals, normal subgroups, partitions, etc). However, "pure" lattice theory might be confined to the abstract theory of lattices. I think scope is hard to define, and I'm not sure why you would want to define it.
Feb
18
revised Subdirect embedding of a quotient algebra
added 20 characters in body
Feb
14
comment complete lattice
What do you mean by continuous?
Feb
14
comment complete lattice
Why do you write "(finite) complete" instead of "finite (complete)"?
Feb
13
revised Subdirect embedding of a quotient algebra
deleted 10 characters in body
Feb
13
answered Subdirect embedding of a quotient algebra
Feb
11
revised Help visualize set of all equivalence relations
added 959 characters in body
Feb
8
revised Help visualize set of all equivalence relations
deleted 10 characters in body
Feb
8
answered Help visualize set of all equivalence relations
Feb
6
comment Suggestions for a learning roadmap for universal algebra?
@twirlobite Unfortunately, I don't have an answer to your question right now. I learned some geometric algebra and computer vision as a grad student. I suggested to my mentors that this could make a good seminar topic, but they steered me away from it, and instead we began a seminar in residuated structures and logic. Since I now do "pure" math, I feel they guided me in the right direction, but your question about universal algebra helping one understand how algebraic structures model physical things is a good one. I'll give it some thought and maybe post a comment in the "road map."
Feb
6
comment Suggestions for a learning roadmap for universal algebra?
@twirlobite Re your first comment: No thanks necessary. As I suggested, the repository is something that should have existed already, and it took very little time to set up. I hope people decide to contribute to it, but to be honest I'm not very optimistic. Perhaps as people get more comfortable with things like Git and GitHub, it will have a better chance of success.
Feb
5
answered Suggestions for a learning roadmap for universal algebra?
Feb
4
comment Examples of apparent patterns that eventually fail
@phkahler You are absolutely right!!