close
1.

図書

図書
J. Adámek, J. Rosický, E.M. Vitale ; with a foreword by F.W. Lawvere
出版情報: New York : Cambridge University Press, 2011  xvii, 249 p. ; 24 cm
シリーズ名: Cambridge tracts in mathematics ; 184
所蔵情報: loading…
目次情報: 続きを見る
Foreword / F. W. Lawvere
Preface
Abstract Algebraic Categories / Part I:
Preliminaries / 0:
Algebraic theories and algebraic categories / 1:
Sifted and filtered colimits / 2:
Reflexive coequalizers / 3:
Algebraic categories as free completions / 4:
Properties of algebras / 5:
A characterization of algebraic categories / 6:
From filtered to sifted / 7:
Canonical theories / 8:
Algebraic functors / 9:
Birkhoff's variety theorem / 10:
Concrete Algebraic Categories / Part II:
One-sorted algebraic categories / 11:
Algebras for an endofunctor / 12:
Equational categories of ?-algebras / 13:
S-sorted algebraic categories / 14:
Special Topics / Part III:
Morita equivalence / 15:
Free exact categories / 16:
Exact completion and reflexive-coequalizer completion / 17:
Finitary localizations of algebraic categories / 18:
Postscript
Monads / Appendix A:
Abelian categories / Appendix B:
More about dualities for one-sorted algebraic categories / Appendix C:
References
List of symbols
Index
Foreword / F. W. Lawvere
Preface
Abstract Algebraic Categories / Part I:
2.

図書

図書
by Paul R. Halmos
出版情報: New York : Chelsea Pub. Co, c1962  271 p. ; 24 cm
所蔵情報: loading…
3.

図書

図書
by B. Plotkin
出版情報: Dordrecht ; Boston : Kluwer Academic Publishers, c1994  xv, 438 p. ; 25 cm
シリーズ名: Mathematics and its applications ; v. 272
所蔵情報: loading…
4.

図書

図書
Helena Rasiowa
出版情報: Amsterdam : North-Holland , New York : American Elsevier, 1974  xv, 403 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 78
所蔵情報: loading…
5.

電子ブック

EB
edited by A. Arnold, D. Niwiński
出版情報: Elsevier : Amsterdam, c2019  1 online resource (xi, 277 p.)
シリーズ名: Studies in logic and the foundations of mathematics ; v. 146
所蔵情報: loading…
目次情報: 続きを見る
Complete lattices and fixed-point theorems / 1:
The mu-calculi: Syntax and semantics / 2:
The Boolean mu-calculus / 3:
Parity Games / 4:
The mu-calculus on words / 5:
The mucalculus over powerset al.gebras / 6:
The mu-calculus versus automata / 7:
Hierachy problems / 8:
Distributivity and normal form results / 9:
Decision problems / 10:
Algorithms / 11:
Complete lattices and fixed-point theorems / 1:
The mu-calculi: Syntax and semantics / 2:
The Boolean mu-calculus / 3:
6.

図書

図書
by Alfred Tarski ; with appendices by Chen-Chung Chang and Bjarni Jónsson
出版情報: Amsterdam : North-Holland, 1956  133 p. ; 22 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
7.

図書

図書
William Craig
出版情報: Amsterdam : North-Holland Pub. Co. , New York : American Elsevier Pub. Co., 1974  viii, 204 p ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 72
所蔵情報: loading…
8.

図書

図書
Donald W. Barnes, John M. Mack
出版情報: New York ; Berlin : Springer-Verlag, c1975  viii, 121 p. ; 24 cm
シリーズ名: Graduate texts in mathematics ; v. 22
所蔵情報: loading…
9.

図書

図書
Theodore Hailperin
出版情報: Amsterdam : North-Holland, 1976  x, 245 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 85
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼