Classifying Space of a Category Contractible
127826
Is the geometric realization of a pointed category contractible?
22298
Categorical Pasting Lemma
154142
Finding a specific basis for an endomorphism
43503
Bases of complex vector spaces and the axiom of choice
81471
Finite dimensional spaces
137093
What is the codimension of matrices of rank $r$ as a manifold?
115014
Classification of automorphisms of projective space
77563
Homeomorphism between spaces equipped with cofinite topologies
78412
Representing a countable field by $\Bbb N$ [transport of algebraic structure]
69528
Metrizability of quotient spaces of metric spaces
78624
CW complexes and manifolds
147961
Characterizing simply connected spaces
121945
Monomorphisms and Epimorphisms in the category of small categories
80787
2-morphisms for 2-category: don't understand how to draw
143517
Isomorphisms Between a Finite-Dimensional Vector Space and its Dual
106370
How do we construct the coslice category $C / \bf{C}$ given $\textbf{C}/C$ and prove that the two are equal?
78609
On the identity map requirement in the definition of category