Factorization systems and fibrations

DOI10.1016/S1571-0661(04)80564-4zbMath1270.18003MaRDI QIDQ2842821

Bart Jacobs, Jesse Hughes

Publication date: 16 August 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Factorization systems, substructures, quotient structures, congruences, amalgams (18A32)

Related Items

Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics ⋮ Quotient completion for the foundation of constructive mathematics ⋮ Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator ⋮ A characterization of generalized existential completions ⋮ A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus ⋮ Unifying exact completions ⋮ The existential completion

Cites Work

• Categorical logic and type theory
• Universal coalgebra: A theory of systems
• Some Co-Birkhoff Type Theorems
• Modal Predicates and Coequations
• Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction of Dana Scott.
• From Varieties of Algebras to Covarieties of Coalgebras
• Modal Operators for Coequations
• Equational and implicational classes of coalgebras
• Covarieties and complete covarieties
• Equational axiomatizability for coalgebra
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item