Factorization systems and fibrations
From MaRDI portal
Publication:2842821
DOI10.1016/S1571-0661(04)80564-4zbMath1270.18003MaRDI QIDQ2842821
Publication date: 16 August 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
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
