scientific article; zbMATH DE number 3605078

From MaRDI portal
Publication:4170869

zbMath0389.18002MaRDI QIDQ4170869

Dietmar Schumacher, Robert Paré

Publication date: 1978


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items

Unnamed Item, Unnamed Item, On completeness of locally-internal categories, On completeness and cocompleteness in and around small categories, Cosmoi of Internal Categories, Unnamed Item, A small complete category, On the semantics of the universal quantifier, Avoiding the axiom of choice in general category theory, A category-theoretic account of program modules, Unnamed Item, Unnamed Item, Unnamed Item, Fibred 2-categories and bicategories, Unnamed Item, Pure morphisms are effective for modules, Term charters, On algebras defined by operations and equations in a topos, Unnamed Item, Molecular toposes, Indexed categories and generated topologies, On defining objects by recursion in a topos, Conspectus of variable categories, Continuous categories and exponentiable toposes, Some exact sequences associated with adjunctions in bicategories. Applications, Realizability in ordered combinatory algebras with adjunction, Categorical notions of fibration, Pullback preserving functors, Lax monads. Indexed monoidal monads, Unnamed Item, A presentation of the initial lift-algebra, Cartesian monads on toposes, Indexed type theories, Categorical models of polymorphism, Unnamed Item, Unnamed Item, Distribution algebras and duality, Descent in locally presentable categories, Unnamed Item, Comprehension categories and the semantics of type dependency, Unnamed Item, Categorical and algebraic aspects of Martin-Löf type theory, Spreads and the symmetric topos, Unnamed Item, Families parametrized by coalgebras, Change of base for locally internal categories, The calculus of ends over a base topos, A theory of quantal sets, Categorie variabili, Proof-search in type-theoretic languages: An introduction, Containers: Constructing strictly positive types, Change of base for measure spaces, Continuous families of coalgebras, Cofibrations in the bicategory of topoi, Descent theory of locally internal categories, Cofibrations. II: Left exact right actions and compositions of gamuts, Geometric topological completions with universal final lifts