Application of Baire category theorem on functions
36248
A classical problem about limit of continuous function at infinity and its connection with Baire Category Theorem
61810
An application of Borel-Caratheodory theorem
124003
Composition of adjoint functors
61334
Application of Main Homomorphism Theorem
83166
Homeomorphism(topological spaces) version of Cantor–Bernstein–Schroeder theorem
63701
An example of a regular function over an open set
68786
"This property is local on" : properties of morphisms of $S$-schemes
56156
Composition and Onto Functions
115878
Continuous unbounded but integrable functions
24126
When functions commute under composition
84301
Showing that some Function on the Unit Disc is injective
43503
Bases of complex vector spaces and the axiom of choice
34300
"Natural" categories where monomorphisms differ from injective morphisms
157213
Application of Luca's theorem
157378
On an injective ring homomorphism from the ring of continuous functions to the ring of differentiable functions
110110
Mitchell's Embedding Theorem for not-necessarily-small categories
106284
Establishing a Basis for $F[x]/(f(x))$