| http://dbpedia.org/ontology/abstract
|
In category theory, a Lawvere theory (named after American mathematician William Lawvere) is a category that can be considered a categorical counterpart of the notion of an equational theory.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.tac.mta.ca/tac/reprints/articles/5/tr5abs.html%7Cdoi-access=free +
, http://www.dpmms.cam.ac.uk/~martin/Research/Publications/2007/hp07.pdf +
|
| http://dbpedia.org/ontology/wikiPageID
|
22305825
|
| http://dbpedia.org/ontology/wikiPageLength
|
2862
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1110881349
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Category_theory +
, http://dbpedia.org/resource/Functor_%28category_theory%29 +
, http://dbpedia.org/resource/Function_%28mathematics%29 +
, http://dbpedia.org/resource/Natural_transformation +
, http://dbpedia.org/resource/Category_%28mathematics%29 +
, http://dbpedia.org/resource/United_States +
, http://dbpedia.org/resource/Clone_%28algebra%29 +
, http://dbpedia.org/resource/Monad_%28category_theory%29 +
, http://dbpedia.org/resource/FinSet +
, http://dbpedia.org/resource/William_Lawvere +
, http://dbpedia.org/resource/Algebraic_theory +
, http://dbpedia.org/resource/Associativity +
, http://dbpedia.org/resource/Finite_set +
, http://dbpedia.org/resource/Small_category +
, http://dbpedia.org/resource/Category:Categorical_logic +
, http://dbpedia.org/resource/Mathematician +
, http://dbpedia.org/resource/Skeleton_%28category_theory%29 +
, http://dbpedia.org/resource/Product_%28category_theory%29 +
, http://dbpedia.org/resource/Equational_theory +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Citation +
, http://dbpedia.org/resource/Template:Reflist +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Categorical_logic +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Category +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Lawvere_theory?oldid=1110881349&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Lawvere_theory +
|
| owl:sameAs |
http://www.wikidata.org/entity/Q6505076 +
, http://dbpedia.org/resource/Lawvere_theory +
, http://rdf.freebase.com/ns/m.05t00t8 +
, https://global.dbpedia.org/id/4pnUc +
|
| rdf:type |
http://dbpedia.org/ontology/TelevisionStation +
|
| rdfs:comment |
In category theory, a Lawvere theory (named after American mathematician William Lawvere) is a category that can be considered a categorical counterpart of the notion of an equational theory.
|
| rdfs:label |
Lawvere theory
|
