TU BRAUNSCHWEIG

Papers

------------------------------

Unpublished

---------------------------------

J. Adamek, S. Milius, L. Moss, 

Initial algebras and terminal coalgebras

A monograph in preparation


-----------------------------------------

Published in 2017

-----------------------------------------

211. J. Adámek and S. Milius

On corecursive algebras for functors preserving coproducts

CALCO 2017, Leibnitz International Proceedings in Informatics

(LIPICS) 72 (2o17), 18:1-18:15

211. J. Adámek and L.Sousa,

KZ-monadic categories and their logic,

Theory and Appl. Categ. 32 (2017), 338-379


Published in 2016

210. J. Adamek, V Koubek and T.Palm

Fixed points of set functors: how many iterations are needed?

Appl. Categor. Structures 24 (2016), 649-661


209. J. Adamek, S. Mllius and H. Urbat

Profinite Monads, Profinite Equations and Reitermann's Theorem

(FoSSaCS'16),
Lecture Notes Comput. Sci. (ARCoSS), vol. 9634, pp. 531-547.

Published in 2015

------------------------------------------

208. J. Adámek and J. Rosický,

On reflective subcategories of locally presentable categories, Theory and applications of categories 30 (2015), 1306-1318

207.  J. Adamek, P.B.Levy, S. Milius, L.S.Moss and L. Sousa

On final coalgebras of power-set functors and saturated trees, Applied Categorical Structures 23 (2015), 609-641

206. J. Adámek,  H. Urbat, and S. Milius

Syntactic monoids in a category, Conference CALCO 2015, best paper award

205. J. Adámek, L. Sousa,  and J. Velebil, 

Kan injectivity in order-enriched categories., Mathematical Structures in Computer Science 6-45 (2015)

204. J. Adámek, S. Milius, R. Myers, and H. Urbat, 

Varieties of Languages in a Category, Logic in Computer Science (LICS2015)

-----------------------------------------

Published in 2014

------------------------------------------

203. J. Adámek,

Colimits of monads, Textos de matematica 46 (2014), 7-33

202.  J. Adámek, H. Urbat, S. Milius and L. S. Moss,

On finitary functors and their presentations, Journal oc computer and system sciences 81 (2014), 813-833

201. J. Adámek, M. Haddadi,  and S. Milius, 

Corecursive Algebras, Corecursive Monads and Bloom Monads., Logical Methods in Computer Science 10(3:19) 2014

200. J. Adámek, R. Myers, H. Urbat, and S. Milius, 

 On Continuous Nondeterminism and State Minimality, 2014, Electronic Notes in Theoretical Computer Science 308:3-23 (2014)

199. J. Adámek, S. Milius, R. Myers and H. Urbat, 

Generalized Eilenberg Theorem I: Local Varieties of Languages, 2014, Lecture Notes in Computer Science (ARCoSS), vol. 8412, pp. 366-380. FoSSaCS 2014

198. R. Myers, J. Adámek, S. Milius and H. Urbat, 

Canonical Nondeterministic Automata, 2014, Lecture Notes in Computer Science Presented at the 12th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2014)

197. J. Adámek, S. Milius and J. Velebil, 

Base modules for parametrized iterativity, 2014, Theoretical Computer Science vol. 523, pp. 56-85

---------------------

Published 2013

-------------------------------

196. J. Adámek, S. Milius, L. S. Moss and L. Sousa, 

Well-pointed Coalgebras, 2013, Logical Methods in Computer Science Volume 9, Issue 3, No. 2, 2013, 1-51

195. J. Adámek, S. Milius and J. Velebil, 

How iterative reflections of monads are constructed, 2013, Information and Computation vol. 225, pp. 83-118, 2013

Published in 2000

---------------------

Published 2012

--------------------------------

194. J. Adámek, V. Trnková, 

Relatively Terminal Coalgebras, 2012, Journal of Pure and Applied Algebra 216, 1887-1895

193. J. Adámek, S. Milius, L. S. Moss and L. Sousa, 

Well-pointed Coalgebras (Extended Abstract), 2012, Lecture Notes in Computer Science vol. 7213, pp. 89-103, Proc. Fifteenth International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'12)

192. J. Adámek, F. Bonchi, M. Hülsbusch, B. König, S. Milius and A. Silva, 

A coalgebraic perspective on minimization and determinization, 2012, Lecture Notes in Computer Science vol. 7213, pp. 58-73, Proc. Fifteenth International Conference on Foundations of Software Science and Computation Structures

191. J. Adámek, S. Milius and L. S. Moss, 

On Finitary Functors and Their Presentations, 2012, Lecture Notes in Computer Science vol. 7399, pp. 51-70

190. J. Adámek, N. Bowler, P. B. Levy and S. Milius, 

Coproducts of Monads on Set, 2012, Proc. 27th Annual Symposium on Logic in Computer Science (LICS'12), pp. 45-54

----------------------------

Published 2011

------------------------------------------

189. J. Adámek, V. Trnková, 

Initial Algebras and Terminal Coalgebras in Many-Sorted Sets, 2011, Mathematical Structures in Computer Science 21, 481-509

188. J. Adámek, S. Milius and J. Velebil, 

Elgot theories: a new perspective of the equational properties of iteration, 2011, Mathematical Structures in Computer Science vol. 21 (2), pp. 417-480

187. J. Adámek, S. Milius and J. Velebil, 

Semantics of higher-order recursion schemes, 2011, Logical Methods in Computer Science vol. 7 (1:15), 43 pp

186. J. Adámek, S. Milius and J. Velebil, 

On second-order iterative monads, 2011, Theoretical Computer Science vol. 412 (38), pp. 4969-4988

185. J. Adámek, S. Milius and L. S. Moss, 

Power-Set Functors and Saturated Trees, 2011, Leibniz International Proceedings in Informatics (LIPIcs) Proc. 20th Conference on Computer Science Logic (CSL`11), 

184. J. Adámek, M. Haddadi and S. Milius, 

From Corecursive Algebras to Corecursive Monads, 2011, Lecture Notes in Computer Science Proc. 4th Conference on Algebra and Coalgebra in Computer Science (CALCO`11), vol. 6859, pp. 55-69.

-----------------------------------------

Published in 2010

------------------------------------------

183. J. Adámek, P. Gumm, and V. Trnková, 

Presentation of set functors- a coalgebraic perspective, 2010, Journal of Logic and Computation 20, 991-1015

182. J. Adámek, S. Milius and J. Velebil, 

Equational Properties of Iterative Monads, 2010, Information and Computation vol. 208(12), pp1306-1348

181. J. Adámek, S. Milius and J. Velebil, 

Recursive Program Schemes and Context-Free Monads, 2010, Electronic Notes in Theoretical Computer Science Vol. 264, pp 3-23

180. J. Adámek, J. Rosický, E. Vitale, 

What are Sifted Colimits?, 2010, Theory and Applications of Categories 23 (2010) 251-260

179. J. Adámek, S. Milius, and J. Velebil, 

Iterative reflections of monads, 2010, Mathematical Structures in Computer Science 20 (2010) 419-452

-----------------------------------------

Published in 2009

-----------------------------------------

178. J. Adamek, S. Milius, J. Velebil, 

Elgot Theories: a new Perspective of Iteration Theories, 2009, Electronic Notes in Theoretical Computer Science 249 (2009), 407-427

177. J. Adámek, M. Sobral, and L. Sousa, 

A logic of implications in algebra and coalgebra, 2009, Algebra Universalis 61 (2009) 313-337

176. J. Adamek, S. Milius and J. Velebil, 

A Description of Iterative Reflections of Monads, 2009, Lecture Notes in Computer Science 5504 (2009) 152-166

175. J. Adamek, S. Milius and J. Velebil, 

Semantics of higher-order recursion schemes, 2009, Lecture Notes in Computer Science, Springer 

174. J Adamek, M. Hebert and L. Sousa, 

The orthogonal subcategory problem and the small object argument, 2009, Applied Categorical Structures 17 (2009),211-246

-------------------------------------------------------

Published in 2008

----------------------------------------------------------

173. J. Adámek, S. Bloom, and S. Milius, 

On algebras with iteration, 2008, Journal of Logic and Computation 18 (2008) 1047-1085

172. J. Adámek, S. Milius, and J. Velebil, 

Bases for parametrized iterativity, 2008, Information and Computation 206(2008), 966-1002

171. J. Adámek and J. Velebil,

Analytic functors and weak pullbacks, Theory and applications of categories 21 (2008), 191-209

170. J. Adámek, R. Borger, S. Milius and J. Velebil, 

Iterative algebras: how iterative are they?, 2008, Theory and Applications of Categories 19 (2008), 61-92

-------------------------------------------

Published in 2007

-------------------------------------------

169. J. Adámek, S. Milius, and J. Velebil, 

What are iteration theories?, 2007, Lecture Notes in Computer Science, Springer 4708 (2007), 240-252

168. J. Adámek M. Hébert, and L. Sousa, 

A logic of injectivity, 2007, Journal of Homotopy and Related Topics 2 (2007), 13-47

167. J. Adámek, D. Lücke, and S. Milius, 

Recursive coalgebras of finitary functors, 2007, Theoretical Informatics and Applications 41 (2007), 447-462

166. J. Adámek, S. Milius, and J. Velebil, 

Algebras with parametrized iterativity, 2007, Theoretical Computer Science 388 (2007), 130-151

----------------------------------------

Published in 2006

------------------------------------------

165. J. Adámek, M. Sobral, and L. Sousa, 

Morita equivalence of many-sorted algebraic theories, 2006, Journal of Algebra 297 (2006), 361-371

164. J. Adámek, S. Milius, and J. Velebil, 

Elgot algebras, 2006, Logical Methods in Computer Science 2(2006), 1-31

163. J. Adámek, 

The intersection of algebra and coalgebra, 2006, Theoretical Computer Science 366 (2006), 82-97

162. J. Adámek M. Hébert, and L. Sousa, 

A logic of orthogonality, 2006, Archivum Mathematicum 42 (2206), 309-334

161. J. Adámek, S. Milius, and J. Velebil, 

Iterative algebras at work, 2006, Mathematical Structures in Computer Science 16 (2006), 1085-1131

160. J. Adámek and S. Milius, 

Terminal coalgebras and free iterative theories, 2006, Information and Computation 204(2006), 1139-1172

159. J. Adámek and J. Rosický, 

Pure morphisms in pro-categories, 2006, Journal of Pure and Applied Algebra 207 (2006), 19-35

158. J. Adámek, S. Milius, and J. Velebil, 

How iterative are iterative algebras?, 2006, Electronic Notes in Theoretical Computer Science , 164(2006), 157-175

------------------------------------------

Published in 2005

-------------------------------------------

157. J. Adámek, 

Introduction to coalgebra, 2005, Theory and Applications of Categories 14 (2005), 157-199

156. J. Adámek, 

Algebra intersection coalgebra = presheaves, 2005, Lecture Notes in Computer Science 3629, Proceedings CALCO 2005, 67-82

155. J. Adámek, 

A logic of coequations, 2005, Lecture Notes in Computer Science 3634, Proceedings CSL 2005, 70-86

154. J. Adámek and V. Trnková, 

Birkhoff's variety theorem with and without free algebras, 2005, Theory and Applications of Categories 14 (2005), 424-450

153. J.Adámek, S.Milius and J. Velebil


Elgot algebras (extended abstract), Conference MFPS XXI, Electronic Notes in Thoeretical Computer Science 155 (2006), 87-109

152. J. Adámek, 

Birkhoff's covariety theorem without limitations, 2005, Commentationes Mathematicae Universitatis Carolinae 46 (2005), 197-215

151. J. Adámek, S. Milius, and J. Velebil, 

A general final coalgebra theorem, 2005, Mathematical Structures in Computer Science 15 (2005), 409-432

----------------------------------------

Published in 2004

---------------------------------------

150. J. Adámek, 

On quasivarieties and varieties as categories, 2004, Studia Logica 78 (2004), 7-33

149. J. Adámek, S. Milius, and J. Velebil, 

From iterative algebras to iterative theories, 2004, Electronic Notes in Theoretical Computer Science 106 (2004), 3-24

148. J. Adámek and J. Rosický, 

On pure quotients and pure subobjects, 2004, Czechoslovak Mathematical Journal 54 (2004), 632-636

147. J. Adámek, 

A categorical characterization of varieties, 2004, Algebra Universalis 51 (2004), 215-234

146. J. Adámek, S. Milius, and J. Velebil, 

Iterative algebras for a base, 2004, Electronic Notes in Theoretical Computer Science 122 (2005), 147-170, Proceedings CTCS 2004

145. J. Adámek, S. Milius, and J. Velebil, 

On coalgebra based on classes, 2004, Theoretical Computer Science 316 (2004), 3-23

144. J. Adámek and L. Sousa, 

On refletive subcategories of varieties, 2004, Journal of Algebra 276 (2004) 685-705

143. J. Adámek and J. Rosický, 

Towards a characterization of algebraic exactness, 2004, Journal of Algebra 276 (2004), 685-705

142. J. Adámek and H.-E. Porst, 

On tree coalgebras and colagebra presentations, 2004, Theoretical Computer Science 311 (2004), 257-283

-------------------------------------------

Publisched in 2003

--------------------------------------------


141. J. Adámek, S. Milius, and J. Velebil, 

Some remarks on finitary and iterative monads, 2003, Applied Categorical Structures 11 (2003), 521-541

140. J. Adámek, 

On a description of terminal coalgebras and iterative theories, 2003, Electronic Notes in Theoretical Computer Science 82.1 (2003)

139. P. Aczel, J. Adámek, S. Milius and J. Velebil, 

Infinite trees and completely iterative theories, 2003, Theoretical Computer Science 300 (2003), 1-45

138. J. Adámek, F.E.W. Lawvere and J. Rosický, 

On the duality between varieties and algebraic theories, 2003, Algebra Universalis 49 (2003), 35-49

137. J. Adámek, H.-E. Porst, 

On varieties and Covarieties in a Category, 2003, Mathematical Structures in Computer Science 13 (2003)201-232

136. J. Adámek, F.W.Lawvere, and J. Rosický, 

Continuous categories revisited, 2003, Theory and Applications of Categories 11 (2003), 252-282

135. J. Adámek, S. Milius and J. Velebil, 

Free iterative theories - a coalgebraic view, 2003, Mathematical Structures in Computer Science 13 (2003), 259-320

134. J. Adámek and L. Sousa, 

How accessible are categories of algebras?, 2003, Journal of Pure and Applied Algebra 18 (2003), 1-15

133. J. Adámek, 

On final coalgebras of continuous functors, 2003, Theoretical Computer Science 294 (2003), 3-29

132. J. Adámek and H.-E. Porst, 

On varieties and covarieites in categories, 2003, Mathematical Structures in Computer Science 13 (2003), 201-232

------------------------------------------

Published in 2002

-------------------------------------------

131. J. Adámek, H. Herrlich, J. Rosický and W. Tholen, 

Injective hulls are not natural, 2002, Algebra Universalis 48 (2002), 379-388

129. J. Adámek, S. Milius, and J. Velebil, 

On rational monads and free iterative theories, 2002, Electronic Notes in Theoretical Computer Science 69 (2002)

128. J. Adámek, F. Borceux, S. Lack and J. Rosický, 

A classification of accessible categories, 2002, Journal of Pure and Applied Algebra 175 (2002), 7-30

127. J. Adámek, H. Herrlich, J. Rosický and W. Tholen, 

On a generalized small-object argument for the injective subcategory problem, 2002, Cahiers de Topologie et Geometrie Differentielle Cathegoriques 33 (2002), 83-106

126. J. Adámek, S. Milius, and J. Velebil, 

Final coalgebras and a solution theorem for arbitrary endofunctors, 2002, Electronic Notes in Theoretical Computer Science 65 (2002)

125. J. Adámek, H. Herrlich, J. Rosický and W. Tholen, 

Weak factorization systems and topological functors, 2002, Applied Categorical Structures 10 (2002), 237-249

124. J. Adámek, M. Hébert and J. Rosický, 

On abstract data typespresented by multiequations, 2002, Theoretical Computer Science 275 [2002], 427-462

123. J. Rosický, J. Adámek and F. Borceaux, 

More on injectivity in locally presentable categories, 2002, Theory and Applications of Categories 10 (2002), 148-161

122. J. Adámek and J. Velebil, 

A remark on conservative cocompletions of categories, 2002, Journal of Pure and Applied Algebra 168 [2002], 107-124

121. J. Adámek, 

Final coalgebras are ideal completions of initial algebras, 2002, Journal of Logic and Computation 12 [2002], 217-242

----------------------------------------

Published in 2001

-----------------------------------------

120. J. Adámek and H.-P. Porst, 

From varieties of algebras to covarieties of coalgebras, 2001, Electronic Notes in Theoretical Computer Science 44 [2001]

119. J. Adámek and J. Rosický, 

On sifted colimits and generalized varieties, 2001, Theory and Applications of Categories 8 [2001], 33-53

118. J. Adámek, F.W. Lawvere and J. Rosický, 

How algebraic is algebra?, 2001, Theory and Applications of Categories 8 [2001], 253-283

117. J. Adámek and J. Rosický, 

On multivarieties and multialgebraic categories, 2001, Journal of Pure and Applied Algebra 163 [2001], 1-17

116. J. Adámek, J. Rosický and E. M. Vitale, 

On Algebraically Exact Categories and Essential Localizations of Varieties, 2001, Journal of Algebra 244 [2001], 450-477

115. J. Adámek, L. Sousa, 

Constructions of Solid Hulls, 2001, Applied Categorical Structures 9 [2001], 1-13

114. J. Adámek, R. El Bashir, M. Sobral and J. Velebil, 

On functors which are lax epimorphisms, 2001, Theory and Applications of Categories 20 [2001], 509-521

113. J. Adámek, V. Koubek and V. Trnková, 

How large are left exact functors?, 2001, Theory and Applications of Categories 8 [2001], 377-390

112. M. Hebert, J. Adámek and J. Rosický, 

More on orthogonality in locally presentable categories, 2001, Cahiers de Topologie et Geometrie Differentielle Cathegoriques 32 [2001], 51-80

111. P. Aczel, J. Adámek and J. Velebil, 

A coalgebraic view of infinite trees and iteration, 2001, Electronic Notes in Theoretical Computer Science 44 [2001]

----------------------------------------

Published in 2000

------------------------------------------

110. J. Adámek and G. M. Kelly, 

M-Completeness is Seldom Monadic Over Graphs, 2000, Theory and Applications of Categories 8 [2000], 171-205

109. J. Adámek, V. Koubek and J. Velebil, 

A duality between infinitary varieties and algebraic theories, 2000, Commentationes Mathematicae Universitatis Carolinae 41 [2000], 529-541

108. J. Adámek and F. Borceux, 

Morita equivalence of sketches, 2000, Applied Categorical Structures 8 [2000], 503-517

107. J. Adámek, L. Sousa and W. Tholen, 

Totality of product completion, 2000, Commentationes Mathematicae Universitatis Carolinae 41 [2000], 9-24

Published in 1999

106. J. Adámek, M. Hébert and J. Rosický, 

On essentially algebraic theories and their generalizations, 1999, Algebra Universalis 41 [1999], 213-227

Published in 1998

105. J. Adámek and H.-E. Porst, 

Algebraic theories of quasivarieties, 1998, Journal of Algebra 208 [1998], 379-398

Published in 1997

104. J. Adámek, 

A categorical generalization of Scott domains, 1997, Mathematical Structures in Computer Science 7 [1997], 419-443

103. J. Adámek and M.-C. Pedicchio, 

A remark on topological spaces, grids, and topological systems, 1997, Cahiers de Topologie et Geometrie Differentielle Cathegoriques 37-3 [1997], 217-226

102. J. Adámek, P.T. Johnstone, J.A. Makowsky and J. Rosický, 

Finitary Sketches, 1997, The Journal of Symbolic Logic 62 [1997], 699-707

101. J. Adámek and J. Rosický, 

Finite models of sketches, 1997, Journal of Pure and Applied Algebra 116 [1997], 3-23

Published in 1996

100. J. Adámek, 

A remark on fixed points of functors in topological categories, 1996, Applied Categorical Structures 4 [1996], 121-126

99. J. Adámek, 

How to sketch quasivarieties, 1996, Journal of Algebra 185 [1996], 643-659

98. J. Adámek and J. Rosický, 

An algebraic description of locally multipresentable categories, 1996, Theory and Applications of Categories 2 [1996], 40-54

97. J. Adámek and J. Rosický, 

On geometric and finitary sketches, 1996, Applied Categorical Structures 4 [1996], 227-240

96. J. Adámek, H. Hu and W. Tholen, 

On pure morphisms in accessible categories, 1996, Journal of Pure and Applied Algebra 107 [1996], 1-8

Published in 1995

95. J. Adámek, 

Recursive data types in algebraically omega-complete categories, 1995, Information and Computation 118 [1995], 181-190

94. J. Adámek and J. Rosický, 

Finitary sketches and finitely accessible categories, 1995, Mathematical Structures in Computer Science 5 [1995], 315-322

93. J. Adámek and J. Rosický, 

On preaccessible categories, 1995, Journal of Pure and Applied Algebra 105 [1995], 225-232

92. J. Adámek and V. Koubek, 

On the greatest fixed point of a set functor, 1995, Theoretical Computer Science 151 [1995], 57-75

91. J. Adámek, E. Nelson and J. Reiterman, 

Continuous algebras revisited, 1995, Journal of Computer and System Sciences 51 [1995], 460-471

Published in 1994

90. J. Adámek, 

Existence and nonexistence of regular generations, 1994, Canadian Mathematical Bulletin 37 [1994], 3-7

89. J. Adámek and J. Reiterman, 

Banach's fixed-point theorem as a base for data-type equations, 1994, Applied Categorical Structures 2 [1994], 77-90

88. J. Adámek and J. Reiterman, 

The category of uniform spaces as a completion of the category of metric spaces, 1994, Commentationes Mathematicae Universitatis Carolinae 33 [1992], 689-693

87. J. Adámek and J. Rosický, 

Weakly locally presentable categories, 1994, Cahiers de Topologie et Geometrie Differentielle Cathegoriques 35 [1994], 179-186

Published in 1993

86. J. Adámek and J. Rosický, 

On injectivity in locally presentable categories, 1993, Transactions of the American Mathematical Society 336 [1993], 785-804

Published in 1992

85. J. Adámek and J. Rosický, 

On orthogonal subcategories of locally presentable categories, 1992, Discrete Mathematics 108 [1992], 133-137

Published in 1991

84. J. Adámek and J. Rosický, 

What are locally generated categories?, 1991, Lecture Notes in Mathematics 1488, Springer [1991], 14-19

83. J. Adámek, J. Reiterman and F. Schwarz, 

On universally topological hulls and quasitopos hulls, 1991, Houston Journal of Mathematics 17 [1991], 375-383

Published in 1990

82. J. Adámek, 

On quasitopos hulls of topological categories, 1990, Supplemento Rendiconti di Circolo Matematico di Palermo 24 [1990], 21-33

81. J. Adámek, 

How many variables does a quasivariety need?, 1990, Algebra Universalis 27 [1990], 44-48

80. J. Adámek and H. Herrlich, 

A characterization of quasitopoi by injectivity, 1990, Journal of Pure and Applied Algebra 68 [1990], 1-9

79. J. Adámek and J. Reiterman, 

Cartesian closed hull for metric spaces, 1990, Commentationes Mathematicae Universitatis Carolinae 31 [1990], 1-6

78. J. Adámek and W. Tholen, 

Total categories with generators, 1990, Journal of Algebra 133 [1990], 63-78

77. J. Adámek, J. Rosický and V. Trnková, 

Topological reflections revisited, 1990, Proceedings of the American Mathematical Society 108 [1990], 605-612

76. J. Adámek, J. Rosický and V. Trnková, 

Unexpected properties of locally presentable categories, 1990, Algebra Universalis 27 [1990], 153-170

Published in 1989

75. J. Adámek and G.-E. Strecker, 

Injectivity of topological categories, 1989, Algebra Universalis 26 [1989], 284-306

74. J. Adámek and J. Rosický, 

Reflections in locally presentable categories, 1989, Archivum Mathematicum 25 [1989], 89-94

73. J. Adámek, H. Herrlich and J. Reiterman, 

Cocompleteness almost implies completeness, 1989, Proceedings of ''Categorical Topology 1988'', World Scientific Publishers, Singapore [1989], 246-256

72. J. Adámek, H. Herrlich and W. Tholen, 

Monadic decompositions, 1989, Journal of Pure and Applied Algebra 59 [1989], 111-123

J. Adámek and Saunders MacLane (editors), 

Categorical topology, 1989, World Scientific Publishers 1989

Published in 1988

71. J. Adámek and J. Rosický, 

Intersections of reflective subcategories, 1988, Proceedings of the American Mathematical Society 103 [1988], 710-712

70. J. Adámek and V. Koubek, 

What to embed into a cartesian closed topological category, 1988, Commentationes Mathematicae Universitatis Carolinae 18 [1988], 817-821

69. J. Adámek, A. Mekler, E. Nelson, J. Reiterman, 

Logic of continuous algebras, 1988, Notre Dame Journal of Formal Logic 29 [1988], 365-380

68. J. Adámek, E. Nelson, A. Jung, J. Reiterman and A. Tarlecki, 

Comparison of subset systems, 1988, Commentationes Mathematicae Universitatis Carolinae 29 [1988], 169-177

67. J. Adámek, H. Herrlich and J. Rosický, 

Essentially equational categories, 1988, Cahiers de Topologie et Geometrie Differentielle Cathegoriques 29 [1988], 175-197

66. J. Adámek, J. Rosický and V. Trnková, 

Are all limit-closed subcategories of locally presentable categories reflective?, 1988, Lecture Notes in Mathematics 1348, Springer [1988], 1-18

Published in 1987

65. J. Adámek, 

How complete are categories of algebras?, 1987, Bulletin of the Australian Mathematical Society 36 [1987], 389-409

64. J. Adámek and E. Nelson, 

Absolutely definable varieties of continuous algebras, 1987, Algebra Universalis 24 [1987], 267-278

63. J. Adámek and J. Reiterman, 

The quasitopos hull of the category of uniform spaces, 1987, Topology and its Applications 27 [1987], 97-104

Published in 1986

62. J. Adámek, 

Classification of concrete categories, 1986, Houston Journal of Mathematics 12 [1986], 305-326

61. J. Adámek, 

On a problem of Herrlich concerning topological axioms, 1986, Topology and its Applications 22 [1986], 175-182

60. J. Adámek and H. Herrlich, 

Cartesian closed categories, quasitopoi and topological universes, 1986, Commentationes Mathematicae Universitatis Carolinae 27 [1986], 235-257

59. J. Adámek and J. Reiterman, 

Topological categories presented by small sets of axioms, 1986, Journal of Pure and Applied Algebra 42 [1986], 1-14

58. J. Adámek, E. Nelson and J. Reiterman, 

Continuous semilattices, 1986, Theoretical Computer Science 43 [1986], 293-313

Published in 1985

57. J. Adámek, 

Topological axioms and completions, 1985, Proceedings of ''Convergence Structures 1984'', Akademie-Verlag Berlin [1985], 11-24

56. J. Adámek and J. Reiterman, 

Cartesian closed hull of the category of uniform spaces, 1985, Topology and its Applications 19 [1985], 261-276

55. J. Adámek, E. Nelson and J. Reiterman, 

The Birkhoff variety theorem for continuous algebras, 1985, Algebra Universalis 20 [1985], 328-350

54. J. Adámek, J. Reiterman and G.-E. Strecker, 

Realizations of cartesian closed topological hulls, 1985, Manuscripta Mathematica 53 [1985], 1-33

53. J. Adámek, V. Koubek, E. Nelson and J. Reiterman, 

Arbitrarily large continuous algebras on one generator, 1985, Transactions of the American Mathematical Society 291 [1985], 681-699

Published in 1984

52. J. Adámek and W. Merzenich, 

Fixed points as equations and solutions, 1984, Canadian Journal of Mathematics 36 [1984], 495-519

Published in 1983

51. J. Adámek and E. Nelson, 

Separately continuous algebras, 1983, Theoretical Computer Science 27 [1983], 225-231

50. J. Adámek and V. Koubek, 

Cartesian closed concrete categories, 1983, Cahiers de Topologie et Geometrie Differentielle Cathegoriques 24 [1983], 3-17

Published in 1982

49. J. Adámek and G.-E. Strecker, 

On the largest initial completion of categories of algebras, 1982, Lecture Notes in Mathematics 915, Springer [1982], 1-15

48. J. Adámek, 

Construction of free continuous algebras, 1982, Algebra Universalis 14 [1982], 140-166

47. J. Adámek, E. Nelson and J. Reiterman, 

Tree constructions of free continuous algebras, 1982, Journal of Computer and System Sciences 24 [1982], 114-146

46. V. Trnková and J. Adámek, 

Analyses of languages accepted by varietor machines in a category, 1982, Banach Centre Publications 9, Polish Scientific Publishers, Warsaw [1982], 257-272

Published in 1981

45. J. Adámek, V. Koubek and J. Reitermann, 

Embeddings into categories with fixed points in representations, 1981, Czechoslovak Mathematical Journal 31 [1981], 368-389

44. J. Adámek, 

Observability and Nerode equivalence in concrete categories, 1981, Lecture Notes in Computer Science, Springer [1981], 1-15

43. J. Adámek and G.E. Strecker, 

Construction of cartesian closed topological hulls, 1981, Commentationes Mathematicae Universitatis Carolinae 22 [1981], 235-254

42. J. Adámek and V. Koubek, 

Completions of concrete categories, 1981, Cahiers de Topologie et Geometrie Differentielle Cathegoriques 22 [1981], 209-228

41. J. Adámek and V. Trnková, 

Varietors and machines in a category, 1981, Algebra Universalis 13 [1981], 89-132

Published in 1980

40. J. Adámek and V. Koubek, 

Are colimits of algebras simple to construct?, 1980, Journal of Algebra 66 [1980], 226-250

39. J. Adámek and V. Koubek, 

Cartesian closed functor-structured categories, 1980, Commentationes Mathematicae Universitatis Carolinae 21 [1980], 573-590

38. J. Adámek and V. Koubek, 

Cartesian closed initial completions, 1980, Topology and its Applications 11 [1980], 1-16

37. J. Adámek, H. Ehrig and V. Trnková, 

On an equivalence of system-theoretical and categorical concepts, 1980, Kybernetika 16 [1980], 389-410

Published in 1979

36. J. Adámek, 

Categorical realization theory, 1979, In ''Algebraische Modelle, Kategorien und Gruppoiden'', Akademie-Verlag, Berlin [1979], 111-136

35. J. Adámek, 

On the cogeneration of algebras, 1979, Mathematische Nachrichten 88 [1979], 373-384

34. J. Adámek and T. Sturm, 

On congruence lattices in a category, 1979, Czechoslovak Mathematical Journal 29 [1979], 385-395

33. J. Adámek and V. Koubek, 

Least fixed point of a functor, 1979, Journal of Computer and System Sciences 19 [1979], 163-177

32. J. Adámek and V. Koubek, 

On representations of ordered commutative semigroups, 1979, Colloquium Mathematicum of the Society J. Bolyai 20 North Holland [1979], 15-31

31. J. Adámek, H. Herrlich and G.E. Strecker, 

Least and largest initial completions, 1979, Commentationes Mathematicae Universitatis Carolinae 20 [1979], 43-87

30. J. Adámek, H. Herrlich and G.E. Strecker, 

The structure of initial completions, 1979, Cahiers de Topologie et Geometrie Differentielle Cathegoriques 20 [1979], 333-351

29. V. Trnková and J. Adámek, 

Tree-group automata., 1979, Proceedings ''Fundamentals of computation theories'', Akademie-Verlag, Berlin [1979]

Published in 1978

28. J. Adámek, 

Finitary varietors. Abstract, 1978, Proceedings ''Categorical and algebraic methods in computer science'' , Forschungsbericht, 74, Universität Dortmund [1978], 5-10

Published in 1977

27. J. Adámek and V. Koubek, 

What to embed into a cartesian closed topological category, 1977, Commentationes Mathematicae Universitatis Carolinae 18 [1977], 817-821

26. J. Adámek, 

Colimits of algebras revisited, 1977, Bulletin of the Australian Mathematical Society 17 [1977], 433-450

25. J. Adámek, 

Realization theory for automata in categories, 1977, Journal of Pure and Applied Algebra 9 [1977], 281-296

24. J. Adámek and V. Koubek, 

Functorial algebras and automata, 1977, Kybernetika 13 [1977], 245-260

23. J. Adámek and V. Koubek, 

On a representation of semigroups by products of algebras and relations, 1977, Colloquium Mathematicum of the Society J. Bolyai 38 North Holland [1977], 7-25

22. J. Adámek and V. Koubek, 

Remarks on fixed points of functors, 1977, Lecture Notes in Computer Science 56, Springer [1977], 199-205

21. J. Adámek and V. Trnková, 

Recognizable and rational languages in a category, 1977, Lecture Notes in Computer Science 56, Springer [1977], 206-211

20. V. Trnková and J. Adámek, 

On languages accepted by machines in the category of sets, 1977, Lecture Notes in Computer Science 53, Springer [1977], 501-523

19. V. Trnková and J. Adámek, 

Realization is not universal, 1977, Proceedings of ''Automaten and Algorithmentheorie'' Heft 21, 1977, Technische Universität Dresden [1977], 38-55

Published in 1976

18. J. Adámek, 

Cogeneration and minimal realization, 1976, Commentationes Mathematicae Universitatis Carolinae 17 [1976], 609-614

17. J. Adámek, 

Cogeneration of algebras in regular categories, 1976, Bulletin of the Australian Mathematical Society 15 [1976], 355-370

16. J. Adámek, 

Limits and colimits in generalized algebraic categories, 1976, Czechoslovak Mathematical Journal 26 [1976], 55-64

15. J. Adámek, 

The algebraic structure of products and sums in a category, 1976, Colloquium Mathematicum of the Society J. Bolyai 14 North Holland [1976], 13-27

14. J. Adámek and J. Reiterman, 

Exactness of the set-valued colim, 1976, Commentationes Mathematicae Universitatis Carolinae 17 [1976], 97-103

Published in 1975

13. J. Adámek, 

Automata in categories: Finiteness contra minimality, 1975, Lecture Notes in Computer Science 32, Springer [1975], 160-166

12. J. Adámek and J. Reiterman, 

Fixed points in representations of categories, 1975, Transactions of the American Mathematical Society 211 [1975], 239-247

11. J. Adámek, V. Koubek and V. Trnková, 

Sums of Boolean spaces represent every group, 1975, Pacific Journal of Mathematics 61 [1975], 1-8

10. V. Trnková, J. Adámek, V. Koubek and J. Reiterman, 

Free algebras, input processes and free monads, 1975, Commentationes Mathematicae Universitatis Carolinae 16[ 1975], 339-351

Published in 1974

9. J. Adámek, 

Free Algebras and automata realizations in the language of categories, 1974, Commentationes Mathematicae Universitatis Carolinae 15 [1974], 589-602

8. J. Adámek and J. Reiterman, 

Fixed-point property of unary algebras, 1974, Algebra Universalis 4 [1974], 163-165

7. J. Adámek and V. Koubek, 

Products of graphs as a representation of semigroups, 1974, Proceedings of ''Recent advantages of graph theory'' Academia Praha [1974], 13-16

6. J. Adámek, V. Koubek and J. Reiterman, 

On the existence of special homogeneous monoids, 1974, Semigroup Forum 9 [1974], 95-101

Published in 1973

5. J. Adámek and J. Reiterman, 

Pevné body ve varietách unárních algeber a v reprezentacích monoidu, 1973, Acta Polytechnica 4 [1973], 5-8

Published in 1972

4. J. Adámek and V. Koubek, 

Coequalizers in the generalized algebraic categories, 1972, Commentationes Mathematicae Universitatis Carolinae 13 [1972], 311-324

3. J. Adámek, V. Koubek and V. Pohlová, 

The colimits in the generalized algebraic categories, 1972, Acta Universitatis Carolinae Math. Phys. 13 [1972], 29-40

Published in 1971

2. J. Adámek and V. Koubek, 

Remarks on flows in networks with short paths, 1971, Commentationes Mathematicae Universitatis Carolinae 12 [1971], 661-667

Published in 1970

1. J. Adámek, 

Some generalizations of the notion limit and colimit, 1970, Commentationes Mathematicae Universitatis Carolinae 11 [1970],823-827


  aktualisiert am 07.11.2017
TU_Icon_E_Mail_1_17x17_RGB Zum Seitenanfang