All the definitions that follow is taken from [The Joy of Cats](http://katmat.math.uni-bremen.de/acc/acc.pdf). 



> 
> **Definition 1.** Let $\bf{X}$ be a category. A *concrete category over $\bf{X}$* is a pair $({\bf{A}},U)$, where $\bf{A}$ is a category and $U :{\bf{A}} \to X$ is a faithful functor. 
> 
> 
> **Definition 2.** If $({\bf{A}},U)$ and $({\bf{B}}, V )$ are concrete categories over $\bf{X}$ , then a *concrete functor from
>  $({\bf{A}},U)$ and $({\bf{B}}, V )$* is a functor $F : {\bf{A}}\to {\bf{B}}$ with $U = V \circ F$. We denote such a functor
>  by $F : ({\bf{A}},U)\to ({\bf{B}}, V )$.
> 
> 
> **Definition 3.** If $({\bf{A}},U)$ and $({\bf{B}}, V )$ are concrete categories over $\bf{X}$ , then a concrete functor from
>  $F:({\bf{A}},U)\to ({\bf{B}}, V )$ is said to be a concrete isomorphism iff $F:{\bf{A}}\to{\bf{B}}$ is an isomorphism.
> 
> 
> 


Question
--------


We know that isomorphic categories can be viewed as being "essentially same". But then how should I view concretely isomorphic concrete categories? More generally how should I view a concrete functor?



> 
> In [The Joy of Cats](http://katmat.math.uni-bremen.de/acc/acc.pdf) the following is written,
> 
> 
> 
> > 
> > A concrete isomorphism $F : (\mathbf{A},U) \to (\mathbf{B}, V )$ between concrete categories over $\bf{X}$ is a concrete functor that is an isomorphism of categories. ...That such a concrete isomorphism
> >  exists means, informally, that each structure in $\bf{A}$, i.e., each object $A$ of $\bf{A}$, can be completely substituted by a structure in $\bf{B}$, namely $F(A)$ (keeping, of course, the same
> >  morphisms). For example, the standard descriptions of topological spaces by means of 
> > 
> > 
> > • neighborhoods,
> > 
> > 
> > • open sets,
> > 
> > 
> > • closure operators, or
> > 
> > 
> > • convergent filters,
> > 
> > 
> > give technically different constructs, all of which are concretely isomorphic. This is why the differences between the various descriptions are regarded as inessential and we can in good conscience call each of them "$\bf{Top}$". The concept of concretely isomorphic concrete categories gives rise to an equivalence relation that is stronger than the relation of isomorphism of categories. For example, assuming that no measurable cardinals
> >  exist, $\bf{Top}$ (and, indeed, any construct) can be thought of as being isomorphic to a full subcategory of $\bf{Rel}$. However, $\bf{Top}$ is not concretely isomorphic to such a subcategory, because there are more topologies on $\Bbb{N}$ (namely, $2^{2^{\aleph\_0}}$) than there are binary relations on $\Bbb{N}$ (namely, $2^{\aleph\_0}$). 
> > 
> > 
> > 
> 
> 
> Here $\bf{Top}$ denotes the category of topologies and continuous functions and $\bf{Rel}$ denotes the category whose objects are pairs of the form $(X,\rho)$ (where $\rho$ is a binary relation on the set $X$) and whose morphisms are relation-preserving functions. 
> 
> 
> 


But I don't understand why the same description as given in the following, "That such a concrete isomorphism
exists means, ...the same
morphisms)." can't be said about isomorphic categories. 



How should I think about concrete functors and in particular about concrete isomorphism?
A concrete category should be thought of more or less as a category of structured sets (sets equipped with some sort of specified structure) and morphisms between them; the faithfulness to $Set$ means that morphisms are completely determined by their underlying functions. 


For concrete isomorphism, let's take an example different from the one in The Joy of Cats: modules over a matrix algebra $M = M\_n(\mathbb{R})$ (for simplicity, let's keep everything finite-dimensional). This algebra acts on $V = \mathbb{R}^n$, and in fact every module is a power $V^k$ of this one simple module. Moreover, $M$-module maps $V^k \to V^j$ are in natural bijection with ordinary $j \times k$ matrices with coefficients in $\mathbb{R}$. It follows that the category of $M$-modules of the form $V^j$ is abstractly isomorphic to the category of $\mathbb{R}$-vector spaces $\mathbb{R}^j$. 


Does that mean we simply identify $M$-modules with vector spaces? Not necessarily, because according to how we think of these structures, the underlying sets are quite different ($V^j$ in one case, $\mathbb{R}^j$ in the other). They are different as structured sets, even though abstractly the categories are isomorphic. 


Cf. a common abuse of language, where we say a category $C$ is monadic over $Set$. Normally we don't worry about this too much because we have a specific underlying set functor $U: C \to Set$ in mind, but really the question should be: monadic how? We should really be speaking of *functors* $U: C \to Set$ as monadic. For another example, consider finite Boolean algebras. Usually we say that a finite Boolean algebra has $2^n$ elements for some $n$, but actually there are other monadic underlying set functors $Bool \to Set$ where we would be perfectly within our rights to say, for example, that the underlying sets have cardinality $3^n$. 


In summary, concrete isomorphism is a more refined notion which captures a way in which objects are viewed as sets with structure. 


