Formalized Mathematics · 2011 · 16 citations · 10 references
Natural SciencesComputer SystemsCartographyRepresentation TheoryTopologyCartesian ProductLinear AlgebraCartesian Product In Category TheoryFunctorial ProductTopological Isomorphism
Cartesian Products of Family of Real Linear SpacesIn this article we introduced the isomorphism mapping between cartesian products of family of linear spaces [4]. Those products had been formalized by two different ways, i.e., the way using the functor [:X, Y:] and ones using the functor "product". By the same way, the isomorphism mapping was defined between Cartesian products of family of linear normed spaces also.
10
Functions and their basic properties
Czesław Byliński · 1989 · 366 citations
Czesław Byliński · 2004 · 338 citations
Relations and their basic properties
Edmund Woronowicz · 1989 · 320 citations