1–20 of 148 hits

Sort by: Relevancy | Date newest | Title A-Z

  1.  

    Confluence of algebraic rewriting systems

    Chenavier, Cyrille / Dupont, Benjamin / Malbos, Philippe | arXiv | 2020
  2.  

    A recipe for black box functors

    Fong, Brendan / Sarazola, Maru | arXiv | 2018
  3.  

    Categories as models on a suitable algebraic theory

    Chung, Kuerak / Marelli, Giovanni | arXiv | 2011
  4.  

    A Criterion for Kan Extensions of Lax Monoidal Functors

    Fritz, Tobias / Perrone, Paolo | arXiv | 2018
  5.  

    Lawvere theories and Jf-relative monads

    Voevodsky, Vladimir | arXiv | 2016
  6.  

    Quotient inductive-inductive types

    Altenkirch, Thorsten / Capriotti, Paolo / Dijkstra, Gabe et al. | arXiv | 2016
  7.  

    Decorated Cospans

    Fong, Brendan | arXiv | 2015
  8.  

    Endofunctors of Quandles and Racks

    Ulrickson, Peter | arXiv | 2017
  9.  

    Constructive reflection principles for regular theories

    Forssell, Henrik / Lumsdaine, Peter LeFanu | arXiv | 2016
  10.  

    Quantifier completions, choice principles and applications

    Spadetto, Matteo / Trotta, Davide / Zorzi, Margherita | arXiv | 2020
  11.  

    Associativity-like conditions on protomodular algebras

    Zangurashvili, Dali | Springer Verlag | 2019

Number of results: 10 | 20 | 50

Feedback