Pages that link to "Item:Q3225736"
From MaRDI portal
The following pages link to Lenses, fibrations and universal translations (Q3225736):
Displaying 9 items.
- Relational lattices: from databases to universal algebra (Q299191) (← links)
- Monoidal indeterminates and categories of possible worlds (Q418809) (← links)
- Multiple model synchronization with multiary delta lenses with amendment and K-Putput (Q2335951) (← links)
- Modalities for an allegorical conceptual data model (Q2345053) (← links)
- Latent Fibrations: Fibrations for Categories of Partial Maps (Q5004679) (← links)
- (Q5019304) (← links)
- Internal split opfibrations and cofunctors (Q5129225) (← links)
- Dependent Optics (Q6150150) (← links)
- Lifting twisted coreflections against delta lenses (Q6589557) (← links)
