# Commit 2021-11-24 07:49 6cb52e67

View on Github →feat(category_theory/limits): Results about (co)limits in Top (#9985)

- Provided the explicit topologies for limits and colimits, and specialized this result onto some shapes.
- Provided the isomorphism between the (co)limits and the constructions in
`topology/constructions.lean`

. - Provided conditions about whether
`prod.map`

and`pullback_map`

are inducing, embedding, etc.