Add to ORKGUp-to-date categorical view of sets with extra algebraic structure (data types), with applications in mathematics and theoretical computer science
Modern universal algebra is the study of general mathematical structures, especially those with an `...
Our purpose is to formalize two potential refinements of single-sorted algebraic data types – subalg...
We develop a taxonomy of different behavioral specification theories and expose their algebraic prop...
Algebraic theories, introduced as a concept in the 1960s, have been a fundamental step towards a cat...
These lectures are devoted to the initial information from the theory of semi-groups and groups. The...
Algebraic structures are a concept from mathematics to bring sets and their operations together. Thi...
Heterogeneous algebraic theories and algebras are treated in detail with examples showing how to mod...
This book provides an introduction to some key subjects in algebra and topology. It consists of comp...
1 Introduction to categories and categorical models.................................... 1 2 Definiti...
Category theory was invented as an abstract language for describing certain structures and construct...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1968.Vita.Bibliography...
1957 major results in algebraic geometry 1966 logic beautifully captured in category theory 1980 typ...
Contemporary mathematics consists of many different branches and is intimately related to various ot...
An algebraic method of data specification is introduced, which is based on algebraic morphisms
The emergent mathematical philosophy of categorification is reshaping our view of modern mathematics...
Modern universal algebra is the study of general mathematical structures, especially those with an `...
Our purpose is to formalize two potential refinements of single-sorted algebraic data types – subalg...
We develop a taxonomy of different behavioral specification theories and expose their algebraic prop...
Algebraic theories, introduced as a concept in the 1960s, have been a fundamental step towards a cat...
These lectures are devoted to the initial information from the theory of semi-groups and groups. The...
Algebraic structures are a concept from mathematics to bring sets and their operations together. Thi...
Heterogeneous algebraic theories and algebras are treated in detail with examples showing how to mod...
This book provides an introduction to some key subjects in algebra and topology. It consists of comp...
1 Introduction to categories and categorical models.................................... 1 2 Definiti...
Category theory was invented as an abstract language for describing certain structures and construct...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1968.Vita.Bibliography...
1957 major results in algebraic geometry 1966 logic beautifully captured in category theory 1980 typ...
Contemporary mathematics consists of many different branches and is intimately related to various ot...
An algebraic method of data specification is introduced, which is based on algebraic morphisms
The emergent mathematical philosophy of categorification is reshaping our view of modern mathematics...
Modern universal algebra is the study of general mathematical structures, especially those with an `...
Our purpose is to formalize two potential refinements of single-sorted algebraic data types – subalg...
We develop a taxonomy of different behavioral specification theories and expose their algebraic prop...