| http://dbpedia.org/ontology/abstract
|
En mathématiques, une †-catégorie (catégorie dague, également appelée catégorie involutive ou catégorie à involution) est une catégorie dotée d'une certaine structure appelée dague ou involution. Le nom de catégorie dague a été inventée par Selinger.
, In category theory, a branch of mathematic … In category theory, a branch of mathematics, a dagger category (also called involutive category or category with involution) is a category equipped with a certain structure called dagger or involution. The name dagger category was coined by Peter Selinger.ger category was coined by Peter Selinger.
|
| http://dbpedia.org/ontology/wikiPageID
|
7152070
|
| http://dbpedia.org/ontology/wikiPageLength
|
5095
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1096517136
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Hilbert_space +
, http://dbpedia.org/resource/Dagger_compact_category +
, http://dbpedia.org/resource/Dagger_symmetric_monoidal_category +
, http://dbpedia.org/resource/Object_%28category_theory%29 +
, http://dbpedia.org/resource/Set_%28mathematics%29 +
, http://dbpedia.org/resource/Relation_%28mathematics%29 +
, http://dbpedia.org/resource/Self-adjoint +
, http://dbpedia.org/resource/Monoid +
, http://dbpedia.org/resource/Unitary_transformation +
, http://dbpedia.org/resource/Cobordism +
, http://dbpedia.org/resource/Involution_%28mathematics%29 +
, http://dbpedia.org/resource/Category_of_relations +
, http://dbpedia.org/resource/Groupoid +
, http://dbpedia.org/resource/Discrete_category +
, http://dbpedia.org/resource/Linear_algebra +
, http://dbpedia.org/resource/%2A-algebra +
, http://dbpedia.org/resource/Category_theory +
, http://dbpedia.org/resource/Partial_order +
, http://dbpedia.org/resource/Category_%28mathematics%29 +
, http://dbpedia.org/resource/Hermitian_adjoint +
, http://dbpedia.org/resource/Category:Dagger_categories +
, http://dbpedia.org/resource/Monoid_with_involution +
, http://dbpedia.org/resource/Morphism +
, http://dbpedia.org/resource/Hom-set +
, http://dbpedia.org/resource/Group_%28mathematics%29 +
, http://dbpedia.org/resource/Contravariant_functor +
, http://dbpedia.org/resource/Converse_relation +
, http://dbpedia.org/resource/Endomorphism +
, http://dbpedia.org/resource/Symmetric_relation +
, http://dbpedia.org/resource/Adjoint_functors +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Endofunctor +
|
| http://dbpedia.org/property/id
|
dagger-category
|
| http://dbpedia.org/property/title
|
Dagger category
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Portal +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Nlab +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Dagger_categories +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Category +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Dagger_category?oldid=1096517136&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Dagger_category +
|
| owl:sameAs |
http://www.wikidata.org/entity/Q5208525 +
, http://dbpedia.org/resource/Dagger_category +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie_%C3%A0_involution +
, http://rdf.freebase.com/ns/m.0h70f7 +
, https://global.dbpedia.org/id/4iUdX +
, http://yago-knowledge.org/resource/Dagger_category +
|
| rdf:type |
http://dbpedia.org/class/yago/Group100031264 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/WikicatDaggerCategories +
, http://dbpedia.org/class/yago/Class107997703 +
, http://dbpedia.org/class/yago/Collection107951464 +
, http://dbpedia.org/ontology/TelevisionStation +
|
| rdfs:comment |
In category theory, a branch of mathematic … In category theory, a branch of mathematics, a dagger category (also called involutive category or category with involution) is a category equipped with a certain structure called dagger or involution. The name dagger category was coined by Peter Selinger.ger category was coined by Peter Selinger.
, En mathématiques, une †-catégorie (catégorie dague, également appelée catégorie involutive ou catégorie à involution) est une catégorie dotée d'une certaine structure appelée dague ou involution. Le nom de catégorie dague a été inventée par Selinger.
|
| rdfs:label |
Dagger category
, Catégorie à involution
|
