Skip to main content
MathOverflow
Tomáš Jakl's user avatar
Tomáš Jakl's user avatar
Tomáš Jakl's user avatar
Tomáš Jakl
  • Member for 10 years, 10 months
  • Last seen this week
Profile Activity

30 Actions

All Accepts Posts Badges Comments Revisions Reviews Suggestions
awarded
 Popular Question
awarded
 Yearling
awarded
 Enlightened
awarded
 Nice Answer
awarded
 Necromancer
revised
Big list of comonads
better wording
answered
Big list of comonads
awarded
 Enlightened
awarded
 Nice Answer
awarded
 Nice Answer
comment
Is there any nontrivial monad on the category of graphs?
The second example that Andrej wrote arises from the adjunction between $\prod$ and $\Delta$ in ncatlab.org/nlab/show/category+of+simple+graphs
awarded
 Yearling
awarded
 Yearling
answered
Combination topological space and locale?
answered
Product of topological spaces and product of corresponding locales
awarded
 Autobiographer
answered
What are the 'wonderful consequences' following from the existence of a minimal dense subspace?
comment
What are universal abstract $\sigma$-algebras on $\sigma$-frames?
I tried to answer your question in the corresponding MSE thread.
awarded
 Teacher
comment
Proper coverings as a quotient of the coverings
I see, your question is more general. My example explains why the embedding $\text{PropCov} \hookrightarrow \text{Cov}$, given by $A \mapsto [A]_\simeq$, is not an isomorphism.
1
2