How to define topology in terms of subobjects? How to define topology for general categories. The following is my attempt to do so but I guess it is not correct. What should be the categorical analouge of the third axiom of topology (that the union of open sets is open.) 
A topology for an object $X \in C$ is a subcategory $\Omega$ of the category of subobjects of $X$, which:


*

*contains the terminal object of $Sub\left(X\right)$, namely $id: X\rightarrow X $ and the empty suobject (the no morphism from the initial object of $C$ to X). This condition is generalised from of saying that $X$ and the empty set are open.

*$\Omega$ is closed under finite pullbacks.(The pullback of any finite number of monics with codomain $X$ is included in $\Omega$). This must resemble the closure under intersection.

*??
Finally, I wanted to know this attempt is any close to the idea of sieve (or of Grothendiek's Topology ).

Regarding Grothendieck topologies: a Grothendieck topology is a category with extra structure modelled on the idea that the open subsets of a topological space form a category (with the morphisms simply being inclusions, when they exist).  The extra structure specifies which morphisms are to be considered covers (and so is related to the data contained in the "union" axiom of topology).  
The reason for thinking about topologies in this way, and generalizing them, is that sheaves and presheaves on a topological space can be thought of as (contravariant) functors on the category of open subsets.  (A presheaf is precisely such a functor, and a sheaf is a presheaf satisfying some additional axioms related to covers; these notions generalize to a Grothendieck topology essentially directly.)  
What you are doing is more along the lines of trying to define topological objects in a category (analogous to topological spaces in the category of sets), which is something quite different.
