Omar Antolín-Camarena's user avatar
Omar Antolín-Camarena's user avatar
Omar Antolín-Camarena's user avatar
Omar Antolín-Camarena
  • Member for 12 years, 1 month
  • Last seen this week
43 votes
Accepted

Adjoint functors as "conceptual inverses"

38 votes

Morphisms in the category of natural transformations?

18 votes
Accepted

Proof that the tensor product is the coproduct in the category of R-algebras

16 votes
Accepted

Honest application of category theory

12 votes
Accepted

Toy examples for Kan extensions

12 votes
Accepted

What structure does the alternating group preserve?

12 votes
Accepted

Why do non-Decreasing Functions have countable discontinuities

11 votes
Accepted

Covering space homeomorphism

11 votes

Do infinitely many points in a plane with integer distances lie on a line?

9 votes

When is $(2^a-1)$ a power of 3

9 votes

Is the Euclidean Norm Differentiable at $ 0 $?

7 votes
Accepted

Does this covariant functor really turn coproducts into products?

7 votes
Accepted

Interpretation of a formula and truth

6 votes

Why is the cohomology of a $K(G,1)$ group cohomology?

6 votes

The category Set seems more prominent/important than the category Rel. Why is this?

6 votes

Adjoint functors requiring a natural bijection

6 votes
Accepted

Compact subsets of an inverse limit of topological spaces

6 votes

Lifting cohomology-killing maps through the 3-sphere

5 votes

Are tensor products of vector bundles "well-behaved"?

5 votes

Introductory example(s) of a functor that is full but not faithful

5 votes
Accepted

Connected groupoids and action groupoids

5 votes
Accepted

Does the nerve of a category preserve directed colimits?

5 votes

Is the product of two objects in a concrete category always a sub-object of the product of these objects viewed as sets?

5 votes
Accepted

Pullback of a locally constant sheaf by a function whose domain is simply connected

5 votes
Accepted

Is the Identity Type an Identity Function?

5 votes
Accepted

Do homotopy equivalences operate over discrete spaces?

5 votes

Coproduct in the category of metric spaces

5 votes
Accepted

Right Kan extension of $\mathcal{F} : \mathsf{\Delta} \rightarrow \mathsf{Top}$.

4 votes
Accepted

map of hom-sets as morphism

4 votes
Accepted

Can any category be imbedded in a balanced category?