About: Equivalent definitions of mathematical structures

Property	Value
dbo:wikiPageExternalLink	http://homotopytypetheory.org/book https://math.stackexchange.com/q/290507 https://math.stackexchange.com/q/303751 http://ncatlab.org/nlab/show/structure%23related_entries http://ncatlab.org/nlab/show/structure+in+model+theory http://ncatlab.org/nlab/show/structured+set http://ncatlab.org/nlab/show/stuff%2C+structure%2C+property https://mathoverflow.net/q/19644 http://www.abstractmath.org/MM/MMMathStructure.htm
dbo:wikiPageWikiLink	dbr:Elementary_theory_of_the_category_of_sets dbr:Linear_operator dbr:Category_theory dbr:Fixed_point_(mathematics) dbr:Concrete_category dbr:Ellipse dbc:Equivalence_(mathematics) dbr:Complement_(set_theory) dbr:Prime_number dbr:Peano_axioms dbr:New_Foundations dbr:Adjacency_matrix dbr:Signature_(logic) dbr:Constructor_(object-oriented_programming) dbr:Symplectomorphism dbr:Topological_group dbr:Uniform_isomorphism dbr:Complex_number dbr:Function_(mathematics) dbr:First-order_logic dbr:Vector_space dbr:Metric_space dbr:Riemannian_manifold dbr:Graph_isomorphism dbr:Cryptomorphism dbr:Homography dbr:Homeomorphism dbr:Homomorphism dbr:Unitary_transformation dbr:Diffeomorphism dbr:Type_theory dbr:If_and_only_if dbr:Projective_space dbr:Standard_probability_space dbr:Topological_vector_space dbr:Uniform_space dbr:Homotopy dbr:Zermelo–Fraenkel_set_theory dbr:Permutation_group dbr:Equivalence_of_categories dbr:Lie_group dbr:Probability_space dbr:Abstract_data_type dbr:Inductive_dimension dbr:Groupoid dbr:Benacerraf's_identification_problem dbr:Euclidean_geometry dbr:Isomorphism dbr:Cartesian_product dbr:Topological_space dbr:Order_isomorphism dbr:Euclidean_space dbr:Von_Neumann–Bernays–Gödel_set_theory dbr:Equivalence_relation dbr:Hilbert_space dbr:Nicolas_Bourbaki dbr:Differentiable_manifold dbr:Power_set dbr:Sigma-algebra dbc:Mathematical_structures dbr:Permutation dbr:Ordered_field dbr:Partially_ordered_set dbr:Mathematical_structure dbr:Symplectic_manifold dbr:Higher-order_logic dbr:Successor_function dbr:Bijection dbr:Conformal_geometry dbr:Affine_transformation dbr:Canonical_map dbr:Natural_transformation dbr:Image_(mathematics) dbr:Natural_number dbr:Affine_space dbr:Graph_(discrete_mathematics) dbr:Banach_space dbr:Minimal_surface dbr:Second-order_logic dbr:Homotopy_type_theory dbr:Characterizations_of_the_category_of_topological_spaces dbr:Abuse_of_terminology dbr:Lie_groups dbr:Group_action_(mathematics) dbr:Conformal_transformation
dbp:wikiPageUsesTemplate	dbt:Mset dbt:Reflist dbt:Citation dbt:Div_col dbt:Div_col_end dbt:Mathematical_logic dbt:' dbt:Harvnb dbt:Main_article
dct:subject	dbc:Equivalence_(mathematics) dbc:Mathematical_structures
rdfs:label	Equivalent definitions of mathematical structures (en)
owl:sameAs	freebase:Equivalent definitions of mathematical structures yago-res:Equivalent definitions of mathematical structures wikidata:Equivalent definitions of mathematical structures dbpedia-global:Equivalent definitions of mathematical structures
prov:wasDerivedFrom	wikipedia-en:Equivalent_definitions_of_mathematical_structures?oldid=1263309460&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Equivalent_definitions_of_mathematical_structures
is dbo:wikiPageWikiLink of	dbr:Equivalence_of_categories dbr:Outline_of_mathematics dbr:Transport_of_structure dbr:Mathematical_structure dbr:Named_set_theory
is foaf:primaryTopic of	wikipedia-en:Equivalent_definitions_of_mathematical_structures