To clarify Chris Heunen's answer, let me point out that most notions of measure theory
have analogs in the category of smooth manifolds.
For example, the analog of a measure space (X,M,μ), where X is a set, M is a σ-algebra of measurable subsets of X, and μ is a measure on (X,M),
is a smooth manifold X equipped with a density μ.
Likewise, the analog of a measure-preserving morphism is a volume-preserving smooth map.
The category of smooth manifolds equipped with a density together
with volume preserving maps as morphisms does not have good categorical properties.
The problem comes from the fact that preservation of volume is too strong a condition to allow for good categorical properties.
If one drops the data of a density and the property of volume preservation,
then the resulting category of smooth manifolds has relatively good categorical properties,
such as existence of finite products and, more generally, existence of all finite transversal limits.
The same is true for the category of measure spaces.
However, in this case we cannot simply drop the data of a measure from the definition
and expect to get a category with good properties.
The reason for this is that the data of a measure in fact combines two independent pieces of data.
The first piece of data tells us which sets have measure zero and which ones don't.
The second piece of data tells us the actual values of measure on sets of non-zero measure.
The analog of dropping the data of a density for measure theory is dropping the second piece
of data described above, but not the first one.
This can already be seen for smooth manifolds: If we have a smooth manifold,
we don't need a density on it to say which sets have measure 0.
Thus one is naturally led to the notion of a measurable space that knows which measurable
sets have measure 0.
I describe it in more detail in [1],
therefore here I offer only a brief summary of the main definitions.
A measurable space is a triple (X,M,N),
where X is a set, M is a σ-algebra of measurable subsets of X, and N⊂M is a σ-ideal
of measure 0 sets.
A morphism of measurable spaces f: (X,M,N)→(Y,P,Q) is an equivalence class of maps of sets g: X→Y
such that the preimage of every element of P is an element of M and the preimage of every
element of Q is an element of N. Two maps g and h are equivalent if they differ on a set of measure 0.
Here for the sake of simplicity I assume that both measurable spaces are complete
(any subset of a measure 0 subset is again a measure 0 subset).
Every measurable space is equivalent to its completion [2],
hence we do not lose anything by restricting ourselves to complete measurable spaces.
In general, one has to modify the above definition to account for incompleteness, as explained
in the link above.
Finally, one has to require that measurable spaces are localizable.
One way to express this property is to say that the Boolean algebra M/N of equivalence
classes of measurable sets is complete (i.e., it has arbitrary suprema and infima).
Many basic theorems of measure theory fail without this property.
In fact, as explained in the link above, theorems such as Radon-Nikodym theorem and Riesz
representation theorem are equivalent to the property of localizability.
Remarkably, the category of localizable measurable spaces is equivalent to the opposite
category of the category of commutative von Neumann algebras [7].
This statement can be seen as another justification for the property of localizability.
Henceforth I assume that all measurable spaces are localizable.
Being in possession of a good category of measurable spaces we can prove that it
admits finite products, and, more generally, arbitrary finite limits.
Let me point out that at this point measure theory diverges from smooth manifolds:
The functor that sends a smooth manifold to its underlying measurable space
is colax monoidal but not strong monoidal
with respect to the monoidal structures given by the categorical products.
More precisely, the category of measurable spaces admits two natural product-like monoidal
structures. One is given by the categorical product mentioned above,
and the other one is the spatial product, which is often simply called the product in many textbooks on measure theory. By the universal property of product there is a canonical map from the spatial product
to the categorical product, which is a monomorphism
but not an isomorphism unless one of the spaces is atomic, i.e., a disjoint union of points.
The forgetful functor F from the category of smooth manifolds to the category of measurable
spaces is strong monoidal with respect to the categorical product on the category
of smooth manifolds and the spatial product on the category of measurable spaces.
Therefore it is also colax monoidal with respect to the categorical product on measurable spaces,
but not strong monoidal because F is essentially surjective on objects and the map
from the spatial product to the categorical product is not always an isomorphism.
Here is an instructive example for the last statement.
Let Z=F(R), where R is the real line considered as a smooth manifold.
Consider the spatial product of Z and Z, which is canonically isomorphic to F(R×R).
The spatial product maps monomorphically to the categorical product Y=Z×Z.
However, Y is much bigger than F(R×R).
For example, the diagonal map Z→Y=Z×Z is disjoint from F(R×R) in Y.
The space Y also has a lot of other subspaces
whose existence is guaranteed by the universal property.
Note that set-theoretically F(R×R) also has a diagonal subset.
However, this subset has measure 0 and therefore is invisible in this formalism.
Let me finish by mentioning that locales arguably provide much better formalism for measure theory,
which in particular does not suffer from problems with sets of measure 0,
e.g., we don't need to pass to equivalence classes or even mention the words “almost everywhere”.
The relevant functor sends a measurable space (X,M,N) to the locale M/N (as explained
above M/N is a complete Boolean algebra, hence a locale).
We obtain a faithful functor from the category of measurable spaces to the category of locales.
Let's call its image the category of measurable locales.
Then measurable morphisms of measurable locales correspond bijectively
to equivalence classes of measurable maps.
Note that we don't need to pass to equivalence
classes to define a measurable morphism of measurable locales.
Every measurable space (or locale) can be uniquely decomposed into its atomic and diffuse part.
The atomic part is a disjoint union of points and the diffuse part does not have any isolated points.
An example of a diffuse space is given by F(M) where M is a smooth manifold of non-zero dimension.
(In fact all these spaces are isomorphic as measurable spaces if the number of connected
components of M is countable.)
Here is the punchline: If Z is a diffuse measurable locale, then it does not have any points,
in particular it is non-spatial.
This can serve as an explanation of why we cannot construct a reasonable concrete category
of measurable spaces and why we always have to use equivalence classes if we want to stay
in the point-set measure theory.
References that advocate (but do not evangelize) the viewpoint described in this answer:
Best Answer
This seems difficult to answer in any kind of uniform way, i.e., it seems we have to work on a case-by-case basis. Let's start with $\mathrm{Top}_{\mathrm{open}}$, the category of topological spaces and open continuous maps.
A useful heuristic is to let oneself be guided by locales instead of topological spaces. (For general information on locales, see for instance Mac Lane-Moerdijk, Sheaves in Geometry and Logic, chapter IX.) Recall that the category of locales is (by definition) the category opposite to the category of frames (sup-lattices in which finite meets distribute over arbitrary joins); the frame associated with a locale (by viewing the same object in the opposite category) should be thought of as its topology. Now a frame automatically carries Heyting algebra structure, and it turns out that open continuous maps of locales correspond to frame maps that are also Heyting algebra maps (i.e., Heyting algebra maps which are sup-preserving). Thus, the category of locales and open continuous maps is opposite to the category of cocomplete Heyting algebras, which is a category of algebras of an infinitary algebraic theory. It follows that the category of locales and open continuous maps is complete. Moreover, limits of cocomplete Heyting algebras are computed just as they are in $Set$, and so the calculation of colimits in locales and open continuous maps will be similarly straightforward.
Guided by this heuristic, one might at the very least expect that colimits in $\mathrm{Top}_{\mathrm{open}}$ are calculated just as they are in $\mathrm{Top}$. Indeed, one can easily check this directly for arbitrary coproducts (where the coproduct topology on a disjoint union $X = \sum_\alpha X_\alpha$ is the largest one such that all the canonical inclusions $X_\alpha \to X$ are continuous; notice they are open). As for coequalizers, if two maps
$$f, g: R \stackrel{\to}{\to} X$$
are open and continuous, and if we consider the coequalizer $q: X \to Y$ in $\mathrm{Top}$ (where the topology on $Y$ is the usual quotient topology induced by $q$), then we claim that $q$ is also open and this is the coequalizer in the category of open continuous maps. For, if $V$ is open in $X$, then $q(V)$ is open in $Y$ iff $q^{-1}(q(V))$ is open in $X$, and clearly this holds since
$$q^{-1}(q(V)) = V \cup \bigcup_n (g f^{-1})^n(V) \cup (f g^{-1})^n(V)$$
where the right side is open because $f$ and $g$ are open and continuous.
Pausing briefly to consider the category of topological spaces and closed continuous maps, it is certainly true that finite coproducts exist and are computed just as they are in $\mathrm{Top}$. Also, it is true that quotients of equivalence relations are computed as in $\mathrm{Top}$. That is to say: if $E \subseteq X \times X$ is an equivalence relation and the two projection maps $\pi_1: E \to X$ and $\pi_2: E \to X$ are closed, then the coequalizer $q = \mathrm{coeq}(\pi_1, \pi_2)$ in $Top$ is the coequalizer in the category of closed continuous maps. Indeed, if $C$ is closed in $X$, then $q(C)$ is closed because
$$q^{-1}(q(C)) = \pi_1(\pi_2^{-1}(C))$$
is closed.
Limits are trickier, and I believe do not always exist in $\mathrm{Top}_{\mathrm{open}}$ (see below). Even when they do exist, one should not expect to calculate limits as one would in $\mathrm{Top}$ (for example, Cantor space as a countable product of copies of the discrete two-element space could not possibly be the correct product in $\mathrm{Top}_{\mathrm{open}}$ since Cantor space has no isolated points), nor even as in $\mathrm{Set}$, so this makes limits a little weird.
Here's a partial result: if we have a diagram $F: D \to \mathrm{Top}_{\mathrm{open}}$ and all the spaces $F(d)$ are sober (i.e., of the form $\mathrm{Pt}(\mathcal{O}(X))$, where $\mathrm{Pt}: \mathrm{Frame}^{op} \to \mathrm{Top}$ is right adjoint to $\mathcal{O}: Top \to \mathrm{Frame}^{op}$), then the limit of $F$ in $\mathrm{Top}_{\mathrm{open}}$ can be constructed as $\mathrm{Pt}(\mathrm{colim} \; \mathcal{O}(F d))$ where the colimit is computed in the category of cocomplete Heyting algebras, provided that colimit exists. This uses the fact that for any topological space $X$, the set of open continuous maps $X \to \mathrm{Pt}(H)$ ($H$ a cocomplete Heyting algebra) is in natural one-one correspondence with cocomplete Heyting algebra maps $H \to \mathcal{O}(X)$, together with elementary categorical manipulations.
I conjecture that finite colimits of cocomplete Heyting algebras exist (so that finite limits of sober spaces in $\mathrm{Top}_{\mathrm{open}}$ exist). But inasmuch as the countable coproduct of copies of the free cocomplete Heyting algebra on one generator does not exist (it would be the free cocomplete Heyting algebra on countably many generators, which is known not to exist), it seems to me that $\mathrm{Top}_{\mathrm{open}}$ does not have countable products.