Publication:2709566
From MaRDI portal
zbMath0989.18005arXivmath/9910006MaRDI QIDQ2709566
Publication date: 22 July 2002
Full work available at URL: https://arxiv.org/abs/math/9910006
55P99: Homotopy theory
18C10: Theories (e.g., algebraic theories), structure, and semantics
18C50: Categorical semantics of formal languages
Related Items
Cites Work
- Two-dimensional monad theory
- Universal algebra in a closed category
- Soft adjunction between 2-categories
- Braided tensor categories
- Formal category theory: Adjointness for 2-categories
- Obstructions to coherence: Natural noncoherent associativity
- Quantum groups and representations of monoidal categories
- Coherent Extensions and Relational Algebras
- Quasi-Kan extensions for 2-categories
- Discrete models for the category of Riemann surfaces
- Models for operads
- Algebra valued functors in general and tensor products in particular
- Some algebraic problems in the context of functorial semantics of algebraic theories
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item