|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 6 keywords
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
80 | Takahisa Mohri |
On Formalization of Bicategory Theory. |
TPHOLs |
1997 |
DBLP DOI BibTeX RDF |
|
75 | Brian Day, Paddy McCrudden, Ross Street |
Dualizations and Antipodes. |
Appl. Categorical Struct. |
2003 |
DBLP DOI BibTeX RDF |
monoidal bicategory, enriched category, bidual, antipode, quantum group, quasi-Hopf algebra, comodule, braided group |
75 | Jürgen Koslowski |
Beyond the Chu-construction. |
Appl. Categorical Struct. |
2001 |
DBLP DOI BibTeX RDF |
closed bicategory, *-autonomy, interpolad, module, monad |
52 | David N. Yetter |
Measurable Categories. |
Appl. Categorical Struct. |
2005 |
DBLP DOI BibTeX RDF |
monoidal bicategory, Borel space, direct integral, measurable cetegory, monoidal category |
46 | Tobias Heindel, Pawel Sobocinski 0001 |
Van Kampen Colimits as Bicolimits in Span. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
46 | Ross Street |
Functorial Calculus in Monoidal Bicategories. |
Appl. Categorical Struct. |
2003 |
DBLP DOI BibTeX RDF |
enriched category, dinatural transformation, Gray monoid, dual |
46 | Stefano Kasangian, Anna Labella, Alberto Pettorossi |
Observers, Experiments and Agents: a Comprehensive Approach to Parallelism. |
Semantics of Systems of Concurrent Processes |
1990 |
DBLP DOI BibTeX RDF |
|
34 | Pierre Clairambault, Simon Forest |
The Cartesian Closed Bicategory of Thin Spans of Groupoids. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
34 | Pierre Clairambault, Simon Forest |
The Cartesian Closed Bicategory of Thin Spans of Groupoids. |
LICS |
2023 |
DBLP DOI BibTeX RDF |
|
34 | Eric Finster, Samuel Mimram, Maxime Lucas, Thomas Seiller |
A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory. |
MFPS |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Swati Yadav, S. P. Tiwari, Mausam Kumari, Vijay K. Yadav 0001 |
Bicategory-Theoretic Approach to Minimal Fuzzy Realization for Fuzzy Behavior. |
New Math. Nat. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
34 | S. P. Tiwari, Vijay K. Yadav 0001, Priyanka Pal, B. K. Sharma |
Minimal Fuzzy Realization for Fuzzy Behaviour: A Bicategory-theoretic Approach. |
J. Multiple Valued Log. Soft Comput. |
2018 |
DBLP BibTeX RDF |
|
34 | S. P. Tiwari, Vijay K. Yadav 0001, M. K. Dubey |
Minimal realization for fuzzy behaviour: A bicategory-theoretic approach. |
J. Intell. Fuzzy Syst. |
2016 |
DBLP DOI BibTeX RDF |
|
34 | Alexander E. Hoffnung |
The Hecke Bicategory. |
Axioms |
2012 |
DBLP DOI BibTeX RDF |
|
34 | Gian Luca Cattani, Marcelo P. Fiore |
The Bicategory-Theoretic Solution of Recursive Domain Equations. |
Computation, Meaning, and Logic |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Keith A. Hardie, Klaus Heiner Kamps, R. W. Kieboom |
A Homotopy Bigroupoid of a Topological Space. |
Appl. Categorical Struct. |
2001 |
DBLP DOI BibTeX RDF |
homotopy bigroupoid, bigroupoid, bicategory, 2-groupoid, homotopical algebra, homotopy operations, coherence |
23 | Renato Betti |
Weak Equivalence of Internal Categories. |
Appl. Categorical Struct. |
2000 |
DBLP DOI BibTeX RDF |
internal category, Morita equivalence, module |
23 | Eugene W. Stark |
Fibrational Semantics of Dataflow Networks. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|