| Publication | Date of Publication | Type |
|---|
The more legs the merrier: a new composition for symmetric (multi-)lenses
| 2022-01-10 | Paper |
Tangled circuits
Theory and Applications of Categories | 2013-09-04 | Paper |
Three approaches to partiality in the sketch data model
| 2013-08-27 | Paper |
Sketch data models, relational schema and data specifications
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Completely and totally distributive categories. I.
Journal of Pure and Applied Algebra | 2012-10-16 | Paper |
Lenses, fibrations and universal translations
Mathematical Structures in Computer Science | 2012-03-22 | Paper |
Algebras and update strategies
| 2010-09-22 | Paper |
Duality for CCD lattices
| 2009-03-09 | Paper |
Constant Complements, Reversibility and Universal View Updates
Algebraic Methodology and Software Technology | 2009-01-27 | Paper |
Implementing a Categorical Information System
Algebraic Methodology and Software Technology | 2009-01-27 | Paper |
Calculating Colimits Compositionally
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Fibrations and universal view updatability
Theoretical Computer Science | 2007-12-18 | Paper |
scientific article; zbMATH DE number 2222245 (Why is no real title available?)
| 2005-11-02 | Paper |
Minimisation and minimal realisation in Span(Graph)
Mathematical Structures in Computer Science | 2005-02-28 | Paper |
scientific article; zbMATH DE number 2125665 (Why is no real title available?)
| 2005-01-10 | Paper |
A database of categories.
Journal of Symbolic Computation | 2004-03-14 | Paper |
Boundedness and complete distributivity
Applied Categorical Structures | 2003-09-01 | Paper |
scientific article; zbMATH DE number 1913781 (Why is no real title available?)
| 2003-05-20 | Paper |
Distributive laws and factorization
Journal of Pure and Applied Algebra | 2002-12-02 | Paper |
A basic distributive law
Journal of Pure and Applied Algebra | 2002-04-07 | Paper |
Entity-relationship-attribute designs and sketches
Theory and Applications of Categories | 2002-02-07 | Paper |
Coherence for factorization algebras
Theory and Applications of Categories | 2002-02-07 | Paper |
scientific article; zbMATH DE number 1693449 (Why is no real title available?)
| 2002-01-22 | Paper |
scientific article; zbMATH DE number 722263 (Why is no real title available?)
| 1999-09-15 | Paper |
Minimal realization in bicategories of automata
Mathematical Structures in Computer Science | 1999-06-20 | Paper |
scientific article; zbMATH DE number 918292 (Why is no real title available?)
| 1997-01-26 | Paper |
An Adjoint Characterization of the Category of Sets
| 1994-11-16 | Paper |
Constructive complete distributivity. IV
Applied Categorical Structures | 1994-08-10 | Paper |
scientific article; zbMATH DE number 426317 (Why is no real title available?)
| 1993-11-01 | Paper |
Constructive Complete Distributivity III
Canadian Mathematical Bulletin | 1993-02-16 | Paper |
Lax monads. Indexed monoidal monads
Journal of Pure and Applied Algebra | 1992-06-27 | Paper |
Constructive complete distributivity II
Mathematical Proceedings of the Cambridge Philosophical Society | 1992-06-26 | Paper |
Pullback preserving functors
Journal of Pure and Applied Algebra | 1992-06-25 | Paper |
scientific article; zbMATH DE number 12815 (Why is no real title available?)
| 1992-06-25 | Paper |
scientific article; zbMATH DE number 4191968 (Why is no real title available?)
| 1990-01-01 | Paper |
Idempotents in bicategories
Bulletin of the Australian Mathematical Society | 1989-01-01 | Paper |
Proarrows and cofibrations
Journal of Pure and Applied Algebra | 1988-01-01 | Paper |
Cofibrations. II: Left exact right actions and compositions of gamuts
Journal of Pure and Applied Algebra | 1986-01-01 | Paper |
scientific article; zbMATH DE number 4016198 (Why is no real title available?)
| 1986-01-01 | Paper |
Cofibrations in the bicategory of topoi
Journal of Pure and Applied Algebra | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3889767 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3824050 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3798479 (Why is no real title available?)
| 1982-01-01 | Paper |
On defining objects by recursion in a topos
Journal of Pure and Applied Algebra | 1981-01-01 | Paper |
On endomorphisms of internal presheaf topoi
Communications in Algebra | 1981-01-01 | Paper |
On algebras defined by operations and equations in a topos
Journal of Pure and Applied Algebra | 1980-01-01 | Paper |
scientific article; zbMATH DE number 3672520 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3632722 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3529439 (Why is no real title available?)
| 1975-01-01 | Paper |
Image theorems for simple matrix languages andn-parallel languages
Mathematical Systems Theory | 1975-01-01 | Paper |
A characterization theorem for n-parallel right linear languages
Journal of Computer and System Sciences | 1973-01-01 | Paper |
