Research Page for Jürgen Koslowski

• algebra in bicategories
• (bi-)categories of games and trees
• the general Chu-construction
• "categories without identities", also known as "taxonomies"
• graphic calculi for poly-/multi-/bicategories

• Relating Chomsky Normal Form and Greibach Normal Form by Exponential Transposition Abstract, .pdf.gz (590 K),
  [2011, presented at CT 2011 in Vancouver, 2011-07-22, last updated 2011-10-13];
  
  
• How to define par-operations for given tensors Abstract, .pdf.gz (230 K),
  [2005/2008, presented at the Max Kelly Conference in Cape Town, 2008-01-24, last updated 2008-07-30];
  
  
• Simulations as a genuinely categorical notion Abstract, .pdf.gz (487 K),
  [2004/2006, presented at CT 2006 in White Point, Nova Scotia, 2006-06-30, last updated 2006-07-11];
  
  
• What ist the right notion of homomorphism for interpolative semigroups? Abstract, .pdf.gz (614 K),
  [2005/2006, presented at PSSL 83, Glasgow, 2006-05-06, extended version, last updated 2006-06-01];
  
  

• An extended view of the Chu-construction, 24 pages, Abstract, .ps.bz2 (407 K), .ps.gz (472 K),
  [1997/2005, last updated 2006-12-10; RPN-version of TAC 17(6), 103--126; presented at "Workshop on Chu-spaces", LICS 2000, UCSB, 2000-06-25];
  
  
  
  
• A monadic approach to polycategories, 31 pages, Abstract, .ps.bz2 (257 K), .ps.gz (288 K),
  [2001/2004, last updated 2005-06-30; TAC 14(7), 125--156, originally presented at CTCS '02, Ottawa and published in ENTCS, Vol 69];
  
  
• with J.R.B. Cockett, R.A.G. Seely and R.J. Wood:
  Modules, 21 pages, Abstract, .ps.bz2 (271 K), .ps.gz (298 K),
  [2003, final version, TAC 11(17), 2003, 375-396];
  
  
• Morphisms and modules for poly-bicategories - with J.R.B. Cockett and R.A.G. Seely,
  Abstract, [1999-2002, final version of 2003-02-14, 747 K, 59 pages; TAC 11(2), 2003, 15-74];
  
  
• Introduction to linear bicategories - with J.R.B. Cockett and R.A.G. Seely,
  Abstract, [1998/1999, last updated 1999-06-11, 326 K, 40 pages; Math. Structures Comput. Sci. 10(2), 2000, 165-203];
  
  
• Beyond the Chu-construction,
  Abstract, [1997, last updated 1999-06-04, 223 K, 20 pages, Appl. Categ. Structures 9(2), 2001, 153-171];
  
  
• Monads and interpolads in bicategories,
  Abstract, non-RPN-version [1995/1996, final version of 1997-10-14, 340 K, 30 pages; TAC 3(8), 1997, 182-212];
  
  
• A convenient category for games and interaction,
  Abstract, non-RPN-version [1996, final version of 1997-04-17, 165 K, 20 pages; Appl. Categ. Structures 7(1&2), 1999, 129-145];
  
  
• Note on free algebras over continuous domains,
  Abstract, non-RPN-version [1994/1995, 49 K, 5 pages; Theor. Comp. Sci. 179, 1997, 421-425]
  
  

• Parametrizing the theory of closure operators,
  Abstract, non-RPN-version [1994, 85 K];
  
  
• An approach to a dual of regular closure operators - with G. Castellini and G. E. Strecker,
  Abstract, [1993, 94 K];
  
  
• Regular closure operators - with G. Castellini and G. E. Strecker,
  Abstract, non-RPN-version [1992, 152 K];
  
  
• A primer on Galois connections - with M. Erné, A. Melton and G. E. Strecker,
  Abstract, non-RPN-version [1991/92, 284 K];
  
  
• Categorical closure operators via Galois connections - with G. Castellini and G. E. Strecker,
  Abstract, non-RPN-version [1991/92, 99 K];
  
  
• Hereditary and modal closure operators - with G. Castellini and G. E. Strecker,
  Abstract, [1990/91, - K];
  
  
• Closure operators and polarities - with G. Castellini and G. E. Strecker,
  Abstract, non-RPN-version [1990, 119 K];
  
  
• A factorization of the Pumplün-Röhrl connection - with G. Castellini and G. E. Strecker,
  Abstract, non-RPN-version [1988, 80 K];
  
  
• Topological hulls revisited,
  Abstract, non-RPN-version [1988, 114 K];
  
  
• Closure operators with prescribed properties,
  Abstract, [1987, 102 K];