New posts in category-theory

Higher categories for category theorists?

Equality of objects in category theory

Isomorphisms in the localization of a category

Equivalent categories yet not isomorphic

Is it possible to define $\mathbb{R}$ as the initial object of some category?

Reconciling different definitions of left-exact functor

What's an Isomorphism?

Category Theory: homset preserves limits

Coordinate free proof that det is algebraic

Brouwer's fixed point theorem and the one-point topology

How to construct abstractly and symmetrically the map $𝛬^{n+k}M⊗𝛬^kN→𝛬^nM$ given a pairing $M⊗N→R$?

Various definitions of group action

When does tensor product have a (exact) left adjoint?

Monoidal categories: coherence from strictness

Why aren't there any coproducts in the category of $\bf{Fields}$?

Category Theory & Artificial Intelligence (AI)

Is there an Elementary Theory of the Category of Groups?

Coequalizer of an idempotent and the identity implies the idempotent splits

Transferring properties from a category $\mathcal{D}$ to the functor category $[\mathcal{C}, \mathcal{D}]$

Category theory for sensorimotor learning?