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