Algebraic theories of Lawvere give an axiomatic way to define universal algebras; but they do not cover structures defined by partial laws, such as categories. However, all these structures may be defined by sketches. Other examples of sketched structures are: categories equipped with a partial or a total choice of limits, discretely structured categories, adjoint functors, and also less algebraic structures, such as topologies.http://www.numdam.org/item/CTGDC_1972__13_2_104_0
AbstractWe generalise the notion of sketch. For any locally finitely presentable category, one can s...
Category theory was invented as an abstract language for describing certain structures and construct...
AbstractWe introduce the concept of separated limit sketch and prove that quasivarieties of algebras...
AbstractThis paper deals with problems about conception and design of high-level computer algebra sy...
Modern universal algebra is the study of general mathematical structures, especially those with an `...
AbstractThis paper introduces an extension of the concept of sketch, called a form, which allows the...
This document is an outline of the theory of sketches with pointers to the literature. An extensive ...
AbstractUniversal algebra is often known within computer science in the guise of algebraic specifica...
Categorical universal algebra can be developed either using Lawvere theories (single-sorted finite p...
Locally finitely presentable categories are known to be precisely the categories of models of essent...
The aim of this note is to make the reader familiar with the notion of algebraic category. The appro...
Contemporary mathematics consists of many different branches and is intimately related to various ot...
AbstractSketches are introduced as presentations of many-sorted algebraic theories and data types ar...
Rich in examples and intuitive discussions, this book presents General Algebra using the unifying vi...
AbstractWe generalise the notion of sketch. For any locally finitely presentable category, one can s...
AbstractWe generalise the notion of sketch. For any locally finitely presentable category, one can s...
Category theory was invented as an abstract language for describing certain structures and construct...
AbstractWe introduce the concept of separated limit sketch and prove that quasivarieties of algebras...
AbstractThis paper deals with problems about conception and design of high-level computer algebra sy...
Modern universal algebra is the study of general mathematical structures, especially those with an `...
AbstractThis paper introduces an extension of the concept of sketch, called a form, which allows the...
This document is an outline of the theory of sketches with pointers to the literature. An extensive ...
AbstractUniversal algebra is often known within computer science in the guise of algebraic specifica...
Categorical universal algebra can be developed either using Lawvere theories (single-sorted finite p...
Locally finitely presentable categories are known to be precisely the categories of models of essent...
The aim of this note is to make the reader familiar with the notion of algebraic category. The appro...
Contemporary mathematics consists of many different branches and is intimately related to various ot...
AbstractSketches are introduced as presentations of many-sorted algebraic theories and data types ar...
Rich in examples and intuitive discussions, this book presents General Algebra using the unifying vi...
AbstractWe generalise the notion of sketch. For any locally finitely presentable category, one can s...
AbstractWe generalise the notion of sketch. For any locally finitely presentable category, one can s...
Category theory was invented as an abstract language for describing certain structures and construct...
AbstractWe introduce the concept of separated limit sketch and prove that quasivarieties of algebras...