About: Categories and theories

Documentation

scienceplus.abes.fr version Bêta

scienceplus.abes.fr | explorer

À propos de : Categories and theories Goto Sponge NotDistinct Permalink

Attributs	Valeurs
type	Concept
skos:inScheme	MSC 2010
broader concept	Category theory; homological algebra
narrower concept	Equational categories Theories (e.g. algebraic theories), structure, and semantics Triples (= standard construction, monad or triad), algebras for a triple, homology and derived functors for triples Algebras and Kleisli categories associated with monads Sketches and generalizations Accessible and locally presentable categories Categorical semantics of formal languages None of the above, but in MSC2010 section 18Cxx
skos:prefLabel	Categorie e teorie Categories and theories 范畴与理论
skos:exactMatch	http://msc2010.org/resources/MSC/2000/18Cxx
skos:closeMatch	from MSC1991 value of: Categories and algebraic theories
skos:notation	18Cxx
skos:relatedMatch	http://msc2010.org/resources/MSC/2010/fullDD21-512.55
is broader concept of	Equational categories Theories (e.g. algebraic theories), structure, and semantics Triples (= standard construction, monad or triad), algebras for a triple, homology and derived functors for triples Algebras and Kleisli categories associated with monads Sketches and generalizations Accessible and locally presentable categories Categorical semantics of formal languages None of the above, but in MSC2010 section 18Cxx
is narrower concept of	Category theory; homological algebra

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata