Special Issue in honor of Professors Peter J. Freyd and F. William Lawvere on the occasion of their 80th birthdays
VOL. 10 · NO. 3 | June 2017
 
VIEW ALL ABSTRACTS +
Front Matter
Marta Bunge
Tbilisi Math. J. 10 (3), i-x, (June 2017) DOI: 10.1515/tmj-2017-0114
No abstract available
Articles
Ross Street
Tbilisi Math. J. 10 (3), 1-22, (June 2017) DOI: 10.1515/tmj-2017-0100
KEYWORDS: monad, comonad, wreath, Heisenberg product, convolution, mixed distributive law, twisted action, bialgebra, 18D10, 05A15, 18A32, 18D05, 20H30, 16T30
George Janelidze, Ross Street
Tbilisi Math. J. 10 (3), 23-49, (June 2017) DOI: 10.1515/tmj-2017-0101
KEYWORDS: commutative monoid, biproduct, direct sum, abstract addition, magnitude module, series monoidal category, 18D10, 18D20, 20M14, 28A20
Michael Barr
Tbilisi Math. J. 10 (3), 51-64, (June 2017) DOI: 10.1515/tmj-2017-0102
KEYWORDS: topology, $\ast$-autonomous categories, Abelian groups, vector spaces, 18D15, 22D35, 46A20
Anders Kock
Tbilisi Math. J. 10 (3), 65-82, (June 2017) DOI: 10.1515/tmj-2017-0103
KEYWORDS: fibrations, bundle functors, star bundle functors, jet bundles, 18D30, 53Cxx, 58A32
Christopher Townsend
Tbilisi Math. J. 10 (3), 83-120, (June 2017) DOI: 10.1515/tmj-2017-0104
Giulia Frosoni, Giuseppe Rosolini
Tbilisi Math. J. 10 (3), 121-139, (June 2017) DOI: 10.1515/tmj-2017-0105
Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini
Tbilisi Math. J. 10 (3), 141-166, (June 2017) DOI: 10.1515/tmj-2017-0106
Andrej Bauer
Tbilisi Math. J. 10 (3), 167-181, (June 2017) DOI: 10.1515/tmj-2017-0107
KEYWORDS: synthetic computability, fixed-point theorems, continuity principles, 03D75, 54H25, 03F65
Matías Menni
Tbilisi Math. J. 10 (3), 183-207, (June 2017) DOI: 10.1515/tmj-2017-0108
KEYWORDS: axiomatic cohesion, topology, 18B25, 18B30
Peter Johnstone
Tbilisi Math. J. 10 (3), 209-222, (June 2017) DOI: 10.1515/tmj-2017-0109
KEYWORDS: realizability topos, modified realizability, Schönfinkel algebra, 18B25, 03D65, 03G30, 08A55
Walter Tholen
Tbilisi Math. J. 10 (3), 223-237, (June 2017) DOI: 10.1515/tmj-2017-0110
KEYWORDS: monad, quantale,, lax monad extension, (lax) distributive law, (lax) $\lambda$-algebra, ($\mathbb{T}$; $\mathsf{V}$)-category, topological platform, quantalic topological theory, natural topological theory, 18C15, 18C20, 18D99
Thomas Cottrell, Soichiro Fujii, John Power
Tbilisi Math. J. 10 (3), 239-254, (June 2017) DOI: 10.1515/tmj-2017-0111
KEYWORDS: Enriched categories, internal categories, extensivity, bicategories, spans, matrices, 18D05, 18D20, 18D35
Clemens Berger, Ralph M. Kaufmann
Tbilisi Math. J. 10 (3), 255-277, (June 2017) DOI: 10.1515/tmj-2017-0112
KEYWORDS: comprehension scheme, orthogonal factorisation system, Feynman category, modular operad, universal covering, Galois theory, 18A25, 18A32, 18D50, 12F10
Jiří Adámek, Jiří Rosický
Tbilisi Math. J. 10 (3), 279-295, (June 2017) DOI: 10.1515/tmj-2017-0113
KEYWORDS: variety, algebraic theory, algebraic functor, Duality, locally finitely presentable category, 18C10, 18C35, 08C05
Marcelo Fiore
Tbilisi Math. J. 10 (3), 297-328, (June 2017) DOI: 10.1515/tmj-2017-0115
KEYWORDS: concrete and abstract clones, Lawvere theory, representation theory, finitary and infinitary algebras, enriched category theory, 08A62, 08A65, 18C10
Back to Top