CT95 Abstracts (ResearchIndex)

See this document in CiteSeerX!

CT95 Abstracts (Make Corrections)
AMEK, J. Finitary sketches II (ff-)geometric sketch is a small category with...

Rate this article:

(Enter summary)
Abstract: Factorizations in bicategories Many factorization structures which are known in Cat and in other bicategories are of a "regular" type, in the sense that they can be obtained by universal (weighted) constructions. For an arrow in a bicategory, the kernel is defined by suitable weighted limits while a colimit construction relative to the same weights gives the corresponding notion of quotient. The main result consists in the fact that the process of taking kernels is right bi-adjoint to that of... (Update)

Active bibliography (related documents): More All
0.1: Some Suggestions on Mathematics Relevant to the Database Theory - Diskin, Cadish (Correct)
0.1: Developing Theories of Types and Computability - Birkedal (1998) (Correct)
0.1: Proving Semantical Equivalence of Data Specifications - Piessens, Steegmans (2005) (Correct)

Similar documents based on text: More All
1.0: Constructive Theory of Galois Toposes - Bunge, Dubuc (Correct)
0.9: Finitary Sketches - Adamek, Johnstone, Makowsky, Rosicky (1997) (Correct)
0.3: More on Orthogonality in Locally Presentable Categories - Hebert, Adámek.. (Correct)

BibTeX entry: (Update)

@misc{ finitary-ct,
  author = "Ad Amek Finitary",
  title = "CT95 Abstracts",
  url = "citeseer.ist.psu.edu/359458.html" }