Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
formal category theory (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
2
Look more..
(1/195)
Export
export all inquiry results
(2)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
journal article EST
/
journal article ENG
Adjoint functor theorems for lax-idempotent pseudomonads
Arkor, Nathanael
;
Di Liberti, Ivan
;
Loregian, Fosco
Theory and Applications of Categories
2024
/
p. 667-685
http://www.tac.mta.ca/tac/volumes/41/20/41-20.pdf
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
2
journal article EST
/
journal article ENG
The formal theory of relative monads
Arkor, Nathanael
;
McDermott, Dylan
Journal of pure and applied algebra
2024
/
art. 107676, 107 p. : ill
https://doi.org/10.1016/j.jpaa.2024.107676
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 2, displaying
1 - 2
keyword
195
1.
formal category theory
2.
category theory
3.
enriched category theory
4.
formal language theory
5.
assessment category
6.
bimonoidal category
7.
closed category
8.
cocomplete category
9.
cyclic category
10.
double category
11.
duplicial category
12.
free monoidal category
13.
Locally graded category
14.
monoidal category
15.
omega-category
16.
orbit category
17.
skew-monoidal category
18.
slice 2-category
19.
slice category
20.
symmetric monoidal category
21.
triangulated category
22.
2-category
23.
Automata, Formal Verification
24.
Formal
25.
formal and combined safety elements
26.
formal and informal
27.
formal concept analysis
28.
formal education
29.
formal ferification
30.
formal logic
31.
formal methods
32.
formal PMS
33.
formal rationality
34.
formal reasoning
35.
formal revolution
36.
formal semantics
37.
formal specification
38.
formal verification
39.
mandatory formal concepts
40.
non-formal education
41.
rigorous formal diagrammatic system
42.
top-K formal concepts
43.
a coherent theory of proofs
44.
activity theory
45.
adaptive structuration theory (AST)
46.
algebraic number theory
47.
algebraic theory
48.
algorithm design and theory
49.
beam theory
50.
behavioral reasoning theory
51.
bicategory theory
52.
Boolean Algebra Meets Graph-Theory
53.
catastrophe theory
54.
chaos theory
55.
coding theory
56.
cognitive theory
57.
commitment theory
58.
communication channels (information theory)
59.
complexity leadership theory
60.
complexity theory
61.
computation theory
62.
computer softwaregraph theory
63.
conservation of resources theory
64.
Consumer Culture Theory
65.
control theory
66.
Cooper-Helmstetter cell cycle theory
67.
cosmology: theory
68.
critical theory of technology
69.
cultural theory of international relations
70.
dark matter theory
71.
decision theory
72.
Dempster-Shafer theory
73.
Demster-Shafer Theory
74.
density functional theory
75.
density functional theory (DFT)
76.
dependent type theory
77.
design theory
78.
development theory
79.
Digital Government Theory: Development and Application
80.
dispersive theory
81.
domain theory
82.
ecological systems theory
83.
economic theory
84.
end of theory
85.
energetic impact theory
86.
evolutionary theory of policy capacity
87.
Flow theory
88.
fully nonlinear potential theory
89.
game theory
90.
general systems theory
91.
general theory of information transfer
92.
general vibration theory
93.
graph theory
94.
gravitational waves / theory
95.
grounded theory
96.
group theory
97.
group threat theory
98.
higher-order beam theory
99.
History and Theory
100.
homotopy theory
101.
homotopy type theory
102.
housemoney effect prospect theory
103.
iceberg theory of culture
104.
image theory
105.
information theory
106.
innovation theory
107.
institutional theory
108.
intellectual capital theory
109.
interdependence theory
110.
inverse problem theory/applications
111.
inverse problems theory/applications
112.
job search theory
113.
Lawvere theory
114.
layer-wise displacement theory
115.
linear systems theory
116.
maritime investment theory
117.
mechanism design theory
118.
middle-range theory
119.
modern portfolio theory
120.
network theory
121.
nonlinear shallow water theory
122.
nonlinear shallow-water theory
123.
nonlinear strip theory
124.
nonlinear theory
125.
normal torsion theory
126.
number theory
127.
organization theory
128.
organizational theory
129.
peer‐to‐peer theory
130.
perceived customer value theory
131.
phase field theory
132.
picture theory
133.
protection motivation theory
134.
proto-theory of design
135.
punctuated equilibrium theory
136.
rational choice theory
137.
real options theory
138.
realization theory
139.
reduction theory
140.
refined zigzag theory
141.
regulatory focus theory
142.
sampling theory
143.
scapegoat theory
144.
search and matching theory
145.
self-determination theory
146.
self-determination theory of work motivation
147.
set theory
148.
shallow water theory
149.
shallow‐water theory
150.
sign theory
151.
signalling theory
152.
social identity theory
153.
social practice theory
154.
social presence theory
155.
social representation theory
156.
social system theory
157.
social systems theory
158.
sociological curriculum theory
159.
S-O-R theory
160.
speech-act theory
161.
stakeholder theory
162.
Stakeholder-oriented decision theory
163.
State Theory
164.
stimulus-organism-response theory
165.
stochastic learning theory
166.
strategic narrative theory
167.
strategic narrative theory
168.
Straussian theory model
169.
structuration theory
170.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
171.
switching theory
172.
synchronous reference frame theory
173.
system theory
174.
systems theory
175.
the RAT theory
176.
theory
177.
theory and practice of meta-modelling with application in healthcare
178.
theory of accounting
179.
Theory of computation
180.
Theory Of Constraints (TOC)
181.
theory of economic development
182.
theory of inventive problem solving (TRIZ)
183.
theory of natural disaster
184.
Theory of paradox
185.
theory of planned behavior
186.
theory of planned behaviour
187.
theory of signs
188.
theory of value
189.
ticked cubical type theory
190.
time-dependent density functional theory (TD-DFT)
191.
type theory
192.
unified theory of acceptance and use of technology
193.
value theory
194.
virtual disc theory
195.
2D+T theory
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT