scientific article; zbMATH DE number 436447
From MaRDI portal
Publication:3139896
Recommendations
- On categorical equivalences of commutative BCK-algebras
- On an essentially algebraic theory for locally presentable categories
- scientific article; zbMATH DE number 3964130
- The biequivalence of locally Cartesian closed categories and Martin-Löf type theories
- The biequivalence of locally Cartesian closed categories and Martin-Löf type theories
- A local-global principle for small triangulated categories
- A categorical proof of the equivalence of local compactness of exponentiability in locale theory
- scientific article; zbMATH DE number 3967492
- scientific article; zbMATH DE number 918299
- scientific article; zbMATH DE number 438526
Cites work
- scientific article; zbMATH DE number 3964130 (Why is no real title available?)
- scientific article; zbMATH DE number 3724665 (Why is no real title available?)
- scientific article; zbMATH DE number 3779582 (Why is no real title available?)
- scientific article; zbMATH DE number 3460492 (Why is no real title available?)
- scientific article; zbMATH DE number 3536298 (Why is no real title available?)
- scientific article; zbMATH DE number 3549200 (Why is no real title available?)
- scientific article; zbMATH DE number 195102 (Why is no real title available?)
- scientific article; zbMATH DE number 3285279 (Why is no real title available?)
- scientific article; zbMATH DE number 3319584 (Why is no real title available?)
- A note on complete closure algebras
- Algebraic theories and varieties of functor algebras
- General Functorial Semantics, I
- Infinite Boolean polynomials I
- Large algebraic theories with small algebras
- On the non-existence of free complete Boolean algebras
- On the nonexistence of free complete distributive lattices
- One more categorical model of universal algebra
- REMARKS ON CATEGORIES OF ALGEBRAS DEFINED BY A PROPER CLASS OF OPERATIONS
- Structure-semantics relation for non-varietal equational theories
- The Birkhoff theorem for finite algebras
- Varieties of infinitary universal algebras
Cited in
(2)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3139896)