Works matching IS 09601295 AND DT 2021 AND VI 31 AND IP 7

Results: 5
    1
    2
    3

    Finitary monads on the category of posets.

    Published in:
    Mathematical Structures in Computer Science, 2021, v. 31, n. 7, p. 799, doi. 10.1017/S0960129521000360
    By:
    • Adámek, Jiří;
    • Ford, Chase;
    • Milius, Stefan;
    • Schröder, Lutz
    Publication type:
    Article
    4

    Freely adjoining monoidal duals.

    Published in:
    Mathematical Structures in Computer Science, 2021, v. 31, n. 7, p. 748, doi. 10.1017/S0960129520000274
    By:
    • Coulembier, Kevin;
    • Street, Ross;
    • van den Bergh, Michel
    Publication type:
    Article
    5

    Doctrines, modalities and comonads.

    Published in:
    Mathematical Structures in Computer Science, 2021, v. 31, n. 7, p. 769, doi. 10.1017/S0960129521000207
    By:
    • Dagnino, Francesco;
    • Rosolini, Giuseppe
    Publication type:
    Article