Kevin P. Barry's user avatar
Kevin P. Barry's user avatar
Kevin P. Barry's user avatar
Kevin P. Barry
  • Member for 1 year, 11 months
  • Last seen more than a week ago
5 votes
2 answers
178 views

Solving a (fun!) coequalizer problem for $\mathrm{SL}_n(\mathbb{R})\rightarrow\mathrm{SL}_n(\mathbb{C})$ in $\mathbf{Grp}$

4 votes
1 answer
283 views

The intersection of the conjugates of $H\leq G$ is *exactly* the union of the conjugacy classes of $G$ that are fully in $H$

2 votes
0 answers
40 views

Constructing a new axiom to force a desired conclusion

2 votes
1 answer
62 views

When is a bounded lattice isomorphic to some $(\mathbf{2}^S,\subseteq)$?

1 vote
1 answer
38 views

Efficient algorithm to determine if two lattice elements have an edge between them?

0 votes
1 answer
28 views

Constructing a well-defined category using repeated functor application

0 votes
1 answer
57 views

When must a specific product map exist?

0 votes
1 answer
51 views

Creating $n$ Poisson processes from an exponential variable and a categorical variable over $n$ objects

0 votes
0 answers
51 views

Term for "diagram whose functor isn't injective"?