Indexed categories and their applications
From MaRDI portal
Publication:1244326
DOI10.1007/BFb0061360zbMath0372.00009OpenAlexW345808991MaRDI QIDQ1244326
No author found.
Publication date: 1978
Published in: Lecture Notes in Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bfb0061360
Proceedings, conferences, collections, etc. pertaining to category theory (18-06) Conference proceedings and collections of articles (00Bxx)
Related Items
Interpolation in Grothendieck institutions, Functorial theory of parameterized specifications in a general specification framework, Categorical notions of fibration, Some fundamental algebraic tools for the semantics of computation. III: Indexed categories, Unnamed Item, Notions of computation and monads, On endomorphisms of internal presheaf topoi, An application of open maps to categorical logic, Coherence for bicategories and indexed categories, Precategory objects of toposes, Monads of regular theories, Logical foundations of CafeOBJ