1: \begin{abstract}

2: In this article, we give a framework for studying the Euler characteristic and its categorification of objects across several areas of geometry, topology and combinatorics. That is, {\it the magnitude theory of filtered set enriched categories}. It is a unification of {\it the Euler characteristic of finite categories} and {\it the  magnitude} of  metric spaces, both of which are introduced by Leinster (\cite{L3}, \cite{L2}). Our definitions cover a class of metric spaces which is broader than the original ones in \cite{L3} and \cite{LS}, so that magnitude (co)weighting of infinite metric spaces can be considered. We give examples of the magnitude from various research areas containing {\it the Poincar\'{e} polynomial} of ranked posets and {\it the growth series} of finitely generated groups. In particular, the magnitude homology gives categorifications of them. We also discuss homotopy invariance of the magnitude homology and its variants. Such a homotopy includes {\it digraph homotopy} and {\it $r$-closeness} of Lipschitz maps. As a benefit of our categorical view point, we generalize the notion of {\it Grothendieck fibrations} of small categories to our enriched categories, whose restriction to metric spaces is a notion called {\it metric fibration} that is initially introduced in \cite{L3}. It is remarkable that the magnitude of such a fibration is a product of those of the fiber and the base. We especially study fibrations of graphs, and give examples of graphs with the same magnitude but are not isomorphic. 

3: \end{abstract}

4: