DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Algebraic theory
Algebraic theory
Second-Order Algebraic Theories (Extended Abstract)
Foundations of Algebraic Theories and Higher Dimensional Categories
Categorical Models of Type Theory
An Outline of Algebraic Set Theory
10. Algebra Theories II 10.1 Essentially Algebraic Theory Idea: A
Introduction to Algebraic Theory of Linear Systems of Differential
The Algebraic Theory of Semigroups the Algebraic Theory of Semigroups
Algebraic Theory of Linear Systems: a Survey
Algebraic Theories
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
Algebraic Theories of Quasivarieties
Basic Category Theory
Algebraic Type Theory and the Gluing Construction 2
A Brief Guide to Algebraic Number Theory
Algebraic Theory of the Kp Equations*
A Course in Universal Algebra
Algebraic Theories
Tacl 2019 Abstracts
Top View
Algebraic Number Theory
An Algebraic Theory of Information: an Introduction and Survey
Essentially Algebraic Theories and Localizations in Toposes and Abelian Categories
ALGEBRAIC NUMBER THEORY Contents Introduction
Cech Cover of the Complement of the Discriminant Variety. Part II
Chapter 3 Category Theory
Category Theory Lecture Notes
Math 154. Algebraic Number Theory 11
Algebraic Type Theory and Universe Hierarchies
Semigroup and Category-Theoretic Approaches to Partial Symmetry
A Unified Framework for Notions of Algebraic Theory
Groups and Semigroups: Connections and Contrasts
Category Theory in Action
Algebraic Number Theory Tom Weston
Universal Algebra and Diagrammatic Reasoning
Problems in Arithmetic Topology 2
Category Theory
A Variety Theorem for Relational Universal Algebra Chad Nester Tallinn University of Technology
An Algebraic Presentation of Predicate Logic (Extended Abstract)
Homotopy of Operads and Grothendieck– Teichmüller Groups Part 1: the Algebraic Theory and Its Topological Background
A Brief Introduction to Algebraic Set Theory∗
Algebraic Number Theory and Simplest Cubic Fields
Algebraic Number Theory
Algebraic Theory of Finite Semigroups
An Algebraic Theory of Normal Forms
A Course in Universal Algebra
A Course in Universal Algebra
On the Essentially-Algebraic Theory Generated by a Sketch
A Categorical View of Algebraic Theories
The Algebraic View of Computation: Implementation, Interpretation and Time
Algebraic Models of Dependent Type Theory By
SKETCH of a PROGRAMME by Alexandre Grothendieck Summary
The Algebraic Theory of Semigroups, Volume II
Rigidification of Algebras Over Algebraic Theories in Diagram
Lectures on the Combinatorial Structure of the Moduli Spaces of Riemann Surfaces