17

Answers
votes newest views recent
2
Simple question about products in categories
2
Is there a right adjoint to the contravariant functor Hom(-,B) in the category of Sets
5
Which functors between multicategories that come from monoidal categories are monoidal?
1
What do we mean by “Proving an algorithm”?
2
Algorithm on winning strategy of Winner (Simplified card game)
3
undecidable sentences of first-order arithmetic whose truth values are unknown
0
Characterization of Measureable Sets
2
3-manifolds, cubes with handles
4
Is the category of rings co-well-powered?
0
topology by closed intervals on real line
4
How has modern algebraic geometry affected other areas of math?
0
Non-inversible monoids
2
Problems where we can’t make a canonical choice, solved by looking at all choices at once
1
Individual mathematical objects whose study amounts to a (sub)discipline?
5
Other ways to define naturals
11
Large Cardinals Imply a Model of ZFC
1
Examples of Riemannian Submersions