scientific article; zbMATH DE number 4025656
From MaRDI portal
Publication:3767474
Recommendations
Cites work
- scientific article; zbMATH DE number 3863435 (Why is no real title available?)
- A Compact-Open Topology on Partial Maps with Open Domain
- Bicategories of spans and relations
- Cartesian bicategories. I
- Coalgebras and cartesian categories
- Dominical categories: recursion theory without elements
- First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
- Spaces of partial maps, fibred mapping spaces and the compact-open topology
Cited in
(25)- Categories of partial maps
- A categorification of biclosed sets of strings
- scientific article; zbMATH DE number 3989611 (Why is no real title available?)
- scientific article; zbMATH DE number 3857345 (Why is no real title available?)
- Restriction categories II: Partial map classification
- Partial morphisms in categories of effective objects
- Cocompletion of restriction categories
- scientific article; zbMATH DE number 7655913 (Why is no real title available?)
- Partial map classifiers and partial cartesian closed categories
- Restriction categories. I: Categories of partial maps
- scientific article; zbMATH DE number 7352262 (Why is no real title available?)
- Bicategories of Markov Processes
- Matrices, relations, and group representations
- From gs-monoidal to oplax cartesian categories: constructions and functorial completeness
- Compact closed bicategories
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus
- Partiality, cartesian closedness, and toposes
- On semibiproducts of magmas and semigroups
- Boolean restriction categories and taut monads
- Bicategories of spans and relations
- Degrees of bi-embeddable categoricity
- Idempotents in bicategories
- Finitary birepresentations of finitary bicategories
- Bicategories of processes
- Tail recursion through universal invariants
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 Q3767474)