Pith. sign in

The logic of structures

London Mathematical Society Lecture Note Series · 1994 · DOI 10.1016/0022-4049(92)90123-w.url:https://doi.org/10.1016/0022-

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
open at publisher browse 1 citing papers

fields

math.CT 1

years

2025 1

verdicts

CONDITIONAL 1

representative citing papers

A monoidal category of dependently sorted algebraic theories I: syntax

math.CT · 2025-11-17 · conditional · novelty 7.0

A tensor product of generalized algebraic theories (Cartmell-style dependent type theories) is constructed syntactically and proved to yield a theory, recovering Lawvere tensor products, double categories, diagrams, and displayed structures as special cases.

citing papers explorer

Showing 1 of 1 citing paper.

  • A monoidal category of dependently sorted algebraic theories I: syntax math.CT · 2025-11-17 · conditional · none · ref 189

    A tensor product of generalized algebraic theories (Cartmell-style dependent type theories) is constructed syntactically and proved to yield a theory, recovering Lawvere tensor products, double categories, diagrams, and displayed structures as special cases.