The following pages link to (Q3995720):
Displaying 50 items.
- Semi-localizations of semi-abelian categories (Q258215) (← links)
- Nominal lambda calculus: an internal language for FM-Cartesian closed categories (Q265798) (← links)
- Sheaves on involutive quantales: Grothendieck quantales. (Q277338) (← links)
- Categories with fuzzy sets and relations (Q277341) (← links)
- ``Keep definition, change category'' -- a practical approach to state-based system calculi (Q299180) (← links)
- Relation lifting, a survey (Q299182) (← links)
- Algorithms for Kleene algebra with converse (Q299194) (← links)
- A coalgebraic perspective on logical interpretations (Q368477) (← links)
- Internal diagrams and archetypal reasoning in category theory (Q382414) (← links)
- Quotient completion for the foundation of constructive mathematics (Q382422) (← links)
- Supertropical monoids: basics and canonical factorization (Q392167) (← links)
- A relation-algebraic approach to the ``Hoare logic'' of functional dependencies (Q406457) (← links)
- Relational properties of sequential composition of coalgebras (Q406463) (← links)
- A good theory of ideals in regular multi-pointed categories (Q456864) (← links)
- Elementary characterisation of small quantaloids of closed cribles (Q456870) (← links)
- Convergence of vector bundles with metrics of Sasaki-type (Q472108) (← links)
- Coherence and strictification for self-similarity (Q504539) (← links)
- The category of equilogical spaces and the effective topos as homotopical quotients (Q504545) (← links)
- Constraint logic programming with a relational machine (Q511023) (← links)
- Dedekind categories with cutoff operators (Q549312) (← links)
- Collagories: relation-algebraic reasoning for gluing constructions (Q549680) (← links)
- Determinisation of relational substitutions in ordered categories with domain (Q604457) (← links)
- Cardinality functions in allegories (Q604458) (← links)
- A lattice-theoretical perspective on adhesive categories (Q631567) (← links)
- Groupoid sheaves as quantale sheaves (Q659892) (← links)
- Predicate transformers and higher-order programs (Q672318) (← links)
- A characterization of lambda definability in categorical models of implicit polymorphism (Q673121) (← links)
- Relations in operational categories (Q678847) (← links)
- Peirce allegories. Identities involving transitive elements and symmetrical ones (Q678850) (← links)
- Introduction: A personal tribute to Peter Freyd and Bill Lawvere (Q680307) (← links)
- Stable domains are generalized topological spaces (Q685417) (← links)
- An elementary characterization of categories of separated objects (Q687572) (← links)
- On Morita contexts in bicategories (Q695314) (← links)
- Membership values in arrow categories (Q723308) (← links)
- On graph reasoning (Q731892) (← links)
- On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular (Q732053) (← links)
- Subtractive categories (Q816652) (← links)
- Abstract abstract reduction (Q817587) (← links)
- \(\mathcal Q\)-\(*\)-categories (Q842761) (← links)
- Jordan-Hölder, modularity and distributivity in non-commutative algebra (Q861861) (← links)
- Partial Horn logic and Cartesian categories (Q866572) (← links)
- Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types (Q929967) (← links)
- Products in categories of relations (Q929971) (← links)
- Categorical simulations (Q964545) (← links)
- Embedding mappings and splittings with applications (Q968275) (← links)
- Lawvere completeness in topology (Q1022482) (← links)
- On the algebraic structure of declarative programming languages (Q1035699) (← links)
- Arrow categories (Q1043285) (← links)
- On right adjoints to exponential functors (Q1094522) (← links)
- Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\) (Q1130233) (← links)
