Cartesian Closed Categories, Quasitopoi and Topological Universes. - Jirí Adámek; Horst Herrlich (Mathematical Foundations of Programming Semantics, 1985)

Concrete Categories and Injectivity. - H. Bargenda; Horst Herrlich; George E. Strecker (Mathematical Foundations of Programming Semantics, 1985)

Galois Connections. - Horst Herrlich; Miroslav Husek (Mathematical Foundations of Programming Semantics, 1985)

The Construct PRO of Projection Spaces: Its Internal Structure. - Horst Herrlich; Hartmut Ehrig (Categorial Methods in Computer Science, 1988)

CompactT0-spaces andT0-compactifications. - Horst Herrlich (Appl. Categorical Struct., 1993)

Some open categorical problems in Top. - Horst Herrlich; Miroslav Husek (Appl. Categorical Struct., 1993)

Essential extensions of Hausdorff spaces. - Horst Herrlich (Appl. Categorical Struct., 1994)

Compactness and the axiom of choice. - Horst Herrlich (Appl. Categorical Struct., 1996)

Categorical Properties of Probabilistic Convergence Spaces. - Horst Herrlich; Dexue Zhang (Appl. Categorical Struct., 1998)

Powers of 2. - Kyriakos Keremedis; Horst Herrlich (Notre Dame J. Formal Log., 1999)

Nearness, Subfitness and Sequential Regularity. - Horst Herrlich; Ales Pultr (Appl. Categorical Struct., 2000)

Free Adjunction of Morphisms. - Lutz Schröder; Horst Herrlich (Appl. Categorical Struct., 2000)

On Countable Products of Finite Hausdorff Spaces. - Horst Herrlich; Kyriakos Keremedis (Math. Log. Q., 2000)

Free Factorizations. - Lutz Schröder; Horst Herrlich (Appl. Categorical Struct., 2001)

Weak Factorization Systems and Topological Functors. - Jirí Adámek; Horst Herrlich; Jirí Rosický; Walter Tholen (Appl. Categorical Struct., 2002)

The axiom of choice holds iff maximal closed filters exist. - Horst Herrlich (Math. Log. Q., 2003)

Merotopological Spaces. - H. L. Bentley; Horst Herrlich (Appl. Categorical Struct., 2004)

Abstract and Concrete Categories - The Joy of Cats. - Jirí Adámek; Horst Herrlich; George E. Strecker (Dover Publications, 2009)

Odd-sized partitions of Russell-sets. - Horst Herrlich; Eleftherios Tachtsis (Math. Log. Q., 2010)

The Finite and the Infinite. - Horst Herrlich (Appl. Categorical Struct., 2011)

Unique Nearness Structures. - H. L. Bentley; Horst Herrlich (Appl. Categorical Struct., 2016)

Finiteness Classes and Small Violations of Choice. - Horst Herrlich; Paul E. Howard; Eleftherios Tachtsis (Notre Dame J. Formal Log., 2016)