scientific article; zbMATH DE number 872569
From MaRDI portal
Publication:4876241
categories enriched over monoidal categoryclosed monoidal categorycocontinuitycomplete and cocompleteconstruction of free latticescontinuous functorsexension theoremsfree bicomplete categorysoft hom-functorsoftness
Free lattices, projective lattices, word problems (06B25) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Enriched categories (over closed or monoidal categories) (18D20)
Recommendations
Cited in
(18)- Introduction to computability logic
- Softness of MALL proof-structures and a correctness criterion with Mix
- Pathlike co/bialgebras and their antipodes with applications to bi- and Hopf algebras appearing in topology, number theory and physics
- Note on the construction of free monoids
- Complementary bicategory structures
- Complementary bicategory structures
- On the Word Problem for ${\it \Sigma\Pi}$ -Categories, and the Properties of Two-Way Communication
- scientific article; zbMATH DE number 1231571 (Why is no real title available?)
- μ-Bicomplete Categories and Parity Games
- scientific article; zbMATH DE number 7471668 (Why is no real title available?)
- Proof nets for first-order additive linear logic
- Fibrations of -categories
- What is a free double category like?
- Free -lattices
- The variable hierarchy for the games -calculus
- Type isomorphisms for multiplicative-additive linear logic
- Softness of hypercoherences and MALL full completeness
- A categorical semantics for polarized MALL
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4876241)
